liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
The web ontology rule language OWL 2 RL+ and its extensions
Faculty of Information Technology, Vinh University, 182 Le Duan street, Vinh Nghe An, Viet Nam; Institute of Informatics, University of of Warsaw, Banacha 2, 02-097 Warsaw, Poland.
Institute of Informatics, University of of Warsaw, Banacha 2, 02-097 Warsaw, Poland; Faculty of Information Technology, VNU University of of Engineering and Technology, 144 Xuan Thuy, Hanoi, Viet Nam.
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska högskolan. Institute of Informatics, University of of Warsaw, Banacha 2, 02-097 Warsaw, Poland.
2014 (engelsk)Inngår i: Transactions on Computational Collective Intelligence XIII / [ed] Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen, Springer Verlag (Germany) , 2014, Vol. 8342, s. 152-175Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Springer Verlag (Germany) , 2014. Vol. 8342, s. 152-175
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 8342
HSV kategori
Identifikatorer
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 (tryckt)OAI: oai:DiVA.org:liu-116797DiVA, id: diva2:801603
Konferanse
Workshop on Optimization and Machine Learning (OPML 2011)
Tilgjengelig fra: 2015-04-09 Laget: 2015-04-02 Sist oppdatert: 2019-07-03

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Szalas, Andrzej

Søk i DiVA

Av forfatter/redaktør
Szalas, Andrzej
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 152 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf