Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045763960> ?p ?o ?g. }
- W2045763960 endingPage "334" @default.
- W2045763960 startingPage "301" @default.
- W2045763960 abstract "Description logics (DLs) are subsets of first-order logic (FOL), designed for reasoning about class-based knowledge. Their expressive power is deliberately restricted, so as to enable efficient inference. A DL reasoner or knowledge base is intended to be embedded as a special purpose component in a heterogeneous knowledge base. Therefore, the development of integration frameworks of DLs and other forms of reasoning is essentially important. In this paper, we introduce a formal scheme for the integration of information sources for which a combined declarative semantics is not available. The integration is defined by a syntactic compositional semantics, and implemented by a dialog process in which the independent reasoners make their failures public. This scheme is used to formalize the integration of a DL reasoner with an expressive rule reasoner (for which a combined declarative semantics is not known). It is implemented in the DFL system, that integrates a DL reasoner and an F-Logic rule reasoner. The integrated system gives rise to a rich dialog between its components, since the DL inferences can trigger new rule inferences, and rule inferences can trigger new DL inferences. The DFL system is the first to support a true dialog between a DL and a rule reasoners, that operate under different semantical policies, e.g., the open world assumption (OWA) for the DL reasoner, and the closed world assumption (CWA) for the rule reasoner. This architecture generalizes all existing hybrids of descriptions and rules." @default.
- W2045763960 created "2016-06-24" @default.
- W2045763960 creator A5033262931 @default.
- W2045763960 creator A5064805255 @default.
- W2045763960 date "2001-09-01" @default.
- W2045763960 modified "2023-09-27" @default.
- W2045763960 title "– a dialog based integration of concept and rule reasoners" @default.
- W2045763960 cites W10390722 @default.
- W2045763960 cites W110268192 @default.
- W2045763960 cites W11613232 @default.
- W2045763960 cites W1481915355 @default.
- W2045763960 cites W1496528554 @default.
- W2045763960 cites W1496545610 @default.
- W2045763960 cites W1498098798 @default.
- W2045763960 cites W1498153914 @default.
- W2045763960 cites W1511284474 @default.
- W2045763960 cites W1511693845 @default.
- W2045763960 cites W1512766599 @default.
- W2045763960 cites W1512863965 @default.
- W2045763960 cites W1514356467 @default.
- W2045763960 cites W1516892340 @default.
- W2045763960 cites W1522225310 @default.
- W2045763960 cites W1563695708 @default.
- W2045763960 cites W1572638782 @default.
- W2045763960 cites W1575501166 @default.
- W2045763960 cites W1577536563 @default.
- W2045763960 cites W1578780470 @default.
- W2045763960 cites W1582487692 @default.
- W2045763960 cites W1614615401 @default.
- W2045763960 cites W169453374 @default.
- W2045763960 cites W1936956611 @default.
- W2045763960 cites W1965105913 @default.
- W2045763960 cites W1970672740 @default.
- W2045763960 cites W1971582886 @default.
- W2045763960 cites W1974136241 @default.
- W2045763960 cites W1977583107 @default.
- W2045763960 cites W1984704149 @default.
- W2045763960 cites W1989040088 @default.
- W2045763960 cites W1994810381 @default.
- W2045763960 cites W200551822 @default.
- W2045763960 cites W2049906196 @default.
- W2045763960 cites W2055807110 @default.
- W2045763960 cites W2057513565 @default.
- W2045763960 cites W207478262 @default.
- W2045763960 cites W2084130127 @default.
- W2045763960 cites W2104806676 @default.
- W2045763960 cites W2108496003 @default.
- W2045763960 cites W2108911687 @default.
- W2045763960 cites W2120039700 @default.
- W2045763960 cites W2145465694 @default.
- W2045763960 cites W2147519178 @default.
- W2045763960 cites W2159436659 @default.
- W2045763960 cites W2159525276 @default.
- W2045763960 cites W2159645142 @default.
- W2045763960 cites W2162621793 @default.
- W2045763960 cites W2476859540 @default.
- W2045763960 cites W26529986 @default.
- W2045763960 cites W3023447092 @default.
- W2045763960 cites W59128197 @default.
- W2045763960 cites W111177076 @default.
- W2045763960 cites W1635994358 @default.
- W2045763960 doi "https://doi.org/10.1016/s0169-023x(01)00032-5" @default.
- W2045763960 hasPublicationYear "2001" @default.
- W2045763960 type Work @default.
- W2045763960 sameAs 2045763960 @default.
- W2045763960 citedByCount "9" @default.
- W2045763960 crossrefType "journal-article" @default.
- W2045763960 hasAuthorship W2045763960A5033262931 @default.
- W2045763960 hasAuthorship W2045763960A5064805255 @default.
- W2045763960 hasConcept C102993220 @default.
- W2045763960 hasConcept C136764020 @default.
- W2045763960 hasConcept C149271511 @default.
- W2045763960 hasConcept C154945302 @default.
- W2045763960 hasConcept C161301231 @default.
- W2045763960 hasConcept C173853756 @default.
- W2045763960 hasConcept C184337299 @default.
- W2045763960 hasConcept C199360897 @default.
- W2045763960 hasConcept C204321447 @default.
- W2045763960 hasConcept C2776214188 @default.
- W2045763960 hasConcept C41008148 @default.
- W2045763960 hasConcept C4554734 @default.
- W2045763960 hasConcept C46743427 @default.
- W2045763960 hasConcept C80444323 @default.
- W2045763960 hasConcept C9616225 @default.
- W2045763960 hasConceptScore W2045763960C102993220 @default.
- W2045763960 hasConceptScore W2045763960C136764020 @default.
- W2045763960 hasConceptScore W2045763960C149271511 @default.
- W2045763960 hasConceptScore W2045763960C154945302 @default.
- W2045763960 hasConceptScore W2045763960C161301231 @default.
- W2045763960 hasConceptScore W2045763960C173853756 @default.
- W2045763960 hasConceptScore W2045763960C184337299 @default.
- W2045763960 hasConceptScore W2045763960C199360897 @default.
- W2045763960 hasConceptScore W2045763960C204321447 @default.
- W2045763960 hasConceptScore W2045763960C2776214188 @default.
- W2045763960 hasConceptScore W2045763960C41008148 @default.
- W2045763960 hasConceptScore W2045763960C4554734 @default.
- W2045763960 hasConceptScore W2045763960C46743427 @default.
- W2045763960 hasConceptScore W2045763960C80444323 @default.