Temporal Abstraction Mechanisms as KADS Inferences

Citation: Manfred Aben and Yuval Shahar and Mark A. Musen. (1994) Temporal Abstraction Mechanisms as KADS Inferences. In KSL-94-12, 1994.

Publication techreport ( Edit )
type	Technical Report
bibtype	techreport
Bibtex basics
author	Manfred Aben and Yuval Shahar and Mark A. Musen
title	Temporal Abstraction Mechanisms as KADS Inferences
number	KSL-94-12
institution	Knowledge Systems, AI Laboratory
address	February
year	1994
Bibtex more
Access Paper
abstract	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.

KSL Technical Report ID: KSL-94-12

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 +
Bibtype	techreport +
Has author	Manfred Aben and Yuval Shahar and Mark A. Musen +
Has identifier	KSL-94-12 +
Has publishing details	1994 +
Has title	Temporal Abstraction Mechanisms as KADS Inferences +
Has where published	KSL-94-12 +
Has year	1994 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-94-12 +
Number	KSL-94-12 +
Process note	YES +
Title	Temporal Abstraction Mechanisms as KADS Inferences +
Year	1994 +