]> 2012-02-10T19:17:13-05:00 Matching in description logics Matching concepts against patterns (concepts with variables) is a relatively new operation that has been introduced in the context of concept description languages (description logics). The original goal was to help filter out unimportant aspects of complicated concepts appearing in large industrial knowledge bases. We propose anew approach to performing matching, based on a 'concept-centred' normal form, rather than the more standard 'structural subsumption' normal form for concepts. As a result, matching can be performed (in polynomial time) using arbitrary concept patterns of the description language ALN, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional 'side conditions', which were motivated by practical needs. article KSL-99-13 3 411-447 Matching in Description Logics KSL-99-13 1999 Year 9 Volume Tr id Title Computer science Description logic Tag Paper url Pages Number June Month Key Journal of Logic and Computation -- Special Issue on Description Logics Journal Bibtype Deborah L. McGuinness Alex Borgida Ralf Küsters Franz Baader Author Abstract KSL Technical Report Publication Journal Paper