Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100872753> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3100872753 endingPage "264" @default.
- W3100872753 startingPage "239" @default.
- W3100872753 abstract "Abstract Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning, while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from ontology and inferences from rules. Nonetheless, the practical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we provide such algorithms, and describe the implementation of a query-driven system, CDF-Rules , for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by the Coherent Description Framework Type-1 ( $mathcal{ALCQ}$ ) theory." @default.
- W3100872753 created "2020-11-23" @default.
- W3100872753 creator A5006380777 @default.
- W3100872753 creator A5066015052 @default.
- W3100872753 creator A5075742171 @default.
- W3100872753 date "2013-01-18" @default.
- W3100872753 modified "2023-10-05" @default.
- W3100872753 title "A goal-directed implementation of query answering for hybrid MKNF knowledge bases" @default.
- W3100872753 cites W1513772645 @default.
- W3100872753 cites W1555563750 @default.
- W3100872753 cites W1600046366 @default.
- W3100872753 cites W1968513265 @default.
- W3100872753 cites W1988045490 @default.
- W3100872753 cites W2043226796 @default.
- W3100872753 cites W2070598037 @default.
- W3100872753 cites W2116746190 @default.
- W3100872753 cites W2126755595 @default.
- W3100872753 cites W2145465694 @default.
- W3100872753 cites W2165876990 @default.
- W3100872753 doi "https://doi.org/10.1017/s1471068412000439" @default.
- W3100872753 hasPublicationYear "2013" @default.
- W3100872753 type Work @default.
- W3100872753 sameAs 3100872753 @default.
- W3100872753 citedByCount "2" @default.
- W3100872753 countsByYear W31008727532015 @default.
- W3100872753 crossrefType "journal-article" @default.
- W3100872753 hasAuthorship W3100872753A5006380777 @default.
- W3100872753 hasAuthorship W3100872753A5066015052 @default.
- W3100872753 hasAuthorship W3100872753A5075742171 @default.
- W3100872753 hasBestOaLocation W31008727532 @default.
- W3100872753 hasConcept C102993220 @default.
- W3100872753 hasConcept C111472728 @default.
- W3100872753 hasConcept C134752490 @default.
- W3100872753 hasConcept C138268822 @default.
- W3100872753 hasConcept C138885662 @default.
- W3100872753 hasConcept C154945302 @default.
- W3100872753 hasConcept C161301231 @default.
- W3100872753 hasConcept C171018156 @default.
- W3100872753 hasConcept C17744445 @default.
- W3100872753 hasConcept C184337299 @default.
- W3100872753 hasConcept C199360897 @default.
- W3100872753 hasConcept C199539241 @default.
- W3100872753 hasConcept C2185349 @default.
- W3100872753 hasConcept C2524010 @default.
- W3100872753 hasConcept C25810664 @default.
- W3100872753 hasConcept C2776359362 @default.
- W3100872753 hasConcept C33923547 @default.
- W3100872753 hasConcept C41008148 @default.
- W3100872753 hasConcept C55166926 @default.
- W3100872753 hasConcept C80444323 @default.
- W3100872753 hasConcept C94625758 @default.
- W3100872753 hasConceptScore W3100872753C102993220 @default.
- W3100872753 hasConceptScore W3100872753C111472728 @default.
- W3100872753 hasConceptScore W3100872753C134752490 @default.
- W3100872753 hasConceptScore W3100872753C138268822 @default.
- W3100872753 hasConceptScore W3100872753C138885662 @default.
- W3100872753 hasConceptScore W3100872753C154945302 @default.
- W3100872753 hasConceptScore W3100872753C161301231 @default.
- W3100872753 hasConceptScore W3100872753C171018156 @default.
- W3100872753 hasConceptScore W3100872753C17744445 @default.
- W3100872753 hasConceptScore W3100872753C184337299 @default.
- W3100872753 hasConceptScore W3100872753C199360897 @default.
- W3100872753 hasConceptScore W3100872753C199539241 @default.
- W3100872753 hasConceptScore W3100872753C2185349 @default.
- W3100872753 hasConceptScore W3100872753C2524010 @default.
- W3100872753 hasConceptScore W3100872753C25810664 @default.
- W3100872753 hasConceptScore W3100872753C2776359362 @default.
- W3100872753 hasConceptScore W3100872753C33923547 @default.
- W3100872753 hasConceptScore W3100872753C41008148 @default.
- W3100872753 hasConceptScore W3100872753C55166926 @default.
- W3100872753 hasConceptScore W3100872753C80444323 @default.
- W3100872753 hasConceptScore W3100872753C94625758 @default.
- W3100872753 hasIssue "2" @default.
- W3100872753 hasLocation W31008727531 @default.
- W3100872753 hasLocation W31008727532 @default.
- W3100872753 hasLocation W31008727533 @default.
- W3100872753 hasOpenAccess W3100872753 @default.
- W3100872753 hasPrimaryLocation W31008727531 @default.
- W3100872753 hasRelatedWork W1490804784 @default.
- W3100872753 hasRelatedWork W1494700156 @default.
- W3100872753 hasRelatedWork W1576014289 @default.
- W3100872753 hasRelatedWork W1823181550 @default.
- W3100872753 hasRelatedWork W194562767 @default.
- W3100872753 hasRelatedWork W2403204558 @default.
- W3100872753 hasRelatedWork W29484930 @default.
- W3100872753 hasRelatedWork W3100872753 @default.
- W3100872753 hasRelatedWork W32091760 @default.
- W3100872753 hasRelatedWork W2475387247 @default.
- W3100872753 hasVolume "14" @default.
- W3100872753 isParatext "false" @default.
- W3100872753 isRetracted "false" @default.
- W3100872753 magId "3100872753" @default.
- W3100872753 workType "article" @default.