Matching in Hybrid Terminologies

  • Sebastian Brandt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4790)


In the area of Description Logic (DL) based knowledge representation, hybrid terminologies have been proposed as a means to make non-standard inference services available to knowledge bases that contain general concept inclusion (GCI) axioms. Building on existing work on subsumption in hybrid terminologies, the present paper provides the first in-depth investigation of the non-standard inferences least-common subsumer, and matching in hybrid \(\mathcal{EL}\)-TBoxes; providing sound and complete algorithms for both inference services.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Sebastian Brandt
    • 1
  1. 1.School of Computer Science, ManchesterUK

Personalised recommendations