67 search results - page 1 / 14 » Inconsistency-Tolerant Reasoning with Classical Logic and La... |
SARA
2009
Springer
13 years 11 months ago
2009
Springer
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...
CBMS
2007
IEEE
13 years 11 months ago
2007
IEEE
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...
DBPL
2005
Springer
13 years 10 months ago
2005
Springer
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...
EDBT
1998
ACM
13 years 9 months ago
1998
ACM
Abstract. HySpirit is a retrieval engine for hypermedia retrieval integrating concepts from information retrieval (IR) and deductive databases. The logical view on IR models retrie...
ECOI
2007
13 years 4 months ago
2007
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...