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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Allen, J., Hayes, P.: Moments and points in an interval-based temporal logic. Computational Intelligence 5, 225–238 (1989)
van Benthem, J.F.A.K.: The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, 2nd edn. Springer, Heidelberg (1991)
Buekenhout, F.: Handbook of Incidence Geometry. Elsevier (1995)
Droste, M., Holland, W., MacPherson, H.: Automorphism groups of infinite semilinear orders. Proceedings of the London Mathematical Society 58, 454–478 (1989)
Enderton, H.: Mathematical Introduction to Logic. Academic Press (1972)
Gruninger, M., Hashemi, A., Ong, D.: Ontology Verification with Repositories. In: Formal Ontologies and Information Systems 2010, Toronto, Canada (2010)
Gruninger, M., Ong, D.: Verification of Time Ontologies with Points and Intervals. In: 18th International Symposium on Temporal Representation and Reasoning (2011)
Gruninger, M.: Ontologies for Dates and Duration. In: Twelfth International Conference on Principles of Knowledge Representation and Reasoning (2010)
Hayes, P.: A Catalog of Temporal Theories, Tech. Report UIUC-BI-AI-96-01, University of Illinois (1996)
Hobbs, J., Pan, F.: An Ontology of Time for the Semantic Web. ACM Transactions on Asian Language Information Processing 3, 66–85 (2004)
McCune, W.: Prover9 and Mace4 (2005-2010), http://www.cs.unm.edu/~mccune/Prover9
Pan, F., Hobbs, J.: Time in OWL-S. In: Proceedings of AAAI Spring Symposium on Semantic Web Services. Stanford University (2004)
Vila, L.: Formal Theories of Time and Temporal Incidence. In: Fisher, Gabbay, Vila, (eds.) Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grüninger, M. (2011). Verification of the OWL-Time Ontology. In: Aroyo, L., et al. The Semantic Web – ISWC 2011. ISWC 2011. Lecture Notes in Computer Science, vol 7031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25073-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-25073-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25072-9
Online ISBN: 978-3-642-25073-6
eBook Packages: Computer ScienceComputer Science (R0)