Skip to main content
SpringerLink
Log in

Towards Reasoning Pragmatics

  • Conference paper
GeoSpatial Semantics (GeoS 2009)

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

Included in the following conference series:

Abstract

The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenges, which force us to question established lines of research and to rethink the underlying approaches.

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. Boley, H., Kifer, M. (eds.): RIF Framework for Logic Dialects. W3C Working Draft, July 30 (2008), http://www.w3.org/TR/rif-fld/

  2. Fanizzi, N., d’Amato, C., Esposito, F.: Statistical learning for inductive query answering on OWL ontologies. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 195–212. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  3. Fensel, D., van Harmelen, F.: Unifying reasoning and search to web scale. IEEE Internet Computing 11(2), 96, 94–95 (2007)

    Article  Google Scholar 

  4. Grimm, S., Hitzler, P.: A preferential tableaux calculus for circumscriptive ALCO. In: Proceedings of the Third International Conference on Web Reasoning and Rule Systems, Washington D.C., USA. LNCS. Springer, Heidelberg (to appear, 2009)

    Google Scholar 

  5. Hitzler, P.: Suggestions for OWL 3. In: Proceedings of OWL – Experiences and Directions, Sixth International Workshop, Washington D.C., USA (October 2009) (to appear)

    Google Scholar 

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

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

    Google Scholar 

  8. Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323–338. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission, May 21 (2004), http://www.w3.org/Submission/SWRL/

  10. Klinov, P., Parsia, B.: Optimization and evaluation of reasoning in probabilistic description logic: Towards a systematic approach. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 213–228. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. Krötzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008, pp. 80–84. IOS Press, Amsterdam (2008)

    Google Scholar 

  12. Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 649–664. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)

    MATH  Google Scholar 

  14. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal on Web Semantics 6(4), 291–308 (2008)

    Google Scholar 

  15. Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: Proceedings of the Third International Conference on Web Reasoning and Rule Systems, Washington D.C., USA, October 2009. LNCS. Springer, Heidelberg (to appear, 2009)

    Google Scholar 

  16. Marriott, K., Sondergaard, H.: On Prolog and the occur check problem. SIGPLAN Not. 24(5), 76–82 (1989)

    Article  Google Scholar 

  17. McGuinness, D.L., van Harmelen, F. (eds.): OWL Web Ontology Language Overview. W3C Recommendation, February 10 (2004), http://www.w3.org/TR/owl-features/

  18. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Proposed Recommendation, September 22 (2009), http://www.w3.org/TR/2009/PR-owl2-profiles-20090922/

  19. Motik, B., Cuenca Grau, B., Horrocks, I., Sattler, U.: Representing Ontologies Using Description Logics, Description Graphs, and Rules. Artificial Intelligence 173(14), 1275–1309 (2009)

    Article  MATH  Google Scholar 

  20. Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.): OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Candidate Recommendation, September 22 (2009), http://www.w3.org/TR/2009/PR-owl2-syntax-20090922/

  21. Motik, B., Sattler, U., Studer, R.: Query-answering for OWL-DL with rules. Journal of Web Semantics 3(1), 41–60 (2005)

    Google Scholar 

  22. Rudolph, S., Krötzsch, M., Hitzler, P.: Cheap Boolean role constructors for description logics. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 362–374. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  23. Rudolph, S., Tserendorj, T., Hitzler, P.: What is approximate reasoning? In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 150–164. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  24. Tserendorj, T., Rudolph, S., Krötzsch, M., Hitzler, P.: Approximate OWL-reasoning with Screech. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 165–180. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Working Draft, September 22 (2009), http://www.w3.org/TR/2009/PR-owl2-overview-20090922/

Download references

Author information

Authors and Affiliations

  1. Kno.e.sis Center, Wright State University, Dayton, Ohio

    Pascal Hitzler

Authors
  1. Pascal Hitzler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Geography, The Pennsylvania State University, University Park, 16802, PA, USA

    Krzysztof Janowicz

  2. Department of Geography, University of California, Santa Barbara, 93106, CA, USA

    Martin Raubal

  3. Centro de Investigacion en Computacion, National Polytechnic Institute, 07738, Mexico City, Mexico

    Sergei Levashkin

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hitzler, P. (2009). Towards Reasoning Pragmatics. In: Janowicz, K., Raubal, M., Levashkin, S. (eds) GeoSpatial Semantics. GeoS 2009. Lecture Notes in Computer Science, vol 5892. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10436-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-10436-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-10435-0

  • Online ISBN: 978-3-642-10436-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation