Ontology Integration Using ε-Connections

DOI10.1007/978-3-642-01907-4_14MaRDI QIDQ3631364zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

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

• \({\mathcal E}\)-connections of abstract description systems
• A description logic with transitive and inverse roles and role hierarchies
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• An overview of tableau algorithms for description logics
• scientific article; zbMATH DE number 5674817 (Why is no real title available?)
• scientific article; zbMATH DE number 1948224 (Why is no real title available?)
• scientific article; zbMATH DE number 1753135 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• Mechanizing Mathematical Reasoning
• Ontology Integration Using ε-Connections
• Practical reasoning for very expressive description logics

Cited in

(13)

• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• ReAD: AD-based modular ontology classification
• Connecting islands: bridging zbMATH and DLMF with Scholix, a blueprint for connecting expert knowledge systems
• Category-based Equational Reasoning: An Approach to Ontology Integration
• A formal method for integrating distributed ontologies and reducing the redundant relations
• Peer-to-peer reasoning for interlinked ontologies
• A framework for modular ERDF ontologies
• Modularity in Databases
• Ontology Integration Using ε-Connections
• Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
• scientific article; zbMATH DE number 5622672 (Why is no real title available?)
• scientific article; zbMATH DE number 1948205 (Why is no real title available?)
• OIM-SM: A method for ontology integration based on semantic mapping

Describes a project that uses

Uses Software

• Racer
• KL-ONE

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)