Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
Part II: OWL - Foundations of Semantic Web Technologies
SHOW LESS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Pro<strong>of</strong> Theory<br />
Traditionally using tableaux algorithms (see below)<br />
Alternatives:<br />
Transformation to disjunctive datalog using basic superposition<br />
done for SHIQ<br />
Naive mapping to Datalog<br />
for <strong>OWL</strong> RL<br />
Mapping to SQL<br />
for <strong>OWL</strong> QL<br />
Special-purpose algorithms for <strong>OWL</strong> EL<br />
e.g. transformation to Datalog<br />
49
Change language