Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>OWL</strong> 2 EL<br />
allowed:<br />
subclass axioms with intersection, existential quantification, top,<br />
bottom<br />
closed classs must have only one member<br />
property chain axioms, range restrictions (under certain conditions)<br />
disallowed:<br />
negation, disjunction, arbitrary universal quantification, role<br />
inverses<br />
u∃>⊥ v u∃>⊥<br />
Examples: ∃has.Sorrow v ∃has.Liqueur; > v ∃hasParent.Person<br />
∃married.> u CatholicPriest v ⊥; German v ∃knows.{angela};<br />
hasParent ± hasParent v hasGrandparent<br />
44