Constructing an Ontology Repository: A Case Study with Theories of Time Intervals

摘要

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.