Pages that link to "Item:Q3631354"
From MaRDI portal
The following pages link to Formal Properties of Modularisation (Q3631354):
Displaying 11 items.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- On the Modularization Theorem for logical specifications (Q674000) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← links)
- Distributed first order logic (Q1686336) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Modular invariants for layered object structures (Q2507783) (← 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)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
