Name
Abstract | ||
|---|---|---|
In description logics, default knowledge is exclusively treated as incidental rules. However, as few concepts are definable using only strict knowledge, imposing strict definitions leads to terminological knowledge bases that mostly contain partially defined concepts. This is a real problem because such concepts can only be inserted as leaves of the terminology. Moreover, instance recognition is biased as these concepts must be explicitly mentioned as properties of these instances. It follows that partially defined concepts are described with necessary but not sufficient conditions. As a solution to these problems, we propose to integrate defaults in concept definitions and we argue that this is essential for our diagnosis application. We introduce a description language AL(delta epsilon) with default(delta) and exception(epsilon) connectives. The cornerstone of our approach is the introduction of a definitional point of view where a default can be part of a concept definition, whereas in the classical inheritance one it is only viewed as a weak implication. we go on to describe a map between the definition of a concept and its inherited properties, and we show that the combination of these definitional and inheritance levels considerably improves the capabilities of classification processes. In particular this allows us to distinguish sure from probable instances and typical from exceptional instances. Finally we provide a specific operation, object refinement, which consists in enlarging object descriptions with exceptions in order to find additional concepts the object is an instance of. This operation is useful for our diagnosis application. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1111/0824-7935.00040 | COMPUTATIONAL INTELLIGENCE |
Keywords | Field | DocType |
description logics, terminological logics, default and exception management, KL-ONE-like languages, subsumption | Terminology,Computer science,Description logic,Default,Natural language processing,Artificial intelligence,Cornerstone,Machine learning | Journal |
Volume | Issue | ISSN |
13 | 2 | 0824-7935 |
Citations | PageRank | References |
9 | 0.77 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Pascal Coupey | 1 | 27 | 4.15 |
| Christophe Fouqueré | 2 | 28 | 10.68 |