On the Web Ontology Rule Language OWL 2 RL
Cao, Son Thanh Nguyen, Anh Linh Szalas, Andrzej
2011 (English)In: Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications (ICCCI) / [ed] Piotr Jedrzejowicz, Ngoc Thanh Nguyen and Kiem Hoang, Springer Berlin/Heidelberg, 2011, 254-264Conference paper (Refereed)
It is known that the OWL 2 RL Web Ontology Language Profile has PTime data complexity and can be translated into Datalog. However, a knowledge base in OWL 2 RL may be unsatisfiable. The reason is that, when translated into Datalog, the result may consist of a Datalog program and a set of constraints in the form of negative clauses. In this paper we first identify a maximal fragment of OWL 2 RL called OWL 2 RL + with the property that every knowledge base expressed in this fragment can be translated into a Datalog program and hence is satisfiable. We then propose some extensions of OWL 2 RL and OWL 2 RL + that still have PTime data complexity.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6922
National CategoryComputer Science
IdentifiersURN: urn:nbn:se:liu:diva-72697DOI: 10.1007/978-3-642-23935-9_25ISBN: 978-3-642-23934-2OAI: oai:DiVA.org:liu-72697DiVA: diva2:461560
Computational Collective Intelligence. Technologies and Applications