Sciweavers

13 search results - page 1 / 3
» Similarity-Based Inconsistency-Tolerant Logics
Sort
View
JELIA
2010
Springer
13 years 3 months ago
Similarity-Based Inconsistency-Tolerant Logics
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
Ofer Arieli, Anna Zamansky
CBMS
2007
IEEE
13 years 11 months ago
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues
A major challenge for ontology integration is to deal with inconsistencies. Existing merging tools are based on classical logic and are forced to avoid inconsistencies (to prevent...
Fahim T. Imam, Wendy MacCaull, Margaret Ann Kenned...
DBPL
2005
Springer
143views Database» more  DBPL 2005»
13 years 10 months ago
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...
SARA
2009
Springer
13 years 11 months ago
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genese...
RR
2010
Springer
13 years 3 months ago
Inconsistency-Tolerant Semantics for Description Logics
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...