Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034055324> ?p ?o ?g. }
- W2034055324 endingPage "88" @default.
- W2034055324 startingPage "45" @default.
- W2034055324 abstract "Integrating knowledge from multiple sources is an important aspect of automated reasoning systems. In the first part of this series of papers, we presented a uniform declarative framework, based on annotated logics , for amalgamating multiple knowledge bases when these knowledge bases (possibly) contain inconsistencies, uncertainties, and nonmonotonic modes of negation. We showed that annotated logics may be used, with some modifications, to mediate between different knowledge bases. The multiple knowledge bases are amalgamated by embedding the individual knowledge bases into a lattice. In this paper, we briefly describe an SLD-resolution-based proof procedure that is sound and complete w.r.t. our declarative semantics. We will then develop an OLDT-resolution-based query processing procedure, MULTI_OLDT, that satisfies two important properties: (1) efficient reuse of previous computations is achieved by maintaining a table—we describe the structure of this table, and show that table operations can be efficiently executed, and (2) approximate, interruptable query answering is achieved, i.e., it is possible to obtain an “intermediate, approximate” answer from the QPP by interrupting it at any point in time during its execution. The design of the MULTI_OLDT procedure will include the development of run-time algorithms to incrementally and efficiently update the table." @default.
- W2034055324 created "2016-06-24" @default.
- W2034055324 creator A5033986205 @default.
- W2034055324 creator A5038645035 @default.
- W2034055324 date "1996-07-01" @default.
- W2034055324 modified "2023-09-28" @default.
- W2034055324 title "Amalgamating knowledge bases, III: Algorithms, data structures and query processing" @default.
- W2034055324 cites W100489838 @default.
- W2034055324 cites W1487409515 @default.
- W2034055324 cites W1506952729 @default.
- W2034055324 cites W1522225310 @default.
- W2034055324 cites W1528738961 @default.
- W2034055324 cites W1541434994 @default.
- W2034055324 cites W1552074874 @default.
- W2034055324 cites W1569949931 @default.
- W2034055324 cites W1570025952 @default.
- W2034055324 cites W1577536563 @default.
- W2034055324 cites W177476951 @default.
- W2034055324 cites W195085891 @default.
- W2034055324 cites W1980589711 @default.
- W2034055324 cites W1984704149 @default.
- W2034055324 cites W1997189447 @default.
- W2034055324 cites W1998093438 @default.
- W2034055324 cites W2012662948 @default.
- W2034055324 cites W2043922224 @default.
- W2034055324 cites W2070553391 @default.
- W2034055324 cites W2072230809 @default.
- W2034055324 cites W2075610180 @default.
- W2034055324 cites W2103500248 @default.
- W2034055324 cites W2113722134 @default.
- W2034055324 cites W2116204363 @default.
- W2034055324 cites W2116845563 @default.
- W2034055324 cites W2124299249 @default.
- W2034055324 cites W2125227294 @default.
- W2034055324 cites W2127883843 @default.
- W2034055324 cites W2132745831 @default.
- W2034055324 cites W2132886521 @default.
- W2034055324 cites W2152475379 @default.
- W2034055324 cites W2612793397 @default.
- W2034055324 cites W2977904728 @default.
- W2034055324 cites W2989713547 @default.
- W2034055324 cites W88836778 @default.
- W2034055324 cites W95128773 @default.
- W2034055324 cites W98332576 @default.
- W2034055324 cites W9968175 @default.
- W2034055324 doi "https://doi.org/10.1016/0743-1066(95)00148-4" @default.
- W2034055324 hasPublicationYear "1996" @default.
- W2034055324 type Work @default.
- W2034055324 sameAs 2034055324 @default.
- W2034055324 citedByCount "15" @default.
- W2034055324 crossrefType "journal-article" @default.
- W2034055324 hasAuthorship W2034055324A5033986205 @default.
- W2034055324 hasAuthorship W2034055324A5038645035 @default.
- W2034055324 hasBestOaLocation W20340553241 @default.
- W2034055324 hasConcept C11413529 @default.
- W2034055324 hasConcept C124101348 @default.
- W2034055324 hasConcept C154945302 @default.
- W2034055324 hasConcept C18903297 @default.
- W2034055324 hasConcept C199360897 @default.
- W2034055324 hasConcept C206588197 @default.
- W2034055324 hasConcept C2185349 @default.
- W2034055324 hasConcept C41008148 @default.
- W2034055324 hasConcept C41608201 @default.
- W2034055324 hasConcept C45235069 @default.
- W2034055324 hasConcept C45374587 @default.
- W2034055324 hasConcept C80444323 @default.
- W2034055324 hasConcept C86803240 @default.
- W2034055324 hasConceptScore W2034055324C11413529 @default.
- W2034055324 hasConceptScore W2034055324C124101348 @default.
- W2034055324 hasConceptScore W2034055324C154945302 @default.
- W2034055324 hasConceptScore W2034055324C18903297 @default.
- W2034055324 hasConceptScore W2034055324C199360897 @default.
- W2034055324 hasConceptScore W2034055324C206588197 @default.
- W2034055324 hasConceptScore W2034055324C2185349 @default.
- W2034055324 hasConceptScore W2034055324C41008148 @default.
- W2034055324 hasConceptScore W2034055324C41608201 @default.
- W2034055324 hasConceptScore W2034055324C45235069 @default.
- W2034055324 hasConceptScore W2034055324C45374587 @default.
- W2034055324 hasConceptScore W2034055324C80444323 @default.
- W2034055324 hasConceptScore W2034055324C86803240 @default.
- W2034055324 hasIssue "1" @default.
- W2034055324 hasLocation W20340553241 @default.
- W2034055324 hasLocation W20340553242 @default.
- W2034055324 hasOpenAccess W2034055324 @default.
- W2034055324 hasPrimaryLocation W20340553241 @default.
- W2034055324 hasRelatedWork W1652311832 @default.
- W2034055324 hasRelatedWork W171887329 @default.
- W2034055324 hasRelatedWork W2001745300 @default.
- W2034055324 hasRelatedWork W2061746685 @default.
- W2034055324 hasRelatedWork W2106047869 @default.
- W2034055324 hasRelatedWork W2109507516 @default.
- W2034055324 hasRelatedWork W2135396778 @default.
- W2034055324 hasRelatedWork W2166247150 @default.
- W2034055324 hasRelatedWork W2462453872 @default.
- W2034055324 hasRelatedWork W4243252198 @default.
- W2034055324 hasVolume "28" @default.
- W2034055324 isParatext "false" @default.
- W2034055324 isRetracted "false" @default.