Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor

From MaRDI portal
Publication:2374390

DOI10.1215/00294527-3555507zbMath1358.68272OpenAlexW2477403571MaRDI QIDQ2374390

Barbara Morawska, Franz Baader, Stefan Borgwardt, Nguyen Thanh Binh

Publication date: 15 December 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1468952202




Related Items (3)



Cites Work


This page was built for publication: Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor