PP-2003-23: Schlobach, Stefan (2003) Optimal Interpolation in ALC. [Report]
Preview |
Text (Full Text)
PP-2003-23.text.pdf Download (235kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2003-23.abstract.txt Download (671B) |
Abstract
We describe ongoing research to support the construction of
terminologies with Description Logics. Both in explanation of
subsumption and in learning of terminologies we search for particular
concepts because of their syntactic and semantic properties. More
precisely, the set of explanations for a subsumption is the set of
optimal interpolants for the two concepts, and similarly for the
learning application. We provide definitions for optimal interpolation
and an algorithm based on Boolean minimisation of concept-names in a
tableau proof for ALC satisfiability.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2003-23 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2003 |
| Uncontrolled Keywords: | Description Logics, Interpolation |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/107 |
Actions (login required)
 |
View Item |
