Pages that link to "Item:Q1041590"

The following pages link to Deciding inseparability and conservative extensions in the description logic (Q1041590):

Displaying 18 items.

• Games for query inseparability of description logic knowledge bases (Q253977) (← links)
• Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
• Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
• Semantic forgetting in expressive description logics (Q831928) (← links)
• Similarity-based relaxed instance queries (Q901081) (← links)
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
• Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
• A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\) (Q2144172) (← links)
• Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) (← links)
• Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
• Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
• Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
• Formal Properties of Modularisation (Q3631354) (← links)
• (Q5232905) (← links)
• Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited (Q6545515) (← links)
• Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies (Q6630183) (← links)