Document Type
Article
Publication Date
7-1-2005
Abstract
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.
Repository Citation
Vrandecic, D.,
& Hitzler, P.
(2005). Faster OWL using Split Programs. .
https://corescholar.libraries.wright.edu/cse/70
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the 12th Workshop on Automated Reasoning, Edinburgh, Scotland, July 29-30, 2005.