NON-STANDARD INFERENCE FOR EXPLAINING SUBSUMPTION IN THE DESCRIPTION LOGIC EL WITH GENERAL CONCEPT INCLUSIONS AND COMPLEX ROLE INCLUSIONS By

  • Huang Changsheng
  • Published 2007

Abstract

Ontologies [11] are now ubiquitous and many of them are currently being ported into logical formalisms, most notably description logic (DL) [2]. It is inevitable that such migration might introduces inconsistencies – both in terms of logically and ontologically – which could be far from obvious. This motivates the recent research topic of explanation of… (More)

11 Figures and Tables

Topics

  • Presentations referencing similar topics