KSL-94-12 + redirect page
Temporal Abstraction Mechanisms as KADS Inferences + Has identifier
Temporal Abstraction Mechanisms as KADS Inferences + Ksl tr id
Temporal Abstraction Mechanisms as KADS Inferences + Number
| Temporal Abstraction Mechanisms as KADS Inferences |
Bibtype
techreport
Has publishing details
1994
Has title
Temporal Abstraction Mechanisms as KADS Inferences
Has where published
KSL-94-12
Has year
1994
Title
Temporal Abstraction Mechanisms as KADS Inferences
Year
1994
Abstract
There is a trade-off between usability and … There is a trade-off between usability and reusability of components that are used to design Knowledge Based Systems. This paper presents a case study which intends to reconcile the two extremes. We show how the task-specific mechanisms and ontology in the PROTEGE-II project can be mapped onto the general-purpose primitive inference actions and ontology of KADS. The purpose of this mapping is threefold. First, by canonically formalising PROTEGE-II temporal-abstraction mechanisms, more insight in their workings and their interrelations is gained.Second, we show the adequacy of the KADS inference scheme framework to express task-specific mechanisms. Third, we point out the relationship between the PROTEGE-II task-oriented mechanisms and the KADS primitive inference actions. and the KADS primitive inference actions.
Address
February +
Author
Manfred Aben and Yuval Shahar and Mark A. Musen +
Has author
Manfred Aben and Yuval Shahar and Mark A. Musen +
Has identifier
Temporal Abstraction Mechanisms as KADS Inferences +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Temporal Abstraction Mechanisms as KADS Inferences +
Number
Temporal Abstraction Mechanisms as KADS Inferences +
Process note
YES +
Categories KSL Technical Report +, Publication +, Technical Report +
|