7 search results - page 1 / 2 » Debugging Incoherent Terminologies |
JAR
2007
13 years 4 months ago
2007
Abstract. In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new non-standard reasoning services to explain incoherence through pin...
DLOG
2003
13 years 6 months ago
2003
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
SAC
2010
ACM
13 years 11 months ago
2010
ACM
DLOG
2010
13 years 2 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
DLOG
2008
13 years 7 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...