Sökning: id:"swepub:oai:DiVA.org:liu-72697" >
On the Web Ontology...
On the Web Ontology Rule Language OWL 2 RL
-
- Cao, Son Thanh (författare)
- Vinh University, Vietnam
-
- Nguyen, Anh Linh (författare)
- Institute of Informatics, Warsaw University
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin/Heidelberg, 2011
- 2011
- Engelska.
-
Ingår i: Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications (ICCCI). - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642239342 ; , s. 254-264
- Relaterad länk:
-
http://www.mimuw.edu...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas