Abstract

Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Artificial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations -- each involving one or more languages. Specifically, we indicate how one can achieve enhanced access to data and knowledge by using descriptions in languages for schema design and integration, queries, answers, updates, rules, and constraints.

Citations

957	Larson J: Federated Database Systems for Managing Distributed - Sheth - 1990
543	An overview of the KL-ONE knowledge representation system. Cognitive Science 171{216 - Brachman, Schmolze - 1985
327	CLASSIC: A Structural Data Model for Objects - Borgida, Brachman, et al. - 1989
284	Retrieving and integrating data from multiple information sources - Arens, Chee, et al. - 1993
243	A schema for integrating concrete domains into concept languages - Baader, Hanschke - 1991
235	A correspondence theory for terminological logics: Preliminary report - Schild - 1991
219	The complexity of concept languages - Donini, Lenzerini, et al. - 1997
209	Semantic database modeling: Survey, applications and research issues - Hull, King - 1987
169	The evolving technology of classificationbased knowledge representation systems - MacGREGOR - 1991
167	The tractability of subsumption in frame-based description languages - Brachman, Levesque - 1984
160	LaSSIE: a knowledge-based software information system - Devanbu, Brachman, et al. - 1991
155	A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic - Borgida - 1994
153	The kl-one family - Woods, Schmolze - 1992
138	Foundations of a functional approach to knowledge representation - Levesque - 1984
136	Terminological reasoning is inherently intractable - Nebel - 1990
134	M.: Representing and using interschema knowledge in cooperative information systems - Catarci, Lenzerini - 1993
129	H.: An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on - Baader, Franconi, et al. - 1994
120	Attributive concept descriptions with complements - Schmidt-Schauss, Smolka - 1991
119	A deductive pattern matcher - MacGregor - 1988
118	KRYPTON: A functional approach to knowledge representation - Brachman, Fikes, et al. - 1983
118	Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services - Doyle, Patil - 1991
78	Subsumption algorithms for concept description languages - Hollunder, Nutt, et al. - 1990
73	Understanding Subsumption and Taxonomy: A framework for progress - Woods - 1991
71	Computing Least Common Subsumers in Description Logics - Cohen, Borgida, et al. - 1992
68	Adding Epistemic Operators to Concept Languages - Donini, Lenzerini, et al.
66	Subsumption between Queries to Object-Oriented Databases - Buchheit, Jeusfeld, et al. - 1994
64	Tractable Concept Languages - Donini, Lenzerini, et al. - 1991
63	Loading data into description reasoners - Borgida, Brachman - 1993
62	On taxonomic reasoning in conceptual design - Bergamaschi, Sartori - 1992
55	A Structural Paradigm for Representing Knowledge - Brachman - 1977
55	expression analysis in database applications - Finkelstein, “Common - 1982
52	Modeling complex structures in Object-Oriented Databases - Lecluse, Richard - 1989
50	A four-valued semantics for terminological logics - Patel-Schneider - 1989
46	A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T Network Systems - Wright, Thompson, et al. - 1993
45	Small can be beautiful in knowledge representation - Patel-Schneider - 1984
40	From type systems to knowledge representations: Natural semantics specifications for description logics - Borgida - 1992
39	Plan-based terminological reasoning - Devanbu, Litman - 1991
37	Knowledge mining by imprecise querying: A classification-based approach - Anwar, Beck, et al. - 1992
35	A lattice theoretic approach to computation based on a calculus of partially ordered type structures - Aït-Kaci - 1984
34	Subsumption in KL-one is undecidable - Schmidt-Schauss - 1988
32	Knowledge representation and inference system - Baader, Hollunder, et al. - 1991
32	RABBIT: An Intelligent Database Assistant - Tou, Williams, et al. - 1982
32	The Evolving Technology of Classi cation-based Knowledge Representation Systems - MacGregor - 1991
30	ARGON: Knowledge representation meets information retrieval - Patel-Schneider, Brachman, et al. - 1984
29	Implicit representation for extensional answers - Shum, Muntz - 1987
28	Making the Difference: A Subtraction Operation for Description Logics - Teege - 1994
24	A unified framework for class-based representation formalisms - Calvanese, Lenzerini, et al. - 1994
22	Concept languages as query languages - Lenzerini, Schaerf
21	Configuration as a Consistency Maintenance Task - Owsnicki-Klewe
19	1994], ‘Building a federated relational database system: An approach using a knowledge-based system - Blanco, Illarramendi, et al.