Abstract

Terminological Knowledge Representation Systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). The TKRS we consider in this paper is of practical interest since it goes beyond the capabilities of presently available TKRSs. First, our TKRS is equipped with a highly expressive concept, language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, it allows one to express inclusion statements between general concepts, in particular to express terminological cycles. We provide a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases based on the general technique of constraint systems.

Citations

3376	Introduction to Automata Theory Languages and Computation. 2nd edition. Addison-Wesley Publishing Company, 2000. de - Hopcroft, Ullman - 2004
743	First-Order Dynamic Logic - Harel - 1997
627	A companion to modal logic - Hughes, Cresswell - 1984
543	An overview of the KL-ONE knowledge representation system. Cognitive Science 171{216 - Brachman, Schmolze - 1985
376	First-order Logic and Automated Theorem Proving (2nd ed - Fitting - 1996
327	CLASSIC: A Structural Data Model for Objects - Borgida, Brachman, et al. - 1989
255	C.: Elements of the Theory of Computation - Lewis, Papadimitriou - 1981
243	A schema for integrating concrete domains into concept languages - Baader, Hanschke - 1991
235	A correspondence theory for terminological logics: Preliminary report - Schild - 1991
224	Basic description logics - Baader, Nutt - 2003
219	The complexity of concept languages - Donini, Lenzerini, et al. - 1997
192	Reasoning and Revision in Hybrid Representation Systems - Nebel - 1990
184	P.: Automata-theoretic techniques for modal logics of programs - Vardi, Wolper - 1986
167	The tractability of subsumption in frame-based description languages - Brachman, Levesque - 1984
153	The kl-one family - Woods, Schmolze - 1992
148	Attributive concept descriptions with complements - Schmidt-Schau��, Smolka - 1991
138	Foundations of a functional approach to knowledge representation - Levesque - 1984
134	M.: Representing and using interschema knowledge in cooperative information systems - Catarci, Lenzerini - 1993
118	A fundamental tradeoff in knowledge representation and reasoning (revised version - Levesque, Brachman - 1985
113	Augmenting concept languages by transitive closure of rules: An alternativ to terminological cycles - Baader - 1991
112	Embedding defaults into terminological knowledge representation formalisms - Baader, Hollunder - 1995
101	The LOOM Knowledge Representation Language - MacGregor, Bates - 1987
93	Terminological cycles: Semantics and computational properties. In: Principles of Semantic Networks - Nebel - 1991
92	B.: A terminological knowledge representation system with complete inference algorithms - Baader, Hollunder - 1991
80	Qualifying number restrictions in concept languages - Hollunder, Baader - 1991
78	Subsumption algorithms for concept description languages - Hollunder, Nutt, et al. - 1990
73	Deduction in concept languages: From subsumption to instance checking - Donini, Lenzerini, et al. - 1994
72	Inside the LOOM description classifier - MacGregor - 1991
70	Reasoning with individuals in concept languages - Schaerf - 1994
65	An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of Krypton - Brachman, Gilbert, et al.
64	Tractable Concept Languages - Donini, Lenzerini, et al. - 1991
61	Subsumption Algorithms for Concept Languages - Hollunder, Nutt - 1990
60	Computational complexity of terminological reasoning in BACK - Nebel - 1988
54	A language facility for designing database-intensive applications - Mylopoulos, Bernstein, et al. - 1980
51	Data Semantics - Abrial - 1974
47	The complexity of existential quantification in concept languages - Donini, Hollunder, et al. - 1992
45	Small can be beautiful in knowledge representation - Patel-Schneider - 1984
44	Terminological cycles in KL-ONE-based knowledge representation languages - Baader - 1990
42	Subsumption in KL-ONE is undecidable - Schmidt-Schau�� - 1989
41	An empirical analysis of terminological representation systems - Heinsohn, Kudenko, et al. - 1994
41	Undecidability of subsumption in NIKL - Patel-Schneider - 1989
37	On the complexity of the instance checking problem in concept languages with existential quantification - Schaerf - 1993
31	Classification as a query processing technique in the Candide semantic data model - Beck, Gala, et al. - 1989
31	Computational complexity of terminological reasoning - Nebel - 1988
30	A practical decision method for propositional dynamic logic: Preliminary report - Pratt - 1978
29	Hybrid Inferences in KL-ONE-based Knowledge Representation Systems - Hollunder - 1990
27	Recent developments in NIKL - Kaczmarek, Bates, et al. - 1986
22	Concept languages as query languages - Lenzerini, Schaerf
18	Computers and Intractability---A guide to NP-completeness - Garey, Johnson - 1979
18	K-rep system overview - Mays, Dionne, et al. - 1991