PP-2003-23: Optimal Interpolation in ALC

PP-2003-23: Schlobach, Stefan (2003) Optimal Interpolation in ALC. [Report]

Text (Full Text)

Download (235kB) | Preview
[img] Text (Abstract)

Download (671B)


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 View Item