Skip to main content

Reasoning im und für das Semantic Web

  • Chapter
Semantic Web

Part of the book series: X.media.press ((XMEDIAP))

  • 4619 Accesses

Zusammenfassung

Dieses Kapitel gibt zuerst einen kurzen historischen Überblick über „Reasoning“, d. h. Schließen, Wissensrepräsentation und „künstliche Intelligenz“. Der Hauptteil geht auf einige „Reasoning“-Mechanismen und -Konzepte, die im Semantic Web eine Rolle spielen, ein und zeigt, wie dieses „Reasoning“ — unauffällig — in den Konzepten des Semantic Web zur Beschreibung von Wissensbasen enthalten ist. Weiterhin werden Reasoning-Mechanismen umrissen, die dem Zusammenspiel verschiedener Knoten im Semantic Web dienen, und ein kurzes Fazit gezogen.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 44.99
Price excludes VAT (USA)
  • Durable hardcover 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.

Literatur

  1. G. Antoniou, E. Franconi, and F. van Harmelen. Introduction to semantic web ontology languages. In Reasoning Web, First International Summer School. Springer LNCS 3564, 2005.

    Google Scholar 

  2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.

    Google Scholar 

  3. R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171–216, 1985.

    Article  Google Scholar 

  4. M. D’Agostino, D. Gabbay, R. Hähnle, and J. Posegga, editors. Handbook of Tableau Methods. Kluwer Academic Publishers, 1999.

    Google Scholar 

  5. S. Decker, D. Brickley, J. Saarela, and J. Angele. A Query Service for RDF. QL’98-The Query Languages Workshop, 1998.

    Google Scholar 

  6. D. Gabbay, C. J. Hogger, and J. A. Robinson. Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford Science Publ., 1994.

    Google Scholar 

  7. V. Haarslev and R. Möller. Racer system description. In Int. Joint Conf. on Automated Reasoning (IJCAR). Springer LNCS 2083, 2001. http://www.racer-systems.com.

    Google Scholar 

  8. I. Horrocks. Using an expressive description logic: Fact or Fiction? In Principles of Knowledge Representation and Reasoning (KR), pages 636–647, 1998. http://www.ca.man.ac.uk/~horrocks/FaCT.

    Google Scholar 

  9. I. Horrocks, D. Fensel, J. Broekstra, S. Decker, M. Erdmann, C. Goble, F. van Harmelen, M. Klein, S. Staab, R. Studer, and E. Motta. The ontology inference layer OIL, 2000. Available at http://www.ontoknowledge.org/oil.

    Google Scholar 

  10. I. Horrocks, P. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7–26, 2004.

    Google Scholar 

  11. I. Horrocks and U. Sattler. A tableau decision procedure for SHOIQ(D). In Intl. Joint Conference on Artificial Intelligence, 2005.

    Google Scholar 

  12. Maryland Information and Network Dynamics Lab. Pellet: An OWL DL reasoner. http://www.mindswap.org/2003/pellet.

    Google Scholar 

  13. Jena: A Java Framework for Semantic Web Applications. http://jena.sourceforge.net.

    Google Scholar 

  14. M. Kifer and G. Lausen. F-Logic: A higher-order language for reasoning about objects, inheritance and scheme. In ACM Intl. Conference on Management of Data (SIGMOD), pages 134–146, 1989.

    Google Scholar 

  15. M. Minsky. A framework for representing knowledge. In J. Haugeland, editor, Mind Design. MIT Press, 1981.

    Google Scholar 

  16. M. Schmidt-Schauss and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1–26, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  17. A. Sheth, C. Ramakrishnan, and C. Thomas. Semantics for the semantic web: The implicit, the formal and the powerful. J. on Semantic Web and Information Systems, 1(1):1–18, 2005.

    Google Scholar 

  18. Zu den genannten Sprachvorschlägen findet man die aktuellsten Referenzen im Web am besten mit Google. http://www.google.de.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

May, W. (2006). Reasoning im und für das Semantic Web. In: Pellegrini, T., Blumauer, A. (eds) Semantic Web. X.media.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-29325-6_31

Download citation

Publish with us

Policies and ethics