Description Logics in Data Management.

@article{DBLP:journals/tkde/Borgida95,
  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, http://dblp.uni-trier.de}
}

Abstract

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

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Hassan Aït-Kaci: An Overview of LIFE. East/West Database Workshop 1990: 42-58 BibTeX

[3]

Tarek M. Anwar, Howard W. Beck, Shamkant B. Navathe: Knowledge Mining by Imprecise Querying: A Classification-Based Approach. ICDE 1992: 622-630 BibTeX

[4]

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

[5]

Franz Baader, Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457 BibTeX

[6]

Franz Baader, Bernhard Hollunder: KRIS: Knowledge Representation and Inference System. SIGART Bulletin 2(3): 8-14(1991) BibTeX

[7]

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

[8]

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

[9]

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

[10]

Sonia Bergamaschi, Bernhard Nebel: Acquisition and validation of complex object database schemata supporting multiple inheritance. Appl. Intell. 4(2): 185-203(1994) BibTeX

[11]

Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) BibTeX

[12]

Claudio Bettini: A Family of Temporal Terminological Logics. AI*IA 1993: 120-131 BibTeX

[13]

...

[14]

Alexander Borgida: Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. KR 1992: 259-269 BibTeX

[15]

...

[16]

Alexander Borgida, Ronald J. Brachman: Loading Data into Description Reasoners. SIGMOD Conference 1993: 217-226 BibTeX

[17]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX

[18]

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

[19]

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

[20]

...

[21]

Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX

[22]

Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 BibTeX

[23]

Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73(1983) BibTeX

[24]

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

[25]

Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt: Subsumption between queries to object-oriented databases. Inf. Syst. 19(1): 33-54(1994) BibTeX

[26]

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120 BibTeX

[27]

...

[28]

...

[29]

William W. Cohen, Alexander Borgida, Haym Hirsh: Computing Least Common Subsumers in Description Logics. AAAI 1992: 754-760 BibTeX

[30]

Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9 BibTeX

[31]

Premkumar T. Devanbu, Diane J. Litman: Plan-Based Terminological Reasoning. KR 1991: 128-138 BibTeX

[32]

Premkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge: LaSSIE: A Knowledge-Based Software Information System. Commun. ACM 34(5): 34-49(1991) BibTeX

[33]

Premkumar T. Devanbu, Mark A. Jones: The Use of Description Logics in KBSE Systems: Experience Report. ICSE 1994: 23-35 BibTeX

[34]

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465 BibTeX

[35]

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162 BibTeX

[36]

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 BibTeX

[37]

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

[38]

Sheldon J. Finkelstein: Common Subexpression Analysis in Database Applications. SIGMOD Conference 1982: 235-245 BibTeX

[39]

Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß: Subsumption Algorithms for Concept Description Languages. ECAI 1990: 348-353 BibTeX

[40]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[41]

Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX

[42]

Maurizio Lenzerini, Andrea Schaerf: Concept Languages as Query Languages. AAAI 1991: 471-476 BibTeX

[43]

Hector J. Levesque: Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. 23(2): 155-212(1984) BibTeX

[44]

...

[45]

Robert M. MacGregor: A Deductive Pattern Matcher. AAAI 1988: 403-408 BibTeX

[46]

...

[47]

William Mark: Rule-Based Inference in Large Knowledge Bases. AAAI 1980: 190-194 BibTeX

[48]

...

[49]

Bernhard Nebel: Terminological Reasoning is Inherently Intractable. Artif. Intell. 43(2): 235-249(1990) BibTeX

[50]

Bernhard Nebel, Christof Peltason: Terminological reasoning and Information Management. IS/KI 1990: 181-212 BibTeX

[51]

Bernhard Nebel, Gert Smolka: Attribute Description Formalisms ... and the Rest of the World. Text Understanding in LILOG 1991: 439-452 BibTeX

[52]

Bernd Owsnicki-Klewe: Configuration as a Consistency Maintenance Task. GWAI 1988: 77-87 BibTeX

[53]

...

[54]

...

[55]

...

[56]

Peter F. Patel-Schneider: A Four-Valued Semantics for Terminological Logics. Artif. Intell. 38(3): 319-351(1989) BibTeX

[57]

Véronique Royer, Joachim Quantz: Deriving Inference Rules for Terminological Logics. JELIA 1992: 84-105 BibTeX

[58]

Klaus Schild: A Correspondence Theory for Terminological Logics: Preliminary Report. IJCAI 1991: 466-471 BibTeX

[59]

Manfred Schmidt-Schauß: Subsumption in KL-ONE is Undecidable. KR 1989: 421-431 BibTeX

[60]

Manfred Schmidt-Schauß, Gert Smolka: Attributive Concept Descriptions with Complements. Artif. Intell. 48(1): 1-26(1991) BibTeX

[61]

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

[62]

...

[63]

Chung-Dak Shum, Richard R. Muntz: Implicit Representation for Extensional Answers. Expert Database Conf. 1988: 497-522 BibTeX

[64]

Gunnar Teege: Making the Difference: A Subtraction Operation for Description Logics. KR 1994: 540-550 BibTeX

[65]

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

[66]

...

[67]

...

[68]

...

[69]

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

[70]

Alexander Borgida: On The Relationship Between Description Logic and Predicate Logic. CIKM 1994: 219-225 BibTeX

[71]

...

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