The web ontology rule language OWL 2 RL+ and its extensions
2014 (English)In: Transactions on Computational Collective Intelligence XIII / [ed] Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen, Springer Verlag (Germany) , 2014, Vol. 8342, 152-175 p.Conference paper (Refereed)
It is known that the OWL 2RL 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 2RL may be unsatisfiable. In the current paper we first identify a maximal fragment of OWL 2RL, called OWL 2RL+, with the property that every knowledge base expressed in OWL2RL+ can be translated to a Datalog program and hence is satisfiable. We then propose some extensions of OWL 2RL and OWL 2RL + that still have PTime data complexity. © 2014 Springer-Verlag Berlin Heidelberg.
Place, publisher, year, edition, pages
Springer Verlag (Germany) , 2014. Vol. 8342, 152-175 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 8342
Computer and Information Science
IdentifiersURN: urn:nbn:se:liu:diva-116797DOI: 10.1007/978-3-642-54455-2_7ScopusID: 2-s2.0-84904756796ISBN: 978-3-642-54454-5OAI: oai:DiVA.org:liu-116797DiVA: diva2:801603
Workshop on Optimization and Machine Learning (OPML 2011)