Pages that link to "Item:Q622105"
From MaRDI portal
The following pages link to Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105):
Displayed 6 items.
- Modeling ontology evolution with SetPi (Q497901) (← links)
- Forgetting for knowledge bases in DL-lite (Q604910) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Decidability of Circumscribed Description Logics Revisited (Q5172610) (← links)