[PDF][PDF] Reasoning in description logics
The idea of developing knowledge representation systems based on a structured
representation of knowledge was rst pursued with Semantic Networks and Frames …
representation of knowledge was rst pursued with Semantic Networks and Frames …
Description logics of minimal knowledge and negation as failure
We present description logics of minimal knowledge and negation as failure (MKNF-DLs),
which augment description logics with modal operators interpreted according to Lifschitz's …
which augment description logics with modal operators interpreted according to Lifschitz's …
Rational closure for defeasible description logics
G Casini, U Straccia - Logics in Artificial Intelligence: 12th European …, 2010 - Springer
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a
landmark, and we are going to see that such a construction can be characterised by means …
landmark, and we are going to see that such a construction can be characterised by means …
Description logics in data management
A Borgida - IEEE transactions on knowledge and data …, 1995 - ieeexplore.ieee.org
Description logics and reasoners, which are descendants of the KL-ONE language, have
been studied in depth in artificial intelligence. After a brief introduction, we survey their …
been studied in depth in artificial intelligence. After a brief introduction, we survey their …
A temporal description logic for reasoning about actions and plans
A Artale, E Franconi - Journal of Artificial Intelligence Research, 1998 - jair.org
A class of interval-based temporal languages for uniformly representing and reasoning
about actions and plans is presented. Actions are represented by describing what is true …
about actions and plans is presented. Actions are represented by describing what is true …
An epistemic operator for description logics
Description logics (also called terminological logics, or concept languages) are fragments of
first-order logic that provide a formal account of the basic features of frame-based systems …
first-order logic that provide a formal account of the basic features of frame-based systems …
[PDF][PDF] Boosting the correspondence between description logics and propositional dynamic logics
G De Giacomo, M Lenzerini - AAAI, 1994 - cdn.aaai.org
One of the main themes in the area of Terminological Reasoning has been to identify
description logics (DLs) that are both very expressive and decidable. A recent paper by …
description logics (DLs) that are both very expressive and decidable. A recent paper by …
[PDF][PDF] Reasoning in Expressive Description Logics.
Knowledge Representation is the eld of Arti cial Intelligence which focuses on the design of
formalisms that are both epistemologically and computationally adequate for expressing the …
formalisms that are both epistemologically and computationally adequate for expressing the …
On the complexity of the instance checking problem in concept languages with existential quantification
A Schaerf - Journal of Intelligent Information Systems, 1993 - Springer
Most of the work regarding complexity results for concept languages consider subsumption
as the prototypical inference. However, when concept languages are used for building …
as the prototypical inference. However, when concept languages are used for building …
Reasoning with individuals in concept languages
A Schaerf - Data & Knowledge Engineering, 1994 - Elsevier
One of the main characteristics of knowledge representation systems based on the
description of concepts is the clear distinction between terminological and assertional …
description of concepts is the clear distinction between terminological and assertional …