dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Description Logics in Data Management.

Alexander Borgida: Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. 7(5): 671-682(1995)
@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        = {http://doi.ieeecomputersociety.org/10.1109/69.469829},
  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

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

References

[1]
...
[2]
Hassan Aït-Kaci: An Overview of LIFE. East/West Database Workshop 1990: 42-58 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Tarek M. Anwar, Howard W. Beck, Shamkant B. Navathe: Knowledge Mining by Imprecise Querying: A Classification-Based Approach. ICDE 1992: 622-630 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Franz Baader, Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Franz Baader, Bernhard Hollunder: KRIS: Knowledge Representation and Inference System. SIGART Bulletin 2(3): 8-14(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Sonia Bergamaschi, Bernhard Nebel: Acquisition and validation of complex object database schemata supporting multiple inheritance. Appl. Intell. 4(2): 185-203(1994) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Claudio Bettini: A Family of Temporal Terminological Logics. AI*IA 1993: 120-131 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
Alexander Borgida: Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. KR 1992: 259-269 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
Alexander Borgida, Ronald J. Brachman: Loading Data into Description Reasoners. SIGMOD Conference 1993: 217-226 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
...
[21]
Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt: Subsumption between queries to object-oriented databases. Inf. Syst. 19(1): 33-54(1994) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[26]
Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
...
[28]
...
[29]
William W. Cohen, Alexander Borgida, Haym Hirsh: Computing Least Common Subsumers in Description Logics. AAAI 1992: 754-760 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
Premkumar T. Devanbu, Diane J. Litman: Plan-Based Terminological Reasoning. KR 1991: 128-138 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
Premkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge: LaSSIE: A Knowledge-Based Software Information System. Commun. ACM 34(5): 34-49(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
Premkumar T. Devanbu, Mark A. Jones: The Use of Description Logics in KBSE Systems: Experience Report. ICSE 1994: 23-35 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[34]
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[36]
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[38]
Sheldon J. Finkelstein: Common Subexpression Analysis in Database Applications. SIGMOD Conference 1982: 235-245 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[39]
Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß: Subsumption Algorithms for Concept Description Languages. ECAI 1990: 348-353 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[40]
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[41]
Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[42]
Maurizio Lenzerini, Andrea Schaerf: Concept Languages as Query Languages. AAAI 1991: 471-476 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[43]
Hector J. Levesque: Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. 23(2): 155-212(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[44]
...
[45]
Robert M. MacGregor: A Deductive Pattern Matcher. AAAI 1988: 403-408 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[46]
...
[47]
William Mark: Rule-Based Inference in Large Knowledge Bases. AAAI 1980: 190-194 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[48]
...
[49]
Bernhard Nebel: Terminological Reasoning is Inherently Intractable. Artif. Intell. 43(2): 235-249(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[50]
Bernhard Nebel, Christof Peltason: Terminological reasoning and Information Management. IS/KI 1990: 181-212 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[51]
Bernhard Nebel, Gert Smolka: Attribute Description Formalisms ... and the Rest of the World. Text Understanding in LILOG 1991: 439-452 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[52]
Bernd Owsnicki-Klewe: Configuration as a Consistency Maintenance Task. GWAI 1988: 77-87 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[53]
...
[54]
...
[55]
...
[56]
Peter F. Patel-Schneider: A Four-Valued Semantics for Terminological Logics. Artif. Intell. 38(3): 319-351(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[57]
Véronique Royer, Joachim Quantz: Deriving Inference Rules for Terminological Logics. JELIA 1992: 84-105 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[58]
Klaus Schild: A Correspondence Theory for Terminological Logics: Preliminary Report. IJCAI 1991: 466-471 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[59]
Manfred Schmidt-Schauß: Subsumption in KL-ONE is Undecidable. KR 1989: 421-431 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[60]
Manfred Schmidt-Schauß, Gert Smolka: Attributive Concept Descriptions with Complements. Artif. Intell. 48(1): 1-26(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[62]
...
[63]
Chung-Dak Shum, Richard R. Muntz: Implicit Representation for Extensional Answers. Expert Database Conf. 1988: 497-522 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[64]
Gunnar Teege: Making the Difference: A Subtraction Operation for Description Logics. KR 1994: 540-550 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[70]
Alexander Borgida: On The Relationship Between Description Logic and Predicate Logic. CIKM 1994: 219-225 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[71]
...

Last update Fri Sep 14 18:26:06 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page