More Web Proxy on the site http://driver.im/

research-article

Description Logics in Data Management

Author:

Alexander BorgidaAuthors Info & Claims

IEEE Transactions on Knowledge and Data Engineering, Volume 7, Issue 5

Pages 671 - 682

https://doi.org/10.1109/69.469829

Published: 01 October 1995 Publication History

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.

References

[1]

H. Ait-Kaci, “A lattice theoretic approach to computation based on a calculus ofpartially ordered type structures,” PhD thesis, Univ. of Pennsylvania, 1984.

Digital Library

[2]

H. Ait-Kaci and A. Podelski, “An overview of Life,” Next Generation Information System Technology: Proc. First Int’l East/WestData Base Workshop, Springer-Verlag LNCS 504, pp.42-58, 1990.

[3]

T.W. Anwar, H. Beck, and S. Navathe, “Knowledge mining by imprecise querying: A classification-basedapproach,” Proc. Eighth Conf. on Data Eng., Tempe, Ariz., Feb. 1992, pp. 622-630.

Digital Library

[4]

Y. Arens, C.Y. Chee, C.N. Hsu, and C. Knoblock, “Retrieving and integrating data from multiple information systems,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 3, no. 1, 1994.

[5]

F. Baader and P. Hanscke, “A scheme for integrating concrete domains into concept languages,” Proc. IJCAI ’91, Australia, Aug. 1991.

[6]

F. Baader and B. Hollunder, “KRIS: Knowledge representation and inference system,” ACM SIGART Bull., vol. 2, no. 3, pp. 8-14, June 1991.

Digital Library

[7]

F. Baader, B. Hollunder, B. Nebel, and H.-J. Profitlich, “An empirical analysis of optimization techniques for terminologicalrepresentation systems,” Proc. KR ’92, Boston, Mass., Oct. 1992.

[8]

H.W. Beck, S.K. Gala, and S.B. Navathe, “Classification as a query processing technique in the CANDIDE semantic datamodel,” Proc. Fifth IEEE Int’l Data Eng. Conf., pp. 572-581, Feb. 1989.

Digital Library

[9]

H.W. Beck, T. Anwar, and S.B. Navathe, “A conceptual clustering algorithm for database schema design,” IEEE Trans. on Knowledge and Data Engineering, vol. 6, no. 3, pp. 396-411, June 1994.

Digital Library

[10]

S. Bergamaschi and B. Nebel, “Automatic building and validation of complex object database schematasupporting multiple inheritance,” Applied Intelligence, vol. 4, no. 2, pp. 185-204, 1994.

[11]

S. Bergamaschi and C. Sartori, “On taxonomic reasoning in conceptual design,” ACM Trans. on Database Systems, vol. 17, no. 3, pp. 385-442, 1992.

Digital Library

[12]

C. Bettini, “A family of temporal terminological logics,” Advances in Artificial Intelligence: 3rd Congress of IA*AI, Springer Verlag LNCS no. 728, 1993.

Digital Library

[13]

A. Borgida, “From type systems to knowledge representation: Natural semanticsspecifications for description logics,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 1, no. 1, 1992.

[14]

A. Borgida, “Towards the systematic development of terminological reasoners: Claspreconstructed,” Proc. Conf. on Principles of Knowledge Representation (KR ’92), Boston, Mass., Oct. 1992.

[15]

A. Borgida and R. Brachman, “Customizable classification inference in the ProtoDL description managementsystem,” Proc. Conf. Information and Knowledge Management, Baltimore, Md., pp. 482-490, Nov. 1992.

[16]

A. Borgida and R. Brachman, “Loading data into description reasoners,” Proc. ACM SIGMOD Conf. on Data Management, Washington, D.C., pp. 217-226, 1993.

Digital Library

[17]

A. Borgida, R.J. Brachman, D.L. McGuinness, and L.A. Resnick, “CLASSIC: A structural data model for objects,” Proc. 1989 ACM SIGMOD Int’l Conf. on Management of Data, June 1989, pp. 59-67.

Digital Library

[18]

A. Borgida and P. Devanbu, “Knowledge base management systems using description logics, and their rolein software information systems,” Information Processing ’92, Elsevier Science Publishers, vol. 3, pp. 171-181, 1992.

Digital Library

[19]

A. Borgida and P.F. Patel-Schneider, “A semantics and complete algorithm for subsumption in the classicdescription logic,” J. of Artificial Intelligence Research, pp. 277-308, 1994.

[20]

R.J. Brachman, “A structural paradigm for representing knowledge,” PhD thesis, Harvard University, Division of Eng. and Applied Physics, 1977. Revised version published as BBN Report no. 3605, Bolt Beranek and Newman, Inc., Cambridge, Mass., May 1978.

[21]

R.J. Brachman and J.G. Schmolze, “An overview of the KL-ONE knowledge representation system,” Cognitive Sci., vol. 9, no. 2, pp. 171-216, Apr.-June 1985.

[22]

R.J. Brachman and H.J. Levesque, “The tractability of subsumption in frame-based descriptionlanguages,” Proc. AAAI ’84, Austin, Tex., pp. 34-37, Aug. 1984.

[23]

R.J. Brachman, R.E. Fikes, and H.J. Levesque, “Krypton: A functional approach to knowledge representation,” IEEE Computer, vol. 16, no. 10, pp. 67-73, Oct. 1983.

Digital Library

[24]

R. Brachman, P. Selfridge, L. Terveen, B. Altman, A. Borgida, F. Halper, T. Kirk, A. Lazar, S. McGuiness, and L. Resnick, “Knowledge representation support for data archaelogy,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 2, no. 2, pp. 159-186, June 1993.

[25]

M. Buchheit, M. Jeusfeld, W. Nutt, and M. Staudt, “Subsumption between queries in object-oriented databases,” Information Systems, vol. 19, no. 1, pp. 33-54, 1994.

Digital Library

[26]

D. Calvanese, M. Lenzerini, and D. Nardi, “A unified framework for class-based representation formalisms,” Proc. Conf. on Principles of Knowledge Representation (KR ’94), Bonn, pp. 109-120, 1994.

[27]

B. Carpenter, The Logic of Typed Feature Structures: Applications toUnification Grammars, Logic Programs, and Constraint Rresolution. New York: Cambridge Univ. Press, 1992.

Digital Library

[28]

T. Catarci and M. Lenzerini, “Representing and using interschema knowledge in cooperative informationsystems,” Int’l J. of Intelligent and Coorperative Information Systems, vol. 2, no. 4, pp. 375-398, Dec. 1993.

[29]

W. Cohen, A. Borgida, and H. Hirsh, “Computing least common subsumers in description logics,” Proc. of AAAI ’92, San Jose, Calif., May 1992.

[30]

L. Delcambre and K. Davis, “Automatic validation of object-oriented database structures,” Proc. IEEE Data Eng. Conf., Los Angeles, pp. 2-9, 1989.

Digital Library

[31]

P. Devanbu and D. Litman, “Plan-based terminological reasoning,” Proc. Conf. on Principles of Knowledge Representation (KR ’91), Boston, Mass., 1991.

[32]

P. Devanbu, R. Brachman, P. Selfridge, and B. Ballard, “LaSSIE: A knowledge-based software information system,” Comm. of the ACM, vol. 34, no. 5, May 1991.

Digital Library

[33]

P. Devanbu and M. Jones, “The use of description logics in KBSE systems,” Proc. 17th Int’l Conf. on Software Eng., Sorrento, Italy, 1994.

Digital Library

[34]

F. Donini, M. Lenzerini, D. Nardi, and W. Nutt, “Tractable concept languages,” Proc. IJCAI ’91, Australia, pp. 458-463, Aug. 1991.

[35]

F. Donini, M. Lenzerini, D. Nardi, and W. Nutt, “The complexity of concept languages,” Proc. KR ’91, Boston, Mass., pp. 151-162, 1991.

[36]

F. Donini, M. Lenzerini, D. Nardi, A. Schaerf, and W. Nutt, “Adding epistemic operators to concept languages,” Proc. KR ’92, pp. 342-353, Bonn, 1992.

[37]

J. Doyle and R. Patil, “Two theses of knowledge representation: Language restrictions, taxonomicclassification, and the utility of representation services,” Artificial Intelligence, vol. 48, no. 3, pp. 261-298, Apr. 1991.

Digital Library

[38]

S. Finkelstein, “Common expression analysis in database applications,” Proc. ACM SIGMOD Conf., Orlando, Fla., pp. 235-245, 1982.

Digital Library

[39]

B. Hollunder, W. Nutt, and M. Schmidt-Schauss, “Subsumption algorithms for concept description languages,” Proc. Ninth ECAI, Stockholm, pp. 348-353, Aug. 1990.

[40]

R. Hull and R. King, “Semantic database modeling: Survey, applications, and researchissues,” ACM Computing Surveys, vol. 19, no. 3, pp. 201-260, Sept. 1987.

Digital Library

[41]

R. Lecluse and P. Richard, “Modeling complex structures in object-oriented databases,” Proc. ACM PODS Conf., Philadelphia, Pa., pp. 360-367, 1989.

Digital Library

[42]

M. Lenzerini and A. Schaerf, “Concept languages as query languages,” Proc. AAAI ’91, pp. 471-476, 1991.

[43]

H. Levesque, “Foundations of a functional approach to knowledge representation,” Artificial Intelligence, vol. 23, no. 2, pp. 155-212, 1984.

Digital Library

[44]

K. von Luck, B. Nebel, C. Peltason, and A. Schmiedel, “The anatomy of the BACK system,” KIT (Kunstliche Intelligenz und Textverstehen) Report 41,Technical Univ. of Berlin, Jan. 1987.

[45]

R.M. MacGregor, “A deductive pattern matcher,” Proc. AAAI ’87, St. Paul, Minn., pp. 403-408, 1987.

[46]

R.M. MacGregor, “The evolving technology of classification-based knowledge representation systems,” John Sowa, ed., Principles of Semantic Networks: Explorations in the Representation ofKnowledge. San Mateo, Calif.: Morgan-Kaufman, 1991.

[47]

W. Mark, “Rule-based inference in large knowledge bases,” Proc. AAAI ’80, Aug. 1980.

[48]

E. Mays, C. Apte, J. Griesmer, and J. Kastner, “Organizing knowledge in a complex financial domain,” IEEE Expert, pp.61-70, 1987.

[49]

B. Nebel, “Terminological reasoning is inherently intractable,” Artificial Intelligence, vol. 43, pp. 235-249, 1990.

Digital Library

[50]

B. Nebel and C. Peltason, “Terminological reasoning and information management,” D. Karagianis, ed., Information Systems and Artificial Intelligence: Integration Aspects. New York: Springer-Verlag, 1991, pp. 181-212.

[51]

B. Nebel and G. Smolka, “Attributive description formalisms and the rest of the world,” O. Herzog and C. Rollinger, eds., Text Understanding in LILOG. New York: Springer Verlag, 1991.

Digital Library

[52]

B. Owsnicki-Klewe, “Configuration as a consistency maintenance task,” W. Hoeppner, ed., Proc. of GWAI ’88. New York: Springer Verlag, 1988, pp. 77-87.

Digital Library

[53]

J. Pastor, D. McKay, and T. Finin, “View-concepts: Knowledge-based access to databases,” Proc. CIKM 92, Baltimore, Md., pp. 84-91, 1992.

[54]

P.F. Patel-Schneider, “Small can be beautiful in knowledge representation,” Proc. IEEE Workshop on Principles of Knowledge-Based Systems, Denver, Colo., pp. 11-16, 1984.

[55]

P.F. Patel-Schneider, R.J. Brachman, and H.J. Levesque, “ARGON: Knowledge representation meets information retrieval,” Proc. First Conf. on Artificial Intelligence Applications, Denver, Colo., pp. 280-286, Dec. 1984.

[56]

P.F. Patel-Schneider, “A four-valued semantics for terminological logics,” Artificial Intelligence, vol. 38, pp. 319-351, 1989.

Digital Library

[57]

V. Royer and J. Quantz, “Deriving inference rules for terminological logics,” D. Pearce and G. Wegner, eds., Logics in AI, Proc. of JELIA ’92. New York: Springer Verlag, pp. 84-105, 1992.

Digital Library

[58]

K. Schild, “A correspondence theory for terminological logics—Preliminaryreport,” Proc. IJCAI ’91, Sydney, Australia, 1991.

[59]

M. Schmidt-Schauss, “Subsumption in KL-ONE is undecidable,” Proc. KR ’89, Toronto, Canada, pp. 421-431, May 1989.

Digital Library

[60]

M. Schmidt-Schauss and G. Smolka, “Attributive concept descriptions with complements,” Artificial Intelligence J., vol. 48, no. 1, pp.1-26, 1991.

Digital Library

[61]

A. Sheth and J. Larson, “Federated database systems for managing distributed, heterogeneous, andautonomous databases,” ACM Computing Surveys, vol. 22, no. 3, pp. 183-236, 1990.

Digital Library

[62]

A. Sheth, S. Gala, and S. Navathe, “On automatic reasoning for schema integration,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 2, no. 1, pp. 23-50, 1993.

[63]

C.-D. Shum and R. Muntz, “Implicit representation of extensional answers,” L. Kerscheberg, ed., Proc. Second Int’l Conf. on Expert Database Systems, Benjamin Cummings, 1989, pp. 497-522.

[64]

G. Teege, “Making the difference: A subtraction operation for descriptionlogics,” Proc. Conf. on Principles of Knowledge Representation (KR ’94), pp. 540-550, Bonn, 1994.

[65]

F. Tou, M. Williams, R. Fikes, A. Henderson, and T. Malone, “RABBIT: An intelligent database assistant,” Proc. AAAI ’82.

[66]

W.A. Woods and J.G. Schmolze, “The KL-ONE family,” Computers and Mathematics With Applications, vol. 23, nos. 2-5, Special Issue on Semantic Networks in Artificial Intelligence.

[67]

W.A. Woods, “Understanding subsumption and taxonomy: A framework for progress,” John Sowa, ed., Principles of Semantic Networks: Explorations in the Representation ofKnowledge. San Mateo, Calif.: Morgan-Kaufman, 1991.

[68]

J. Wright, E. Weixelbaum, K. Brown, G. Vesonder, S. Palmer, J. Berman, and H. Moore, “A knowledge-based configurator that supports sales, engineering, andmanufacturing at AT&T network systems,” Proc. Conf. Industrial Applications of AI (IAAI ’93), pp. 183-193, 1993.

Digital Library

[69]

J. Yen, R. Neches, and R. MacGregor, “CLASP: integrating term subsumption systems and production systems,” IEEE Transactions on Knowledge and Data Engineering, vol. 3, no. 1, pp. 25-32, Mar. 1991.

Digital Library

[70]

A. Borgida, “On the relationship between description logic and first order logicqueries,” Proc. Conf. Information and Knowledge Management, Gaithersburg, Md., pp. 219-225, 1994.

Digital Library

[71]

J.M. Blanco, A. Illarramendi, and A. Goni, “Building a federated relational database system: An approach using aknowledge-based system,” Int’l J. of Intelligent and Cooperative Information Systems, vol. 3, no. 4, pp. 415-455, 1994.

Cited By

Yongzhi YJun ZXingming HKan CYing L(2019)Construction of Automatic Fusion Database with Anchor Modeling and Description LogicProceedings of the 2nd International Conference on Information Management and Management Sciences10.1145/3357292.3357304(18-22)Online publication date: 23-Aug-2019
https://dl.acm.org/doi/10.1145/3357292.3357304
Borgida AToman DWeddell G(2017)Concerning referring expressions in query answersProceedings of the 26th International Joint Conference on Artificial Intelligence10.5555/3171837.3171959(4791-4795)Online publication date: 19-Aug-2017
https://dl.acm.org/doi/10.5555/3171837.3171959
Deagustini CMartínez MFalappa MSimari G(2016)Datalog± ontology consolidationJournal of Artificial Intelligence Research10.5555/3013589.301360656:1(613-656)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.5555/3013589.3013606
Show More Cited By

Description Logics in Data Management
1. Theory of computation

Recommendations

Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide Web

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...
Expressive probabilistic description logics

The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role in the development of the Semantic Web, since they provide a precise ...
Data complexity of query answering in description logics

In this paper we study data complexity of answering conjunctive queries over description logic (DL) knowledge bases constituted by a TBox and an ABox. In particular, we are interested in characterizing the FOL-rewritability and the polynomial ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image IEEE Transactions on Knowledge and Data Engineering

IEEE Transactions on Knowledge and Data Engineering Volume 7, Issue 5

October 1995

177 pages

ISSN:1041-4347

Issue’s Table of Contents

Copyright © Copyright © 1995 IEEE. All Rights Reserved.

Publisher

IEEE Educational Activities Department

United States

Publication History

Published: 01 October 1995

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

74
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Yongzhi YJun ZXingming HKan CYing L(2019)Construction of Automatic Fusion Database with Anchor Modeling and Description LogicProceedings of the 2nd International Conference on Information Management and Management Sciences10.1145/3357292.3357304(18-22)Online publication date: 23-Aug-2019
https://dl.acm.org/doi/10.1145/3357292.3357304
Borgida AToman DWeddell G(2017)Concerning referring expressions in query answersProceedings of the 26th International Joint Conference on Artificial Intelligence10.5555/3171837.3171959(4791-4795)Online publication date: 19-Aug-2017
https://dl.acm.org/doi/10.5555/3171837.3171959
Deagustini CMartínez MFalappa MSimari G(2016)Datalog± ontology consolidationJournal of Artificial Intelligence Research10.5555/3013589.301360656:1(613-656)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.5555/3013589.3013606
(2016)Enhanced entity-relationship modeling with description logicKnowledge-Based Systems10.1016/j.knosys.2015.10.02993:C(12-32)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1016/j.knosys.2015.10.029
Zhang FMa ZYan L(2014)Representation and reasoning of fuzzy ER models with description logic DLRJournal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology10.5555/2596370.259637826:2(611-623)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.5555/2596370.2596378
Haarslev VHidde KMöller RWessel M(2012)The RacerPro knowledge representation and reasoning systemSemantic Web10.5555/2590200.25902043:3(267-277)Online publication date: 1-Jul-2012
https://dl.acm.org/doi/10.5555/2590200.2590204
Haarslev VHidde KMöller RWessel M(2012)The racerpro knowledge representation and reasoning systemSemantic Web10.5555/2512665.25126693:3(267-277)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.5555/2512665.2512669
Martinez-Cruz CBlanco IVila M(2012)Ontologies versus relational databasesArtificial Intelligence Review10.1007/s10462-011-9251-938:4(271-290)Online publication date: 1-Dec-2012
https://dl.acm.org/doi/10.1007/s10462-011-9251-9
Ruta MDi Sciascio EScioscia F(2011)Concept abduction and contraction in semantic-based P2P environmentsWeb Intelligence and Agent Systems10.5555/2019488.20194899:3(179-207)Online publication date: 1-Aug-2011
https://dl.acm.org/doi/10.5555/2019488.2019489
Ma ZZhang FYan LCheng J(2011)Extracting knowledge from fuzzy relational databases with description logicIntegrated Computer-Aided Engineering10.5555/1971744.197174818:2(181-200)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.5555/1971744.1971748
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents