Matching in description logics

DOI10.1093/logcom/9.3.411zbMath0940.03036OpenAlexW2132317040MaRDI QIDQ4260088

A. Borgida, Ralf Küsters, D. L. McGuinness, Franz Baader

Publication date: 7 September 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/9.3.411

zbMATH Keywords

matchingknowledge representationdescription logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)

Related Items (7)

Natural language directed inference from ontologies ⋮ Matching in Hybrid Terminologies ⋮ Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification ⋮ ``Reducing classic to practice: Knowledge representation theory meets reality ⋮ Unification of concept terms in description logics ⋮ Unification in the Description Logic $\mathcal{EL}$ ⋮ Structural subsumption and least common subsumers in a description logic with existential and number restrictions

This page was built for publication: Matching in description logics