The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach

In this paper the description logic ALCNHR+(D)- is introduced. Prominent language features beyond conjunction, full negation, and quantifiers are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called existential predicate restriction is provided. However, compared to ALC(D) only features and no feature chains are allowed in this operator. This results in a limited expressivity w.r.t. concrete domains but is required to ensure the decidability of the language. We show that the results can be exploited for building practical description logic systems for solving e.g. configuration problems.

[1]  Volker Haarslev,et al.  High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study , 2000, IJCAI.

[2]  W. Nutt,et al.  Constructive problem solving : a model construction approach towards configuration , 1995 .

[3]  Anni-Yasmin Turhan,et al.  RACE User's Guide and Reference Manual Version 1.1 , 1999 .

[4]  Franz Baader,et al.  Tableau Algorithms for Description Logics , 2000, TABLEAUX.

[5]  Carsten Lutz.  The Complexity of Reasoning with Concrete Domains Revised Version , 1999 .

[6]  Ulrike Sattler,et al.  A Concept Language Extended with Different Kinds of Transitive Roles , 1996, KI.

[7]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[8]  Werner Nutt,et al.  Configuration as Model Construction: The Constructive Problem Solving Approach , 1994 .

[9]  Volker Haarslev,et al.  Consistency Testing: The RACE Experience , 2000, TABLEAUX.

[10]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[11]  Carsten Lutz,et al.  Defined Topological Relations in Description Logics , 1997, Description Logics.

[12]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[13]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

[14]  Franz Baader,et al.  Extensions of Concept Languages for a Mechanical Engineering Application , 1992, GWAI.

[15]  Andreas Günter,et al.  Das PLAKON-Buch, Ein Expertensystemkern für Planungs- und Konfigurierungsaufgaben in technischen Domänen , 1991, Informatik-Fachberichte.

[16]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[17]  Volker Haarslev,et al.  Optimizing TBox and ABox Reasoning with Pseudo Models , 2000, Description Logics.

[18]  Franz Baader,et al.  Logic-Based Knowledge Representation , 1999, Artificial Intelligence Today.

[19]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[20]  James G. Schmolze,et al.  The KL-ONE family , 1992 .

[21]  Volker Haarslev,et al.  Foundations of Spatioterminological Reasoning with Description Logics , 1998, KR.

[22]  Volker Haarslev,et al.  Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.

[23]  Roman Cunis.  Modellierung technischer Systeme in der Begriffshierarchie , 1991, Das PLAKON-Buch.

[24]  Jon R. Wright,et al.  A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems , 1993, AI Mag..

[25]  Volker Haarslev,et al.  Adapting Optimization Techniques to Description Logics with Concrete Domains , 2000, Description Logics.