[PDF][PDF] Reasoning in description logics

FM Donini, M Lenzerini, D Nardi… - Principles of knowledge …, 1996 - academia.edu
The idea of developing knowledge representation systems based on a structured
representation of knowledge was rst pursued with Semantic Networks and Frames …

Description logics of minimal knowledge and negation as failure

FM Donini, D Nardi, R Rosati - ACM Transactions on Computational …, 2002 - dl.acm.org
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 …

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 …

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 …

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 …

An epistemic operator for description logics

FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf - Artificial Intelligence, 1998 - Elsevier
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 …

[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 …

[PDF][PDF] Reasoning in Expressive Description Logics.

D Calvanese, G De Giacomo, D Nardi… - … of automated reasoning, 2001 - academia.edu
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 …

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 …

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 …