The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
暂无分享,去创建一个
[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.