Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109440600> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2109440600 abstract "Logic programming has always been a major ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker or the TRIPLE query, inference, and transformation language and system. At the same time, the Web Ontology Language OWL has been recommended by the W3C for modeling ontologies for the Web. Naturally, it is desirable to investigate the interoperability between both paradigms. In this paper, we do so by studying an expressive fragment of OWL DL for which reasoning can be reduced to the evaluation of Horn logic programs. Building on the KAON2 algorithms for transforming OWL DL into disjunctive Datalog, we give a detailed account of how and to what extent OWL DL can be employed in standard logic programming systems. En route, we derive a novel, simplified characterization of the supported fragment of OWL DL" @default.
- W2109440600 created "2016-06-24" @default.
- W2109440600 creator A5006872667 @default.
- W2109440600 creator A5018023802 @default.
- W2109440600 creator A5087579719 @default.
- W2109440600 creator A5091188552 @default.
- W2109440600 date "2006-11-01" @default.
- W2109440600 modified "2023-09-23" @default.
- W2109440600 title "How to reason with OWL in a logic programming system" @default.
- W2109440600 cites W1570730897 @default.
- W2109440600 cites W1872506843 @default.
- W2109440600 cites W2043182143 @default.
- W2109440600 cites W2048845779 @default.
- W2109440600 cites W2084130127 @default.
- W2109440600 cites W2100983017 @default.
- W2109440600 cites W2102308007 @default.
- W2109440600 doi "https://doi.org/10.1109/ruleml.2006.14" @default.
- W2109440600 hasPublicationYear "2006" @default.
- W2109440600 type Work @default.
- W2109440600 sameAs 2109440600 @default.
- W2109440600 citedByCount "21" @default.
- W2109440600 countsByYear W21094406002012 @default.
- W2109440600 countsByYear W21094406002013 @default.
- W2109440600 countsByYear W21094406002014 @default.
- W2109440600 countsByYear W21094406002017 @default.
- W2109440600 crossrefType "proceedings-article" @default.
- W2109440600 hasAuthorship W2109440600A5006872667 @default.
- W2109440600 hasAuthorship W2109440600A5018023802 @default.
- W2109440600 hasAuthorship W2109440600A5087579719 @default.
- W2109440600 hasAuthorship W2109440600A5091188552 @default.
- W2109440600 hasBestOaLocation W21094406002 @default.
- W2109440600 hasConcept C128838566 @default.
- W2109440600 hasConcept C199360897 @default.
- W2109440600 hasConcept C41008148 @default.
- W2109440600 hasConceptScore W2109440600C128838566 @default.
- W2109440600 hasConceptScore W2109440600C199360897 @default.
- W2109440600 hasConceptScore W2109440600C41008148 @default.
- W2109440600 hasLocation W21094406001 @default.
- W2109440600 hasLocation W21094406002 @default.
- W2109440600 hasLocation W21094406003 @default.
- W2109440600 hasOpenAccess W2109440600 @default.
- W2109440600 hasPrimaryLocation W21094406001 @default.
- W2109440600 hasRelatedWork W1527862632 @default.
- W2109440600 hasRelatedWork W1548535723 @default.
- W2109440600 hasRelatedWork W1966767581 @default.
- W2109440600 hasRelatedWork W2109507516 @default.
- W2109440600 hasRelatedWork W2112962394 @default.
- W2109440600 hasRelatedWork W2118300983 @default.
- W2109440600 hasRelatedWork W2135396778 @default.
- W2109440600 hasRelatedWork W2740990710 @default.
- W2109440600 hasRelatedWork W3137189469 @default.
- W2109440600 hasRelatedWork W4243252198 @default.
- W2109440600 isParatext "false" @default.
- W2109440600 isRetracted "false" @default.
- W2109440600 magId "2109440600" @default.
- W2109440600 workType "article" @default.