Information Content and Entropy
Peter N. Robinson, Sebastian Bauer · Chapman & Hall/CRC mathematical and computational biology series · 2011
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.