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

DOI10.1007/978-3-642-31365-3_6MaRDI QIDQ2908476zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Unification in the description logic EL
• Unification in the Description Logic $\mathcal{EL}$
• Hybrid unification in the description logic \(\mathcal{EL}\)
• Unification in the description logic \(\mathcal{EL}\) without the top concept
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
• Unification in modal and description logics
• Approximate unification in the description logic \(\mathcal {FL}_0\)
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)

Cited in

(6)

• Unification in the description logic EL
• Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
• Unification in the Description Logic $\mathcal{EL}$
• Dismatching and local disunification in \(\mathcal {EL}\)
• Unification in the description logic \(\mathcal{ELH}_{\mathcal{R}^+}\) without the top concept modulo cycle-restricted ontologies
• Restricted unification in the DL \(\mathcal{FL}_0\)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908476)