On the Web Ontology Rule Language OWL 2 RL

Abstract

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… (More)
DOI: 10.1007/978-3-642-23935-9_25
View Slides

Topics

2 Figures and Tables

Slides referencing similar topics