Results 31 to 40 of about 2,766,744 (297)
Fusions of Description Logics and Abstract Description Systems [PDF]
Journal Of Artificial Intelligence Research, Volume 16, pages
1-58, 2002, 2011 Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal.
arxiv +1 more source
Description logics of context [PDF]
Journal of Logic and Computation, 2013 We introduce Description Logics of Context (DLCs)—an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify and express first-order properties.
Szymon Klarman +1 more
openaire +2 more sources
The Logical Difference for the Lightweight Description Logic EL [PDF]
Journal of Artificial Intelligence Research, 2012 We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest.
B. Konev +3 more
semanticscholar +1 more source
Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases
AAAI Conference on Artificial Intelligence, 2016 Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. This paper addresses the problem of explaining why a tuple is a (non-)answer to a query under such semantics.
Meghyn Bienvenu +2 more
semanticscholar +1 more source
Uniform and Modular Sequent Systems for Description Logics [PDF]
arXiv, 2022 We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All ...
arxiv
Tableaux for Free Logics with Descriptions [PDF]
, 2021 This is a full version of a conference paper that will appear in the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
Andrzej Indrzejczak, Michał Zawidzki
openaire +3 more sources
Description logics as polyadic modal logics [PDF]
arXiv, 2021 We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a concrete system to illustrate our approach, we investigate the polyadic version of ALC extended with relational ...
arxiv
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Description Logics, 2014 Recently several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. Most of these semantics rely on the notion of a repair, defined as an inclusion-maximal subset of the facts (ABox ...
Meghyn Bienvenu +2 more
semanticscholar +1 more source
Transforming Fuzzy Description Logics into Classical Description Logics [PDF]
, 2004 In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy ...
openaire +3 more sources
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version) [PDF]
arXiv, 2023 Definite descriptions, such as 'the smallest planet in the Solar System', have been recently recognised as semantically transparent devices for object identification in knowledge representation formalisms. Along with individual names, they have been introduced also in the context of description logic languages, enriching the expressivity of standard ...
arxiv