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.
Understanding SROIQ(D)<br />
The description logic ALC<br />
ABox expressions:<br />
Individual assignments<br />
Property assignments<br />
TBox expressions<br />
subclass relationships<br />
Complexity: ExpTime<br />
Father(john)<br />
hasWife(john,mary)<br />
v<br />
conjunction<br />
u<br />
disjunction<br />
t<br />
negation ¬<br />
Also: >, ⊥<br />
property restrictions<br />
∀<br />
∃<br />
16