Ontology Integration Using ε-Connections
From MaRDI portal
Publication:3631364
DOI10.1007/978-3-642-01907-4_14zbMATH Open1242.68311OpenAlexW186373629MaRDI QIDQ3631364FDOQ3631364
Authors: Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin 
Publication date: 9 June 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-01907-4_14
Recommendations
- Modular reuse of ontologies: theory and practice
- Category-based Equational Reasoning: An Approach to Ontology Integration
- Complexity of reasoning with expressive ontology mappings
- Towards resolution-based reasoning for connected logics
- Reasoning support for Semantic Web ontology family languages using Alloy
Cites Work
- Title not available (Why is that?)
- Practical reasoning for very expressive description logics
- Title not available (Why is that?)
- \({\mathcal E}\)-connections of abstract description systems
- A description logic with transitive and inverse roles and role hierarchies
- An overview of tableau algorithms for description logics
- Ontology Integration Using ε-Connections
- Mechanizing Mathematical Reasoning
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (13)
- Title not available (Why is that?)
- A formal method for integrating distributed ontologies and reducing the redundant relations
- Modularity in Databases
- Peer-to-peer reasoning for interlinked ontologies
- Title not available (Why is that?)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
- Ontology Integration Using ε-Connections
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- ReAD: AD-based modular ontology classification
- A framework for modular ERDF ontologies
- Category-based Equational Reasoning: An Approach to Ontology Integration
- Connecting islands: bridging zbMATH and DLMF with Scholix, a blueprint for connecting expert knowledge systems
- OIM-SM: A method for ontology integration based on semantic mapping
Uses Software
This page was built for publication: Ontology Integration Using ε-Connections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3631364)
