Verification of the OWL-time ontology

Authors:
Michael Grüninger
Affiliations:
Department of Mechanical and Industrial Engineering, University of Toronto, Toronto, Ontario, Canada
Venue:
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Year:
2011

Citing 5
Cited 3

Moments and points in an interval-based temporal logic

Computational Intelligence
An ontology of time for the semantic web

ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
Ontology Verification with Repositories

Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
Verification of Time Ontologies with Points and Intervals

TIME '11 Proceedings of the 2011 Eighteenth International Symposium on Temporal Representation and Reasoning

Modular first-order ontologies via repositories

Applied Ontology - Modularity in Ontologies
The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Towards a framework for governance architecture management in cloud environments: A semantic perspective

Future Generation Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ontology verification is concerned with the relationship between the intended structures for an ontology and the models of the axiomatization of the ontology. The verification of a particular ontology requires characterization of the models of the ontology up to isomorphism and a proof that these models are equivalent to the intended structures for the ontology. In this paper we provide the verification of the ontology of time introduced by Hobbs and Pan, which is a first-order axiomatization of OWL-Time. We identify five modules within this ontology and present a complete account of the metatheoretic relationships among the modules and between other time ontologies for points and intervals.