SAT encoding of unification in ELH_R^+ w.r.t. cycle-restricted ontologies

DOI10.1007/978-3-642-31365-3_5zbMATH Open1358.68280OpenAlexW2142835256MaRDI QIDQ2908475FDOQ2908475

Authors: Franz Baader, Stefan Borgwardt, 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_5

Recommendations

• SAT Encoding of Unification in $\mathcal{EL}$
• Hybrid unification in the description logic \(\mathcal{EL}\)
• Unification in the description logic EL
• Unification in the Description Logic $\mathcal{EL}$
• Unification in the description logic \(\mathcal{EL}\) without the top concept

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cited In (8)

• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
• Unification in the description logic \(\mathcal{EL}\) without the top concept
• Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
• Hybrid unification in the description logic \(\mathcal{EL}\)
• Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)
• SAT Encoding of Unification in $\mathcal{EL}$
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited

This page was built for publication: SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies

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