Pages that link to "Item:Q1041590"

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

Displaying 2 items.

• Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)