UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description

DOI10.1007/978-3-642-31365-3_6zbMath1358.68281OpenAlexW75191613MaRDI QIDQ2908476

Franz Baader, Julián Méndez, Barbara Morawska

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_6

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Restricted unification in the DL \(\mathcal{FL}_0\) ⋮ Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification

This page was built for publication: UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description