Results 1 to 10 of about 3,693,332 (330)
A Description Logic of Typicality for Conceptual Combination [PDF]
International Syposium on Methodologies for Intelligent Systems, 2018 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling.
A Lieto +12 more
core +2 more sources
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics [PDF]
Journal of experimental and theoretical artificial intelligence (Print), 2019 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of concept combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC TR, whose semantics is based on the notion of rational ...
Lieto, Antonio, Pozzato, Gian Luca
core +5 more sources
Unification in the Description Logic EL [PDF]
Logical Methods in Computer Science, 2009 The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies.
Barbara Morawska +10 more
core +5 more sources
Logic as an internal organisation of language [PDF]
\v{C}ulina, Boris (2024). Logic as an internal organisation of
language. Science and Philosophy 12 (1):62-71, 2021 Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths and logical consequence -- are defined using the internal syntactic and ...
arxiv +1 more source
Definite Descriptions in Intuitionist Positive Free Logic [PDF]
Logic and Logical Philosophy 30/2 (2021): 327-358, 2021 This paper presents rules of inference for a binary quantifier $I$ for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. $I$ binds one variable and forms a formula from two formulas. $Ix[F, G]$ means `The $F$ is $G$'.
arxiv +1 more source
A Rational Entailment for Expressive Description Logics via Description Logic Programs [PDF]
, 2021 Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL ...
arxiv +1 more source
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
Towards a generation-based semantic web authoring tool [PDF]
, 2009 Widespread use of Semantic Web technologies requires interfaces through which knowledge can be viewed and edited without deep understanding of Description Logic and formalisms like OWL and RDF.
Power, Richard
core +3 more sources
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics [PDF]
, 2017 Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation
Aiguier, Marc +3 more
core +4 more sources
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