Matching in description logics

Franz Baader, Ralf Küsters, Alex Borgida, Deborah L. McGuinness

Research output: Contribution to journalArticlepeer-review

49 Scopus citations


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 a new 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.

Original languageEnglish (US)
Pages (from-to)411-447
Number of pages37
JournalJournal of Logic and Computation
Issue number3
StatePublished - Jun 1999

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Logic
  • Arts and Humanities (miscellaneous)
  • Hardware and Architecture


Dive into the research topics of 'Matching in description logics'. Together they form a unique fingerprint.

Cite this