From Semantic Web Technologies

Jump to: navigation, search
 
Line 3: Line 3:
of [[Foundations of Semantic Web Technologies]]:
of [[Foundations of Semantic Web Technologies]]:
-
<blockquote>In Chapter 4 we introduced OWL syntactically, and have discussed intuitively
+
<blockquote>In [[Chapter 4]] we introduced [[OWL]] syntactically, and have discussed intuitively
how to derive logical inferences from OWL ontologies. This derivation of
how to derive logical inferences from OWL ontologies. This derivation of
implicit knowledge is at the heart of logic-based semantics, and we give this
implicit knowledge is at the heart of logic-based semantics, and we give this
Line 12: Line 12:
tableaux method, for automated reasoning with OWL ontologies. In
tableaux method, for automated reasoning with OWL ontologies. In
this chapter, the reader will benefit from some background in predicate logic,
this chapter, the reader will benefit from some background in predicate logic,
-
which can be found in Appendix C.</blockquote>
+
which can be found in [[Appendix C]].</blockquote>
== Contents ==
== Contents ==

Current revision as of 18:23, 13 June 2009

From Chapter 5

OWL Formal Semantics

of Foundations of Semantic Web Technologies:

In Chapter 4 we introduced OWL syntactically, and have discussed intuitively how to derive logical inferences from OWL ontologies. This derivation of implicit knowledge is at the heart of logic-based semantics, and we give this a thorough and formal treatment in this chapter. We start with description logics in Section 5.1, which provide a logical view on OWL. In Section 5.2, we then present two equivalent ways of defining the formal semantics of OWL. In Section 5.3 we present the most successful algorithmic approach, the so-called tableaux method, for automated reasoning with OWL ontologies. In this chapter, the reader will benefit from some background in predicate logic, which can be found in Appendix C.

Contents

  • Description Logics
  • Model-Theoretic Semantics of OWL
  • Automated Reasoning with OWL
  • Summary
  • Exercises
  • Further Reading