Description Logics in Data Management.

Alexander Borgida: Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. 7(5): 671-682(1995)
  author    = {Alexander Borgida},
  title     = {Description Logics in Data Management},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {7},
  number    = {5},
  year      = {1995},
  pages     = {671-682},
  ee        = {db/journals/tkde/Borgida95.html},
  bibsource = {DBLP,}


Copyright © 1995 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX


Hassan Aït-Kaci: An Overview of LIFE. East/West Database Workshop 1990: 42-58 BibTeX
Tarek M. Anwar, Howard W. Beck, Shamkant B. Navathe: Knowledge Mining by Imprecise Querying: A Classification-Based Approach. ICDE 1992: 622-630 BibTeX
Yigal Arens, Chin Y. Chee, Chun-Nan Hsu, Craig A. Knoblock: Retrieving and Integrating Data from Multiple Information Sources. Int. J. Cooperative Inf. Syst. 2(2): 127-158(1993) BibTeX
Franz Baader, Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457 BibTeX
Franz Baader, Bernhard Hollunder: KRIS: Knowledge Representation and Inference System. SIGART Bulletin 2(3): 8-14(1991) BibTeX
Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992: 270-281 BibTeX
Howard W. Beck, Sunit K. Gala, Shamkant B. Navathe: Classification as a Query Processing Technique in the CANDIDE Semantic Data Model. ICDE 1989: 572-581 BibTeX
Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe: A Conceptual Clustering Algorithm for Database Schema Design. IEEE Trans. Knowl. Data Eng. 6(3): 396-411(1994) BibTeX
Sonia Bergamaschi, Bernhard Nebel: Acquisition and validation of complex object database schemata supporting multiple inheritance. Appl. Intell. 4(2): 185-203(1994) BibTeX
Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) BibTeX
Claudio Bettini: A Family of Temporal Terminological Logics. AI*IA 1993: 120-131 BibTeX
Alexander Borgida: Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. KR 1992: 259-269 BibTeX
Alexander Borgida, Ronald J. Brachman: Loading Data into Description Reasoners. SIGMOD Conference 1993: 217-226 BibTeX
Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX
Alexander Borgida, Premkumar T. Devanbu: Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems. IFIP Congress (3) 1992: 171-181 BibTeX
Alexander Borgida, Peter F. Patel-Schneider: A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. Artif. Intell. Res. (JAIR) 1: 277-308(1994) BibTeX
Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX
Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 BibTeX
Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73(1983) BibTeX
Ronald J. Brachman, Peter G. Selfridge, Loren G. Terveen, Boris Altman, Fern Halper, Thomas Kirk, Alan Lazar, Deborah L. McGuinness, Lori Alperin Resnick: Integrated Support for Data Archeology. Int. J. Cooperative Inf. Syst. 2(2): 159-185(1993) BibTeX
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt: Subsumption between queries to object-oriented databases. Inf. Syst. 19(1): 33-54(1994) BibTeX
Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120 BibTeX
William W. Cohen, Alexander Borgida, Haym Hirsh: Computing Least Common Subsumers in Description Logics. AAAI 1992: 754-760 BibTeX
Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9 BibTeX
Premkumar T. Devanbu, Diane J. Litman: Plan-Based Terminological Reasoning. KR 1991: 128-138 BibTeX
Premkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge: LaSSIE: A Knowledge-Based Software Information System. Commun. ACM 34(5): 34-49(1991) BibTeX
Premkumar T. Devanbu, Mark A. Jones: The Use of Description Logics in KBSE Systems: Experience Report. ICSE 1994: 23-35 BibTeX
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465 BibTeX
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162 BibTeX
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 BibTeX
Jon Doyle, Ramesh S. Patil: Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services. Artif. Intell. 48(3): 261-297(1991) BibTeX
Sheldon J. Finkelstein: Common Subexpression Analysis in Database Applications. SIGMOD Conference 1982: 235-245 BibTeX
Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß: Subsumption Algorithms for Concept Description Languages. ECAI 1990: 348-353 BibTeX
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX
Maurizio Lenzerini, Andrea Schaerf: Concept Languages as Query Languages. AAAI 1991: 471-476 BibTeX
Hector J. Levesque: Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. 23(2): 155-212(1984) BibTeX
Robert M. MacGregor: A Deductive Pattern Matcher. AAAI 1988: 403-408 BibTeX
William Mark: Rule-Based Inference in Large Knowledge Bases. AAAI 1980: 190-194 BibTeX
Bernhard Nebel: Terminological Reasoning is Inherently Intractable. Artif. Intell. 43(2): 235-249(1990) BibTeX
Bernhard Nebel, Christof Peltason: Terminological reasoning and Information Management. IS/KI 1990: 181-212 BibTeX
Bernhard Nebel, Gert Smolka: Attribute Description Formalisms ... and the Rest of the World. Text Understanding in LILOG 1991: 439-452 BibTeX
Bernd Owsnicki-Klewe: Configuration as a Consistency Maintenance Task. GWAI 1988: 77-87 BibTeX
Peter F. Patel-Schneider: A Four-Valued Semantics for Terminological Logics. Artif. Intell. 38(3): 319-351(1989) BibTeX
Véronique Royer, Joachim Quantz: Deriving Inference Rules for Terminological Logics. JELIA 1992: 84-105 BibTeX
Klaus Schild: A Correspondence Theory for Terminological Logics: Preliminary Report. IJCAI 1991: 466-471 BibTeX
Manfred Schmidt-Schauß: Subsumption in KL-ONE is Undecidable. KR 1989: 421-431 BibTeX
Manfred Schmidt-Schauß, Gert Smolka: Attributive Concept Descriptions with Complements. Artif. Intell. 48(1): 1-26(1991) BibTeX
Amit P. Sheth, James A. Larson: Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. ACM Comput. Surv. 22(3): 183-236(1990) BibTeX
Chung-Dak Shum, Richard R. Muntz: Implicit Representation for Extensional Answers. Expert Database Conf. 1988: 497-522 BibTeX
Gunnar Teege: Making the Difference: A Subtraction Operation for Description Logics. KR 1994: 540-550 BibTeX
Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone: RABBIT: An Intelligent Database Assistant. AAAI 1982: 314-318 BibTeX
John Yen, Robert Neches, Robert M. MacGregor: CLASP: Integrating Term Subsumption Systems and Production Systems. IEEE Trans. Knowl. Data Eng. 3(1): 25-32(1991) BibTeX
Alexander Borgida: On The Relationship Between Description Logic and Predicate Logic. CIKM 1994: 219-225 BibTeX

Referenced by

  1. Vitaliy L. Khizder, David Toman, Grant E. Weddell: On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT 2001: 54-67
  2. Kenneth A. Ross: Review - Description Logics in Data Management. ACM SIGMOD Digital Review 2: (2000)
  3. Alon Y. Levy: Review - Decidable Reasoning in Terminological Knowledge Representation Systems. ACM SIGMOD Digital Review 1: (1999)
  4. Maurizio Lenzerini: Description Logics and Their Relationships with Databases. ICDT 1999: 32-38
  5. Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418(1997)
  6. Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset: Rewriting Queries Using Views in Description Logics. PODS 1997: 99-108
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM ( and IEEE, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sun May 17 00:28:23 2009