Verification of the OWL-Time Ontology

  • Michael Grüninger
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7031)


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.


Representation Theorem Incidence Structure Reducibility Theorem Intended Model Common Extension 
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.


  1. 1.
    Allen, J., Hayes, P.: Moments and points in an interval-based temporal logic. Computational Intelligence 5, 225–238 (1989)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefzbMATHGoogle Scholar
  3. 3.
    Buekenhout, F.: Handbook of Incidence Geometry. Elsevier (1995)Google Scholar
  4. 4.
    Droste, M., Holland, W., MacPherson, H.: Automorphism groups of infinite semilinear orders. Proceedings of the London Mathematical Society 58, 454–478 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Enderton, H.: Mathematical Introduction to Logic. Academic Press (1972)Google Scholar
  6. 6.
    Gruninger, M., Hashemi, A., Ong, D.: Ontology Verification with Repositories. In: Formal Ontologies and Information Systems 2010, Toronto, Canada (2010)Google Scholar
  7. 7.
    Gruninger, M., Ong, D.: Verification of Time Ontologies with Points and Intervals. In: 18th International Symposium on Temporal Representation and Reasoning (2011)Google Scholar
  8. 8.
    Gruninger, M.: Ontologies for Dates and Duration. In: Twelfth International Conference on Principles of Knowledge Representation and Reasoning (2010)Google Scholar
  9. 9.
    Hayes, P.: A Catalog of Temporal Theories, Tech. Report UIUC-BI-AI-96-01, University of Illinois (1996)Google Scholar
  10. 10.
    Hobbs, J., Pan, F.: An Ontology of Time for the Semantic Web. ACM Transactions on Asian Language Information Processing 3, 66–85 (2004)CrossRefGoogle Scholar
  11. 11.
    McCune, W.: Prover9 and Mace4 (2005-2010),
  12. 12.
    Pan, F., Hobbs, J.: Time in OWL-S. In: Proceedings of AAAI Spring Symposium on Semantic Web Services. Stanford University (2004)Google Scholar
  13. 13.
    Vila, L.: Formal Theories of Time and Temporal Incidence. In: Fisher, Gabbay, Vila, (eds.) Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Michael Grüninger
    • 1
  1. 1.Department of Mechanical and Industrial EngineeringUniversity of TorontoTorontoCanada

Personalised recommendations