Contextualized knowledge repositories for the semantic web

L Serafini, M Homola - Journal of Web Semantics, 2012 - Elsevier
We propose Contextualized Knowledge Repository (CKR): an adaptation of the well studied
theories of context for the Semantic Web. A CKR is composed of a set of OWL 2 knowledge …

Description logics of context

S Klarman, V Gutiérrez-Basulto - Journal of Logic and …, 2013 - academic.oup.com
Abstract We introduce Description Logics of Context (DLCs)—an extension of Description
Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's …

[PDF][PDF] Contextualized Knowledge Repositories with Justifiable Exceptions.

L Bozzato, T Eiter, L Serafini - Description Logics, 2014 - academia.edu
Representation of context dependent knowledge in the Semantic Web has been recently
recognized as a relevant issue that lead to a number of logic based proposals, eg [13–15 …

Two-dimensional description logics for context-based semantic interoperability

S Klarman, V Gutiérrez-Basulto - … of the AAAI Conference on Artificial …, 2011 - ojs.aaai.org
Logics (DLs) provide a clear and broadly accepted paradigm for modeling and reasoning
about terminological knowledge. However, it has been often noted, that although DLs are …

Intuitionistic description logic and legal reasoning

EH Haeusler, V de Paiva… - 2011 22nd International …, 2011 - ieeexplore.ieee.org
Classical Logic has been used as a basis for knowledge representation and reasoning in
many domains. Legal Knowledge Representation is interesting due to the natural …

Decidable description logics of context with rigid roles

S Böhme, M Lippmann - … Symposium on Frontiers of Combining Systems, 2015 - Springer
To represent and reason about contextualized knowledge often two-dimensional
Description Logics (DLs) are employed, where one DL is used to describe contexts (or …

Tight Complexity Bounds for Reasoning in the Description Logic

II Ceylan, R Penaloza - European Workshop on Logics in Artificial …, 2014 - Springer
Abstract Recently, Bayesian extensions of Description Logics, and in particular the logic
BE\kern-.1emL, were introduced as a means of representing certain knowledge that …

[PDF][PDF] Context on the semantic web: Why and how

L Bozzato, M Homola, L Serafini - ARCOE-12, 2012 - academia.edu
It is becoming increasingly apparent that knowledge published via the Semantic Web (SW)
and Linked Open Data (LOD) resources is typically valid wrt some assumed context. The …

Research directions for Principles of Data Management (Dagstuhl perspectives workshop 16151)

S Abiteboul, M Arenas, P Barceló, M Bienvenu… - arXiv preprint arXiv …, 2017 - arxiv.org
In April 2016, a community of researchers working in the area of Principles of Data
Management (PDM) joined in a workshop at the Dagstuhl Castle in Germany. The workshop …

Verification of context-sensitive knowledge and action bases

D Calvanese, II Ceylan, M Montali… - Logics in Artificial …, 2014 - Springer
Abstract Knowledge and Action Bases (KABs) have been recently proposed as a formal
framework to capture the dynamics of systems which manipulate Description Logic (DL) …