Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Understanding SROIQ(D)<br />
ALC + role chains = SR<br />
hasParent o hasBrother v hasUncle<br />
:hasUncle owl:propertyChainAxiom (:hasParent :hasBrother ) .<br />
∀x ∀y (∃z ((hasParent(x,z) ∧ hasBrother(z,y)) → hasUncle(x,y)))<br />
includes top property and bottom property<br />
includes S = ALC + transitivity<br />
hasAncestor o hasAncestor v hasAncestor<br />
includes SH = S + role hierarchies<br />
hasFather v hasParent<br />
I'll skip RDF syntax in the following.<br />
17