Logic for Programming, Artificial Intelligence, and Reasoning

Volume 4790 of the series Lecture Notes in Computer Science pp 166-180

Matching in Hybrid Terminologies

  • Sebastian BrandtAffiliated withSchool of Computer Science, Manchester

* Final gross prices may vary according to local VAT.

Get Access


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.