Skip to main content
SpringerLink
Log in

Combining Description Logics with Stratified Logic Programs in Knowledge Representation

  • Conference paper
  • First Online:
Foundations of Intelligent Systems (ISMIS 2000)

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

Included in the following conference series:

  • 694 Accesses

Abstract

Hybrid knowledge representations that combine description logics with logic programs are considered. Previous works combine description logics with Horn logic programs. In this paper, the expressive power of such hybrid systems is extended by allowing the combination of function-free, non-recursive stratified logic programs with description logics. Two model-theoretic definitions for the semantics of the hybrid knowledge representation are presented. It is shown that the inference problem based on the second semantics is decidable. When the logic program is Horn, the two semantics defined in this paper coincide with the semantics in [4] with regard to the inference problem.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. K.R. Apt, H. Blair, A. Walker, Towards a Theory of Declarative Knowledge, In: Foundations of Deductive Databases and Logic Programming (J. Minker, Ed.), Morgan Kaufmann Publishers, Los Altos, CA, 1988, pp. 89–148.

    Google Scholar 

  2. A. Borgida, On the Relative Expressiveness of Description Logics and Predicate Logics, Artificial Intelligence, 82(1996), pp. 353–367.

    Article  MathSciNet  Google Scholar 

  3. M. Buchheit, F.M. Donini, A. Schaerf, Decidable Reasoning in Terminological Knowledge Representation Systems, Journal of Artificial Intelligence Research, 1 (1993), pp. 109–138.

    MATH  MathSciNet  Google Scholar 

  4. A. Y. Levy, M.-C. Rousset, Combining Horn Rules and Description Logics in CARIN, Artificial Intelligence, 104(1998), pp. 165–209.

    Article  MATH  MathSciNet  Google Scholar 

  5. A. Y. Levy, M.-C. Rousset, CARIN: A Representation Language Integrating Rules and Description Logics, Proc. of European Conf. on Artificial Intelligence, Budapest, Hungary, 1996.

    Google Scholar 

  6. J. Lu, A. Nerode, V.S. Subramanian, Hybrid Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, 85, 1996, pp. 773–785.

    Article  Google Scholar 

  7. T. Przymusinski, On the Declarative Semantics of Deductive Databases and Logic Programs, In: Foundations of Deductive Databases and Logic Programming (J. Minker, Ed.), Morgan Kaufmann Publishers, Los Altos, CA, 1988, pp. 193–216.

    Google Scholar 

  8. A. Van Gelder, Negation as Failure Using Tight Derivations for General Logic Programs, In: Foundations of Deductive Databases and Logic Programming (J. Minker, Ed.), Morgan Kaufmann Publishers, Los Altos, CA, 1988, pp. 149–176.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Louisiana State University, Baton Rouge, 70803-4020, LA

    Jianhua Chen

Authors
  1. Jianhua Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, Polish Academy of Sciences, 01-237, Warsaw, Poland

    Zbigniew W. Raś

  2. Department of Computer Science, University of North Carolina, NC 28223, Charlotte, USA

    Zbigniew W. Raś

  3. Department of Science and Technology, Waseda University, 61-414, 3-4-1, Ohkubo, Shinjuku-ku, 169-8555, Tokyo, Japan

    Setsuo Ohsuga

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, J. (2000). Combining Description Logics with Stratified Logic Programs in Knowledge Representation. In: Raś, Z.W., Ohsuga, S. (eds) Foundations of Intelligent Systems. ISMIS 2000. Lecture Notes in Computer Science(), vol 1932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39963-1_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-39963-1_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41094-2

  • Online ISBN: 978-3-540-39963-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation