Reasoning with Inconsistent Ontologies: a general framework


EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.4.1.1 (WP3.4) This document is an informal deliverable provided to SEKT WP3 partners. In this document, a general framework for reasoning with inconsistent ontologies is proposed. An inconsistency reasoner is one which is able to return meaningful answers to queries, given an inconsistent… (More)


4 Figures and Tables

Slides referencing similar topics