Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490804784> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1490804784 endingPage "39" @default.
- W1490804784 startingPage "25" @default.
- W1490804784 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 an 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 a CDF ( $mathcal{ALCQ}$ ) theory." @default.
- W1490804784 created "2016-06-24" @default.
- W1490804784 creator A5006380777 @default.
- W1490804784 creator A5066015052 @default.
- W1490804784 creator A5075742171 @default.
- W1490804784 date "2010-01-01" @default.
- W1490804784 modified "2023-10-05" @default.
- W1490804784 title "Implementing Query Answering for Hybrid MKNF Knowledge Bases" @default.
- W1490804784 cites W1537832331 @default.
- W1490804784 cites W1564541199 @default.
- W1490804784 cites W1572651397 @default.
- W1490804784 cites W1600046366 @default.
- W1490804784 cites W1968513265 @default.
- W1490804784 cites W2070598037 @default.
- W1490804784 cites W2128589657 @default.
- W1490804784 doi "https://doi.org/10.1007/978-3-642-11503-5_4" @default.
- W1490804784 hasPublicationYear "2010" @default.
- W1490804784 type Work @default.
- W1490804784 sameAs 1490804784 @default.
- W1490804784 citedByCount "19" @default.
- W1490804784 countsByYear W14908047842012 @default.
- W1490804784 countsByYear W14908047842013 @default.
- W1490804784 countsByYear W14908047842015 @default.
- W1490804784 countsByYear W14908047842018 @default.
- W1490804784 countsByYear W14908047842020 @default.
- W1490804784 crossrefType "book-chapter" @default.
- W1490804784 hasAuthorship W1490804784A5006380777 @default.
- W1490804784 hasAuthorship W1490804784A5066015052 @default.
- W1490804784 hasAuthorship W1490804784A5075742171 @default.
- W1490804784 hasBestOaLocation W14908047842 @default.
- W1490804784 hasConcept C102993220 @default.
- W1490804784 hasConcept C111472728 @default.
- W1490804784 hasConcept C127001435 @default.
- W1490804784 hasConcept C134752490 @default.
- W1490804784 hasConcept C138268822 @default.
- W1490804784 hasConcept C138885662 @default.
- W1490804784 hasConcept C154945302 @default.
- W1490804784 hasConcept C156325763 @default.
- W1490804784 hasConcept C161301231 @default.
- W1490804784 hasConcept C171018156 @default.
- W1490804784 hasConcept C184337299 @default.
- W1490804784 hasConcept C194146651 @default.
- W1490804784 hasConcept C199360897 @default.
- W1490804784 hasConcept C2185349 @default.
- W1490804784 hasConcept C23123220 @default.
- W1490804784 hasConcept C2524010 @default.
- W1490804784 hasConcept C25810664 @default.
- W1490804784 hasConcept C33923547 @default.
- W1490804784 hasConcept C41008148 @default.
- W1490804784 hasConcept C55166926 @default.
- W1490804784 hasConcept C80444323 @default.
- W1490804784 hasConceptScore W1490804784C102993220 @default.
- W1490804784 hasConceptScore W1490804784C111472728 @default.
- W1490804784 hasConceptScore W1490804784C127001435 @default.
- W1490804784 hasConceptScore W1490804784C134752490 @default.
- W1490804784 hasConceptScore W1490804784C138268822 @default.
- W1490804784 hasConceptScore W1490804784C138885662 @default.
- W1490804784 hasConceptScore W1490804784C154945302 @default.
- W1490804784 hasConceptScore W1490804784C156325763 @default.
- W1490804784 hasConceptScore W1490804784C161301231 @default.
- W1490804784 hasConceptScore W1490804784C171018156 @default.
- W1490804784 hasConceptScore W1490804784C184337299 @default.
- W1490804784 hasConceptScore W1490804784C194146651 @default.
- W1490804784 hasConceptScore W1490804784C199360897 @default.
- W1490804784 hasConceptScore W1490804784C2185349 @default.
- W1490804784 hasConceptScore W1490804784C23123220 @default.
- W1490804784 hasConceptScore W1490804784C2524010 @default.
- W1490804784 hasConceptScore W1490804784C25810664 @default.
- W1490804784 hasConceptScore W1490804784C33923547 @default.
- W1490804784 hasConceptScore W1490804784C41008148 @default.
- W1490804784 hasConceptScore W1490804784C55166926 @default.
- W1490804784 hasConceptScore W1490804784C80444323 @default.
- W1490804784 hasLocation W14908047841 @default.
- W1490804784 hasLocation W14908047842 @default.
- W1490804784 hasOpenAccess W1490804784 @default.
- W1490804784 hasPrimaryLocation W14908047841 @default.
- W1490804784 hasRelatedWork W1490804784 @default.
- W1490804784 hasRelatedWork W194562767 @default.
- W1490804784 hasRelatedWork W2113913457 @default.
- W1490804784 hasRelatedWork W2131179676 @default.
- W1490804784 hasRelatedWork W2408220711 @default.
- W1490804784 hasRelatedWork W2798884761 @default.
- W1490804784 hasRelatedWork W2949461525 @default.
- W1490804784 hasRelatedWork W3100872753 @default.
- W1490804784 hasRelatedWork W32091760 @default.
- W1490804784 hasRelatedWork W4302587616 @default.
- W1490804784 isParatext "false" @default.
- W1490804784 isRetracted "false" @default.
- W1490804784 magId "1490804784" @default.
- W1490804784 workType "book-chapter" @default.