Pages that link to "Item:Q3631354"

The following pages link to Formal Properties of Modularisation (Q3631354):

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)