Ontology Verification with Repositories
Grüninger Michael, Torsten Hahmann, Ali Hashemi, Darren Ong · Frontiers in artificial intelligence and applications · 2010
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.