Pages that link to "Item:Q622105"

The following pages link to Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105):

Displaying 3 items.

• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
• Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
• ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)