Explanation of terminological reasoning a preliminary report

Stefan Schlobach; Ronald Cornet

Explanation of terminological reasoning a preliminary report

Research output: Contribution to conference › Paper › Academic

3 Citations (Scopus)

Abstract

This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The new services originate in the development of the DICE¹ terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction of a corresponding DL TBox. We discuss a number of alternative methods to explain incoherence of TBoxes, unsatisfiability of concepts and concept subsumption.

Original language	English
Publication status	Published - 2003
Event	2003 International Workshop on Description Logics, DL 2003 - Rome, Italy Duration: 5 Sept 2003 → 7 Sept 2003

Conference

Conference	2003 International Workshop on Description Logics, DL 2003
Country/Territory	Italy
City	Rome
Period	5/09/2003 → 7/09/2003

Cite this

@conference{0e04d0acf440443d8c771e6ea4c65cba,

title = "Explanation of terminological reasoning a preliminary report",

abstract = "This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The new services originate in the development of the DICE1 terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction of a corresponding DL TBox. We discuss a number of alternative methods to explain incoherence of TBoxes, unsatisfiability of concepts and concept subsumption.",

author = "Stefan Schlobach and Ronald Cornet",

year = "2003",

language = "English",

note = "2003 International Workshop on Description Logics, DL 2003 ; Conference date: 05-09-2003 Through 07-09-2003",

}

TY - CONF

T1 - Explanation of terminological reasoning a preliminary report

AU - Schlobach, Stefan

AU - Cornet, Ronald

PY - 2003

Y1 - 2003

N2 - This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The new services originate in the development of the DICE1 terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction of a corresponding DL TBox. We discuss a number of alternative methods to explain incoherence of TBoxes, unsatisfiability of concepts and concept subsumption.

AB - This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The new services originate in the development of the DICE1 terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction of a corresponding DL TBox. We discuss a number of alternative methods to explain incoherence of TBoxes, unsatisfiability of concepts and concept subsumption.

UR - http://www.scopus.com/inward/record.url?scp=85043255843&partnerID=8YFLogxK

M3 - Paper

T2 - 2003 International Workshop on Description Logics, DL 2003

Y2 - 5 September 2003 through 7 September 2003

ER -

Explanation of terminological reasoning a preliminary report

Abstract

Conference

Other files and links

Cite this