A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
It is known that the OWL 2 RL Web Ontology Language Profile has PTime data complexity and can be translated into Datalog. However, the result of translation may consist of a Datalog program and a set of constraints in the form of negative clauses. Therefore, a knowledge base in OWL 2 RL may be unsatisfiable. In the current paper we first identify a maximal fragment of OWL 2 RL, called OWL 2 RL + , with the property that every knowledge base expressed in OWL 2 RL + can be translated to a Datalogdoi:10.1007/978-3-642-23935-9_25 fatcat:zcmfafohr5hr5dfjbx5mkbufzi