liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingå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-175Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer Verlag (Germany) , 2014. Vol. 8342, s. 152-175
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 8342
Nationell ämneskategori
Data- och informationsvetenskap
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
Konferens
Workshop on Optimization and Machine Learning (OPML 2011)
Tillgänglig från: 2015-04-09 Skapad: 2015-04-02 Senast uppdaterad: 2019-07-03

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Szalas, Andrzej

Sök vidare i DiVA

Av författaren/redaktören
Szalas, Andrzej
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska högskolan
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 156 träffar
RefereraExporteraLänk till posten
Permanent länk

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