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> Direct <strong>Semantic</strong>s: Restrictions<br />
arbitrary property chain axioms lead to undecidability<br />
restriction: set <strong>of</strong> property chain axioms has to be regular<br />
there must be a strict linear order ≺ on the properties<br />
every property chain axiom has to have one <strong>of</strong> the following forms:<br />
R o R v R S – v R S 1 oS 2 o ... oS n v R<br />
R o S 1 oS 2 o ... oS n v R<br />
thereby, S i<br />
≺ R for all i= 1, 2, . . . , n.<br />
S 1 oS 2 o ... oS n oR v R<br />
Example 1: R o S v R S o S v S R o S o R v T<br />
regular with order S ≺ R ≺ T<br />
Example 2: R o T o S v T<br />
not regular because form not admissible<br />
Example 3: R o S v S S o R v R<br />
not regular because no adequate order exists<br />
37