Skip to main content
SpringerLink
Log in

Local Closed World Semantics: Grounded Circumscription for Description Logics

  • Conference paper
Web Reasoning and Rule Systems (RR 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6902))

Included in the following conference series:

Abstract

We present an improved local closed world extension for description logics. It is based on circumscription, and deviates from previous circumscriptive description logics [1,3] in that extensions of minimized predicates may contain only extensions of named individuals in the knowledge base. Besides an (arguably) higher intuitive appeal, the improved semantics is applicable to expressive description logics without loss of decidability.

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. Bonatti, P.A., Lutz, C., Wolter, F.: The Complexity of Circumscription in Description Logic. Journal of Artificial Intelligence Research 35, 717–773 (2009)

    MATH  Google Scholar 

  2. Grimm, S., Hitzler, P.: Semantic Matchmaking of Web Resources with Local Closed-World Reasoning. International Journal of Electronic Commerce 12(2), 89–126 (2008)

    Article  Google Scholar 

  3. Grimm, S., Hitzler, P.: A Preferential Tableaux Calculus for Circumscriptive \({\mathcal ALCO}\). In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 40–54. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  4. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-primer/

  5. Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)

    Google Scholar 

  6. Krötzsch, M., Maier, F., Krisnadhi, A.A., Hitzler, P.: A better uncle for OWL: Nominal schemas for integrating rules and ontologies. In: Sadagopan, S., Ramamritham, K., Kumar, A., Ravindra, M., Bertino, E., Kumar, R. (eds.) Proceedings of the 20th International World Wide Web Conference, WWW 2011, Hyderabad, India, pp. 645–654. ACM, New York (March/April 2011)

    Google Scholar 

  7. McCarthy, J.: Circumscription – A Form of Non-Monotonic Reasoning. Artificial Intelligence 13(1-2), 27–39 (1980)

    Article  MATH  Google Scholar 

  8. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. thesis, RWTH Aachen, Germany (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wright State University, Dayton, OH, 45435, USA

    Adila Alfa Krisnadhi, Kunal Sengupta & Pascal Hitzler

Authors
  1. Adila Alfa Krisnadhi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kunal Sengupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pascal Hitzler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Karlsruhe Institute of Technology, Institute AIFB, Karlsruhe, 76128, Germany

    Sebastian Rudolph

  2. Computer Science Department, Universidad de Chile, Blanco Enclada, 2120, Santiago, Chile

    Claudio Gutierrez

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krisnadhi, A.A., Sengupta, K., Hitzler, P. (2011). Local Closed World Semantics: Grounded Circumscription for Description Logics. In: Rudolph, S., Gutierrez, C. (eds) Web Reasoning and Rule Systems. RR 2011. Lecture Notes in Computer Science, vol 6902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23580-1_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23580-1_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23579-5

  • Online ISBN: 978-3-642-23580-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation