Ontology Verification with Repositories

Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of representation theorems and classification theorems to characterize the models of an ontology, and then show how such results can be obtained from notions such as relative interpretation. Keywords. ontology repository, ontology evaluation, first-order logic, representation theorems

• Type: Conference
• Year: 2010
• Where: FOIS
• Authors: Michael Grüninger, Torsten Hahmann, Ali Hashemi, Darren Ong
• Keywords: FOIS 2010, Information Technology, Ontology, Ontology Verification, Representation Theorems