Skip to main content
SpringerLink
Log in

A Class-Based Logic Language for Ontologies

  • Conference paper
  • First Online:
Book cover Flexible Query Answering Systems (FQAS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2522))

Included in the following conference series:

Abstract

We describe a formal design of a hybrid language and show that it provides a suitable basis for representing and interacting with ontologies. We specify ontologies and query them with a clear logical semantics. The proposed language combines the expressive power of description logics and rules.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alessandro Artale, Enrico Franconi, Nicola Guarino, and Luca Pazzi. Part-Whole Relations in Object-Centered Systems: An Overview. Data & Knowledge Engineering, 20(3):347–383, December 1996.

    Article  MATH  Google Scholar 

  2. Franz Baader. Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Annals of Mathematic and Artificial Intelligence, 18:175–219, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  3. Franz Baader and Ulrike Sattler. Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. In Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR’96), Cambridge, Massachusetts, USA, pages 328–339, November 1996.

    Google Scholar 

  4. Alexander Borgida and Peter Patel-Schneider. A Semantic and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Journal of Artificial Intelligence Research, 1:277–308, 1994.

    MATH  Google Scholar 

  5. Martin Buchheit, Francesco M. Donini, and Andrea Schaerf. Decidable Reasoning in Terminological Knowledge Representation Systems. Journal of Artificial Intelligence Research, 1:109–138, 1993.

    MATH  MathSciNet  Google Scholar 

  6. B. Chandrasekaran, John R. Josephson, and V. Richard Benjamins. What Are Ontologies and Why Do We Need Them. IEEE Intelligent Systems, 14(1):20–26, january/february 1999.

    Article  Google Scholar 

  7. William W. Cohen and Haym Hirsh. Learning the CLASSIC Description Logic: Theoretical and Experimental Results. In Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR’94), Bonn, Germany, pages 121–133, May 1994.

    Google Scholar 

  8. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. The Complexity of Concept Languages. Technical Report RR-95-07, Deutsches Forschunggszentrum für Künstliche Intelligenz (DFKI), Kaiserslautern, Germany, June 1995.

    Google Scholar 

  9. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. ALlog: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems, 10(3):227–252, 1988.

    Article  Google Scholar 

  10. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. Reasoning in Description Logics. In Foundation of Knowledge Representation. Cambrige University Press, 1995.

    Google Scholar 

  11. Adam Farquhar, Richard Fikes, and James Rice. The Ontolingua Server: a Tool for Collaborative Ontology Construction. In Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop, Ban., Canada, nov 1996.

    Google Scholar 

  12. Nicola Guarino. Formal Ontology in Information Systems. IOS Press, 1998.

    Google Scholar 

  13. Michael Kifer and James Wu. A Logic for Object-Oriented Logic Programming (maier’s o-logic revisited). In Proceedings of the 1989 Symposium on Principles of Database Systems (PODS’89), Philadelphia, Pennsylvania, pages 379–393, March 1989.

    Google Scholar 

  14. Ralf Küsters. Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR’98), Trento, Italy, pages 499–511, June 1998.

    Google Scholar 

  15. Alon Y. Levy and Marie-Christine Rousset. Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104(1–2):165–209, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  16. D. A. B. Lindberg, B. L. Humphreys, and A. T. McCray. The Unified Medical Language System. Methods of Information in Medicine, 1993.

    Google Scholar 

  17. Margarida Mamede and Luis Monteiro. A Contraint Logic Programming Scheme for Taxonomic Reasoning. In Krzysztof R. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP’92), Washington, DC, pages 255–269. MIT Press, ISBN0-262-51064-2, 1992.

    Google Scholar 

  18. Deborah L. McGuiness. Conceptual Modeling for Distributed Ontology Environments. In Proceedings of the 8th International Conference on Conceptual Structures Logical, Linguistic, and Computational Issues, Darmstadt, Germany, august 2000.

    Google Scholar 

  19. Deborah L. McGuiness, Richard Fikes, James Rice, and Steve Wilder. An Environment for Merging and Testing Large Ontologies. In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR’2000), Breckenridge, Colorado, USA, april 2000.

    Google Scholar 

  20. Prasenjit Mitra, Gio Wiederhold, and Martin Kersten. A Graph-Oriented Model for Articulation of Ontology Interdependencies. In Proceedings of the International Conference on Extended Database Technology (EDBT’2000), Konstanz, Germany, LNCS. Springer Verlag, march 2000.

    Google Scholar 

  21. Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems. LNCS-422. Springer-Verlag, 1990.

    MATH  Google Scholar 

  22. DA. L. Rector, W. A. Nowlan, S. Kay, C. A. Goble, and T. J. Howkins. A Framework for Modeling the Electronic Medical Record. Methods of Information in Medicine, 1993.

    Google Scholar 

  23. Manfred Schmidt-Schauβ and Gert Smolka. Attributive Concept Descriptions with Complements. Artificial Intelligence, 48(1):1–26, 1991.

    Article  MathSciNet  Google Scholar 

  24. G. van Heijst, A. T. Schreiber, and B. J. Wielinga. Using Explicit Ontologies in KBS Development. International Journal of Human and Computer Studies, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LISI - UFR Informatique, Université Claude Bernard Lyon 1, 8, Blvd Niels Bohr, 69622, Villeurbanne, France

    Djamal Benslimane & Mohand-Saüd Hacid

  2. Department of Computer Sciences, Purdue University, IN47907, West Lafayette, USA

    Evimaria Terzi

  3. LIMOS-ISIMA, Campus des Cézeaux - B.P. 125, 63173, AUBIERE, France

    Farouk Toumani

Authors
  1. Djamal Benslimane
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohand-Saüd Hacid
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Evimaria Terzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Farouk Toumani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Carnegie Mellon University, Pittsburgh, PA, USA

    Jaime G. Carbonell

  2. University of Saarland, Saabrücken, Germany

    Jörg Siekmann

  3. Roskilde University, Building 42-1, P.O. Box 260, 4000, Roskilde, Denmark

    Troels Andreasen  & Henning Christiansen  & 

  4. Department of Information and Software Engineering School of Information Technology and Engineering, George Mason University, Fairfax, 22030-4444, Virginia, USA

    Amihai Motro

  5. Dept. of Computer Science and Engineering, Aalborg University Esbjerg, Niels Bohrs Vej 8, 6700, Esbjerg, Denmark

    Henrik Legind Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benslimane, D., Hacid, MS., Terzi, E., Toumani, F. (2002). A Class-Based Logic Language for Ontologies. In: Carbonell, J.G., Siekmann, J., Andreasen, T., Christiansen, H., Motro, A., Legind Larsen, H. (eds) Flexible Query Answering Systems. FQAS 2002. Lecture Notes in Computer Science(), vol 2522. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36109-X_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-36109-X_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00074-7

  • Online ISBN: 978-3-540-36109-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation