Pages that link to "Item:Q2908475"

The following pages link to SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies (Q2908475):

Displayed 4 items.

• Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) ‎ (← links)
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) ‎ (← links)
• Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) ‎ (← links)
• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes (Q6041308) ‎ (← links)