Sciweavers

88
Voted
JAR
2007
97views more  JAR 2007»
15 years 19 hour ago
Debugging Incoherent Terminologies
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...
Stefan Schlobach, Zhisheng Huang, Ronald Cornet, F...