ABSTRACT
In Chapter 13, we saw how model theoretic semantics for RDF and RDFS were used to derive entailment rules. Model-theoretic semantics have been defined for OWL in an analogous fashion [172], but in this chapter we will concentrate instead on how entailment rules relate to inference in an OWL ontology.
