liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
On the Web Ontology Rule Language OWL 2 RL
Vinh University, Vietnam.
Institute of Informatics, Warsaw University.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
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-264 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2011. 254-264 p.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6922
National Category
Computer Science
URN: urn:nbn:se:liu:diva-72697DOI: 10.1007/978-3-642-23935-9_25ISBN: 978-3-642-23934-2 (print)OAI: diva2:461560
Computational Collective Intelligence. Technologies and Applications
Available from: 2011-12-05 Created: 2011-12-05 Last updated: 2012-01-24

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 205 hits
ReferencesLink to record
Permanent link

Direct link