PP-2003-23: Optimal Interpolation in ALC

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

[thumbnail of Full Text]
Text (Full Text)

Download (235kB) | Preview
[thumbnail of Abstract] 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