Pages that link to "Item:Q814594"
From MaRDI portal
The following pages link to \({\mathcal E}\)-connections of abstract description systems (Q814594):
Displaying 12 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- A framework for modular ERDF ontologies (Q360258) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- Distributed first order logic (Q1686336) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Linking Open-World Knowledge Bases Using Nonmonotonic Rules (Q3449214) (← links)
- Mapping Properties of Heterogeneous Ontologies (Q3534659) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- On Importing Knowledge from Ontologies. (Q3631355) (← links)
- Formal and Conceptual Comparison of Ontology Mapping Languages (Q3631362) (← links)
- Ontology Integration Using ε-Connections (Q3631364) (← links)