Matching in description logics: Preliminary results

Franz Baader, Alex Borgida, Deborah L. McGuinness

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics), originally to help filter out unimportant aspects of large concepts appearing in industrial-strength knowledge bases. This paper proposes a new approach to performing matching, based on a “concept-centered” 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 FC-,, thus removing restrictions from previous work. The paper also addresses the question of matching problems with additional “side conditions”, which were motivated by practical experience.

Original languageEnglish (US)
Title of host publicationConceptual Structures
Subtitle of host publicationTheory, Tools and Applications - 6th International Conference on Conceptual Structures, ICCS 1998, Proceedings
EditorsMarie-Laure Mugnier, Michel Chein
PublisherSpringer Verlag
Number of pages20
ISBN (Print)3540647910, 9783540647911
StatePublished - 1998
Event6th International Conference on Conceptual Structures, ICCS 1998 - Montpellier, France
Duration: Aug 10 1998Aug 12 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other6th International Conference on Conceptual Structures, ICCS 1998

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


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

Cite this