Faster OWL Using Split Programs

Principles and Practices of Semantic Web Reasoning

计算机科学;物理学

Pascal Hitzler ; Denny Vrandečić

Others  :  http://drops.dagstuhl.de/opus/volltexte/2006/480/pdf/05371.HitzlerPascal.ExtAbstract.480.pdf
PID  :  10184

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Knowledge representation and reasoning on the Semantic Web is done by means of ontologies. While the quest for suitable ontology languages is still ongoing, OWL [5] has been established as a core standard. It comes in three flavours, as OWL Full, OWL DL and OWL Lite, where OWL Full contains OWL DL, which in turn contains OWL Lite. The latter two coincide semantically with certain description logics and can thus be considered fragments of first-order predicate logic.