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

DOI10.1007/978-3-642-31365-3_5MaRDI QIDQ2908475zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
• Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
• 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
• 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)