Add to ORKGWe present Autoepistemic Description Logics (ADLs), in which the language of Description Logics is augmented with modal operators interpreted according to the nonmonotonic logic MKNF. We provide decision procedures for query answering in two very expressive ADLs. We show their representational features by addressing defaults, integrity constraints, role and concept closure. Hence, ADLs provide a formal characterization of a wide variety of nonmonotonic features commonly available in frame-based systems and needed in the development of practical applications.
Effective optimisation techniques can make a dramatic difference in the performance of knowledge rep...
A novel decision method for autoepistemic reasoning is developed. The method is applicable in a gene...
A modM approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980-82. A...
A non-first-order extension of description logics (DL) which is able to both formalize the nonmonoto...
In recent years, various formalizations of non-monotonic reasoning and di&rent semantics for nor...
AbstractDescription logics (also called terminological logics, or concept languages) are fragments o...
Nonmonotonic inferences are not yet supported by Description Logic technology, although their potent...
In this paper, we construct a new concept description language intended for representing dynamic a...
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logic...
This paper presents some of the underlying principles of description logics (also known as terminolo...
In this paper we focus on the application of description logics to natural language processing. In ...
This paper presents a tableau approach for deciding description logics outside the scope of OWL DL/1...
The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal...
AbstractWe revisit the issue of epistemological and semantic foundations for autoepistemic and defau...
Abstract. The introduction of defeasible reasoning in description logics has been a main research to...
Effective optimisation techniques can make a dramatic difference in the performance of knowledge rep...
A novel decision method for autoepistemic reasoning is developed. The method is applicable in a gene...
A modM approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980-82. A...
A non-first-order extension of description logics (DL) which is able to both formalize the nonmonoto...
In recent years, various formalizations of non-monotonic reasoning and di&rent semantics for nor...
AbstractDescription logics (also called terminological logics, or concept languages) are fragments o...
Nonmonotonic inferences are not yet supported by Description Logic technology, although their potent...
In this paper, we construct a new concept description language intended for representing dynamic a...
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logic...
This paper presents some of the underlying principles of description logics (also known as terminolo...
In this paper we focus on the application of description logics to natural language processing. In ...
This paper presents a tableau approach for deciding description logics outside the scope of OWL DL/1...
The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal...
AbstractWe revisit the issue of epistemological and semantic foundations for autoepistemic and defau...
Abstract. The introduction of defeasible reasoning in description logics has been a main research to...
Effective optimisation techniques can make a dramatic difference in the performance of knowledge rep...
A novel decision method for autoepistemic reasoning is developed. The method is applicable in a gene...
A modM approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980-82. A...