DFKI Research Report-92-34



Language: English

by Philipp Hanschke

Terminological Reasoning and Partial Inductive Definitions

23 Pages


There are two motivations for this paper:

  1. 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.
  2. 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.

DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet 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.