Common Logic and the Horatio problem

Authors:
Fabian Neuhaus;Pat Hayes
Affiliations:
(Correspd. E-mail: fneuhaus@umbc.edu) National Institute of Standards and Technology, Gaithersburg, MD, USA and University of Maryland, Baltimore County, Baltimore, MD, USA;Florida Institute For Human and Machine Cognition, Pensacola, FL, USA
Venue:
Applied Ontology - Modularity in Ontologies
Year:
2012

Citing 5
Cited 0

Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization

Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
An Overview of Modularity

Modular Ontologies
Formal Properties of Modularisation

Modular Ontologies
Criteria and Evaluation for Ontology Modularization Techniques

Modular Ontologies
Extracting Modules from Ontologies: A Logic-Based Approach

Modular Ontologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modules allow the reuse of an ontology as part of another ontology. If the ontologies do not share a common domain of discourse a simple ‘cut and paste’ approach to module reuse leads to unintended consequences, the Horatio problem. To solve this problem ISO/IEC 24707's Common Logic includes modules as a syntactic category. However, the semantics of modules is treated incongruently in ISO/IEC 24707. In this paper we propose an alternative semantics of modules, discuss their logical properties, and how they can be used in ontology development.