Unification of Concept Terms in Description Logics: Revised Version
From International Center for Computational Logic
Unification of Concept Terms in Description Logics: Revised Version
Franz BaaderFranz Baader, P. NarendranP. Narendran
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics: Revised Version
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-07, 1998. LTCS-Report
Unification of Concept Terms in Description Logics: Revised Version
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-07, 1998. LTCS-Report
- KurzfassungAbstract
Unification of concept terms is a new kind of inference problem for Description Logics, which extends the equivalence problem by allowing to substitute certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and present first decidability and complexity results for a small concept description language. This is a revised version of LTCS-Report 97-02: it provides a stronger complexity result in Section 6. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ Baader-Narendran-LTCS-98,
author = {F. {Baader} and P. {Narendran}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
number = {LTCS-98-07},
title = {Unification of Concept Terms in Description Logics: Revised Version},
type = {LTCS-Report},
year = {1998},
}
