Abstract Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last …
Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can …
In this chapter, we explain what description logics are and why they make good ontology languages. In particular, we introduce the description logic SHIQ, which has formed the …
Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role …
U Chajewska, D Koller, R Parr - Aaai/Iaai, 2000 - cdn.aaai.org
Rational decision making requires full knowledge of the utility function of the person affected by the decisions. However, in many cases, the task of acquiring such knowledge is not …
Abstract OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN …
S Tobies - arXiv preprint cs/0106031, 2001 - arxiv.org
Description Logics (DLs) are used in knowledge-based systems to represent and reason about terminological knowledge of the application domain in a semantically well-defined …
Using an Expressive Description Logic: FaCT or Fiction Page 1 Using an Expressive Description Logic: FaCT or Fiction Ian R. Horrocks presented by Sebastian Mieth March 9, 2006 …