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, p. 152-175Conference paper, Published paper (Refereed)
Abstract [en]
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, p. 152-175
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 8342
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:liu:diva-116797DOI: 10.1007/978-3-642-54455-2_7ISI: 000345007300007Scopus ID: 2-s2.0-84904756796ISBN: 978-3-642-54454-5 (print)OAI: oai:DiVA.org:liu-116797DiVA, id: diva2:801603
Conference
Workshop on Optimization and Machine Learning (OPML 2011)
2015-04-092015-04-022019-07-03