DFKI Research Report-92-34
by Philipp Hanschke
Terminological Reasoning and Partial Inductive Definitions
There are two motivations for this paper:
- In terminological systems in the tradition of KL-ONE the taxonomic
and conceptual knowledge of a particular problem domain can be
represented by so called concepts. The intensional definitions of these
concepts can be analyzed and checked for plausibility using certain
reasoning services (e.g. subsumption) that make the user conscious of
some of the consequences of his definitions. A hybrid knowledge base
can then rely on these checked definitions. In this paper a
terminological formalism is embedded into the formalism of partial
inductive definitions (PID) such that a flexible environment for
experimenting with this kind of hybrid systems and the terminological
formalism itself is obtained.
- Terminological formalisms provide (terminating) decision procedures
for their reasoning services dealing with a restricted kind of
quantification. Mapping these algorithms to PID improves the
understanding of control and explicit quantification in PID
This document is available as PDF-File(16,3MB).
The next abstract is here,
and the previous abstract is here.
This page was written to look best with CSS
support Level 1 or higher. Since you can see this, your browser
obviously doesn't support CSS,
or you have turned it off. We highly recommend
you use a browser that supports and uses CSS,
and review this page once you
do. However, don't fear, we've tried to write this page to still
work and be
readable without CSS.