Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116746190> ?p ?o ?g. }
- W2116746190 endingPage "1554" @default.
- W2116746190 startingPage "1528" @default.
- W2116746190 abstract "An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language." @default.
- W2116746190 created "2016-06-24" @default.
- W2116746190 creator A5006380777 @default.
- W2116746190 creator A5006872667 @default.
- W2116746190 creator A5086341479 @default.
- W2116746190 date "2011-06-01" @default.
- W2116746190 modified "2023-10-05" @default.
- W2116746190 title "Local closed world reasoning with description logics under the well-founded semantics" @default.
- W2116746190 cites W1587067956 @default.
- W2116746190 cites W1591768831 @default.
- W2116746190 cites W1968513265 @default.
- W2116746190 cites W1969965298 @default.
- W2116746190 cites W1970000427 @default.
- W2116746190 cites W2043226796 @default.
- W2116746190 cites W2045427198 @default.
- W2116746190 cites W2046213250 @default.
- W2116746190 cites W2059360847 @default.
- W2116746190 cites W2059572645 @default.
- W2116746190 cites W2070598037 @default.
- W2116746190 cites W2092207224 @default.
- W2116746190 cites W2100983017 @default.
- W2116746190 cites W2106354297 @default.
- W2116746190 cites W2117897681 @default.
- W2116746190 cites W2159873096 @default.
- W2116746190 cites W2999843026 @default.
- W2116746190 cites W4367435839 @default.
- W2116746190 doi "https://doi.org/10.1016/j.artint.2011.01.007" @default.
- W2116746190 hasPublicationYear "2011" @default.
- W2116746190 type Work @default.
- W2116746190 sameAs 2116746190 @default.
- W2116746190 citedByCount "108" @default.
- W2116746190 countsByYear W21167461902012 @default.
- W2116746190 countsByYear W21167461902013 @default.
- W2116746190 countsByYear W21167461902014 @default.
- W2116746190 countsByYear W21167461902015 @default.
- W2116746190 countsByYear W21167461902016 @default.
- W2116746190 countsByYear W21167461902017 @default.
- W2116746190 countsByYear W21167461902018 @default.
- W2116746190 countsByYear W21167461902019 @default.
- W2116746190 countsByYear W21167461902020 @default.
- W2116746190 countsByYear W21167461902021 @default.
- W2116746190 countsByYear W21167461902022 @default.
- W2116746190 countsByYear W21167461902023 @default.
- W2116746190 crossrefType "journal-article" @default.
- W2116746190 hasAuthorship W2116746190A5006380777 @default.
- W2116746190 hasAuthorship W2116746190A5006872667 @default.
- W2116746190 hasAuthorship W2116746190A5086341479 @default.
- W2116746190 hasBestOaLocation W21167461901 @default.
- W2116746190 hasConcept C101230327 @default.
- W2116746190 hasConcept C102993220 @default.
- W2116746190 hasConcept C111472728 @default.
- W2116746190 hasConcept C138885662 @default.
- W2116746190 hasConcept C146499914 @default.
- W2116746190 hasConcept C154945302 @default.
- W2116746190 hasConcept C167729594 @default.
- W2116746190 hasConcept C184337299 @default.
- W2116746190 hasConcept C199360897 @default.
- W2116746190 hasConcept C204321447 @default.
- W2116746190 hasConcept C2129575 @default.
- W2116746190 hasConcept C2524010 @default.
- W2116746190 hasConcept C25810664 @default.
- W2116746190 hasConcept C33923547 @default.
- W2116746190 hasConcept C41008148 @default.
- W2116746190 hasConcept C61673122 @default.
- W2116746190 hasConceptScore W2116746190C101230327 @default.
- W2116746190 hasConceptScore W2116746190C102993220 @default.
- W2116746190 hasConceptScore W2116746190C111472728 @default.
- W2116746190 hasConceptScore W2116746190C138885662 @default.
- W2116746190 hasConceptScore W2116746190C146499914 @default.
- W2116746190 hasConceptScore W2116746190C154945302 @default.
- W2116746190 hasConceptScore W2116746190C167729594 @default.
- W2116746190 hasConceptScore W2116746190C184337299 @default.
- W2116746190 hasConceptScore W2116746190C199360897 @default.
- W2116746190 hasConceptScore W2116746190C204321447 @default.
- W2116746190 hasConceptScore W2116746190C2129575 @default.
- W2116746190 hasConceptScore W2116746190C2524010 @default.
- W2116746190 hasConceptScore W2116746190C25810664 @default.
- W2116746190 hasConceptScore W2116746190C33923547 @default.
- W2116746190 hasConceptScore W2116746190C41008148 @default.
- W2116746190 hasConceptScore W2116746190C61673122 @default.
- W2116746190 hasIssue "9-10" @default.
- W2116746190 hasLocation W21167461901 @default.
- W2116746190 hasOpenAccess W2116746190 @default.
- W2116746190 hasPrimaryLocation W21167461901 @default.
- W2116746190 hasRelatedWork W100862262 @default.
- W2116746190 hasRelatedWork W129914909 @default.
- W2116746190 hasRelatedWork W1543506259 @default.
- W2116746190 hasRelatedWork W1596091457 @default.
- W2116746190 hasRelatedWork W2000282981 @default.
- W2116746190 hasRelatedWork W2274674474 @default.
- W2116746190 hasRelatedWork W2747747587 @default.
- W2116746190 hasRelatedWork W2885025208 @default.
- W2116746190 hasRelatedWork W4234046996 @default.
- W2116746190 hasRelatedWork W2182888269 @default.
- W2116746190 hasVolume "175" @default.
- W2116746190 isParatext "false" @default.
- W2116746190 isRetracted "false" @default.
- W2116746190 magId "2116746190" @default.