Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed

From Tetherless World Wiki

Jump to: navigation, search

Citation: Alexander Borgida. (1992) Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed. In KSL-92-49, 1992.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Alexander Borgida
title Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed
number KSL-92-49
institution Knowledge Systems, AI Laboratory
year 1992
Bibtex more
Access Paper
abstract Description Logics (DLs) form the basis of several knowledge base management systems developed in recent years, and are beginning to see practical use. The need to extend the expressive power of DLs and customize the inferences drawn by them is motivated, among others, by (i) the desire to facilitate the implementation of domain-specific extensions, such as ones dealing with time or plans; (ii) the goal of offering a new approach to the problem caused by the expressiveness vs. computational cost stand-off: start with a limited language and extend it when its boundaries impinge, but to do so in a possibly application-dependent way, so the incompleteness is comprehensible and tailored to the specific circumstances.We claim that two recently developed tools - natural semantics and the ProtoDL customizable KMBS - can be used in a straightforward and systematic manner to specify and implement extensions of a base DL, while obtaining efficient implementations. We support this claim by reconstructing, and in fact improving, the CLASP description logic, dealing with actions and plans, proposed by Devanbu and Litman.

KSL Technical Report ID: KSL-92-49
Facts about Towards the Systematic Development of Terminological Reasoners: CLASP reconstructedRDF feed
Abstract Description Logics (DLs) form the basis of … Description Logics (DLs) form the basis of several knowledge base management systems developed in recent years, and are beginning to see practical use. The need to extend the expressive power of DLs and customize the inferences drawn by them is motivated, among others, by (i) the desire to facilitate the implementation of domain-specific extensions, such as ones dealing with time or plans; (ii) the goal of offering a new approach to the problem caused by the expressiveness vs. computational cost stand-off: start with a limited language and extend it when its boundaries impinge, but to do so in a possibly application-dependent way, so the incompleteness is comprehensible and tailored to the specific circumstances.We claim that two recently developed tools - natural semantics and the ProtoDL customizable KMBS - can be used in a straightforward and systematic manner to specify and implement extensions of a base DL, while obtaining efficient implementations. We support this claim by reconstructing, and in fact improving, the CLASP description logic, dealing with actions and plans, proposed by Devanbu and Litman. and plans, proposed by Devanbu and Litman.
Author Alexander Borgida  +
Bibtype techreport  +
Has author Alexander Borgida  +
Has identifier KSL-92-49  +
Has publishing details 1992  +
Has title Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed  +
Has where published KSL-92-49  +
Has year 1992  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-92-49  +
Number KSL-92-49  +
Process note YES  +
Title Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed  +
Year 1992  +
Retrieved from "http://tw.rpi.edu/wiki/Towards_the_Systematic_Development_of_Terminological_Reasoners:_CLASP_reconstructed"
Personal tools