Ontology repositories stand to benefit through the connecting of stored ontologies via the meta-theoretic relationships they share. Creating this repository framework facilitates ontology reuse and design by allowing users to integrate different ontologies related in this manner. In this paper we construct such a repository by utilizing an automated theorem prover to identify and verify the relationships between three different ontologies of time intervals (two introduced by Hayes in his Catalog of Temporal Theories and one by van Benthem introduced in A Logic of Time). We identify the translation axioms and provide an account of the relationships found between ontologies.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 email@example.com
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 firstname.lastname@example.org