Ontology Integration Using ε-Connections

DOI10.1007/978-3-642-01907-4_14zbMath1242.68311OpenAlexW186373629MaRDI QIDQ3631364

Bernardo Cuenca Grau, Evren Sirin, Bijan Parsia

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)

Related Items (6)

A framework for modular ERDF ontologies ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Modularity in Databases ⋮ Ontology Integration Using ε-Connections ⋮ ReAD: AD-based modular ontology classification ⋮ Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations

Uses Software

• Racer
• KL-ONE

Cites Work

• \({\mathcal E}\)-connections of abstract description systems
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Ontology Integration Using ε-Connections
• A description logic with transitive and inverse roles and role hierarchies
• Practical reasoning for very expressive description logics
• Mechanizing Mathematical Reasoning
• An overview of tableau algorithms for description logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ontology Integration Using ε-Connections