|Title||Faster OWL Using Split Programs|
|Publication Type||Conference Paper|
|Year of Publication||2005|
|Authors||Denny Vrandecic, Pascal Hitzler|
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  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.
|Full Text|| |
Denny Vrandecic and Pascal Hitzler,'Faster OWL Using Split Programs,' Proceedings of the 12th Workshop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005.