Ontology Verification with Repositories

Authors:
Michael Grüninger;Torsten Hahmann;Ali Hashemi;Darren Ong
Affiliations:
Department of Mechanical and Industrial Engineering, University of Toronto, Toronto, Ontario, Canada M5S 3G8;Department of Computer Science, University of Toronto, Toronto, Ontario, Canada M5S 3G8;Department of Mechanical and Industrial Engineering, University of Toronto, Toronto, Ontario, Canada M5S 3G8;Department of Mechanical and Industrial Engineering, University of Toronto, Toronto, Ontario, Canada M5S 3G8
Venue:
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Year:
2010

Citing 10
Cited 3

Relations algebras in qualitative spatial reasoning

Fundamenta Informaticae
Boolean connection algebras: a new approach to the Region-Connection Calculus

Artificial Intelligence
A formal foundation for process modeling

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

Geoinformatica
Little Theories

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
An Infrastructure for Intertheory Reasoning

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Semantic integration through invariants

AI Magazine - Special issue on semantic integration
Towards an ontology of agency and action From STIT to OntoSTIT+

Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Stonian p-ortholattices: A new approach to the mereotopology RT0

Artificial Intelligence
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

Verification of the OWL-time ontology

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Modular first-order ontologies via repositories

Applied Ontology - Modularity in Ontologies
Towards a framework for governance architecture management in cloud environments: A semantic perspective

Future Generation Computer Systems

Quantified Score

Hi-index	0.00

Visualization

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.