Ontology verification with repositories

Frontiers in Artificial Intelligence and Applications

Volumn 209, Issue , 2010, Pages 317-330

  Grüninger, Michael ^a   Hahmann, Torsten ^a   Hashemi, Ali ^a   Ong, Darren ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

First order logic; Ontology evaluation; Ontology repository; Representation theorems

Indexed keywords

FORMAL LOGIC;

FIRST ORDER; FIRST ORDER LOGIC; ONTOLOGY EVALUATIONS; ONTOLOGY REPOSITORIES; ONTOLOGY'S; REPRESENTATION THEOREM;

ONTOLOGY;

EID: 77950964807     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-535-8-317     Document Type: Conference Paper

References (21)

1. Asher, N. and Vieu, L. (1995) Toward a geometry of common sense: a semantics and a complete axiomatization for mereotopology. In Proc. of the 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), pp. 846-852. Morgan Kaufmann, 1995.
2. T. S. Blyth. Lattices and Ordered Algebraic Structures. Springer London, 2005.
3. Cohn, A.G., Bennett, B., Gooday, J.M., and Gotts, N.M. (1997) RCC: a calculus for region based qualitative spatial reasoning. GeoInformatica, 1:275-316, 1997.
4. Düntsch, I., Wang, H., and McCloskey, S. (1999) Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae, 39(3):229-248, 1999. (Pubitemid 129527241)
5. Enderton, H. (1972) Mathematical Introduction to Logic,Academic Press.
6. Farmer, W. M. (2000) An Infrastructure for Intertheory Reasoning. In: CADE-17, Lecture Notes in Computer Science (LNCS), D. McAllester, ed., p. 1831:115-131.
7. Farmer, W. M., Guttman, J. D., Thayer, F. J. (1992) Little Theories. In: CADE-11, Lecture Notes in Computer Science (LNCS), D. Kapur, ed., p. 607:567-581.
8. Grau, B., Parsia, B., Sirin, E., Kalyanpur, A. Automatic Partitioning of OWL Ontologies Using EConnections, Proc. of Description Logic Workshop (DL), 2005.
9. Grau, B., Parsia, B., Sirin, E. (2009) Ontology Integration Using E-connections, pp.293-320, Modular Ontologies, Stuckenschmidt et al. (eds.). Springer-Verlag, Berlin.
10. Gruninger, M. (2009) Definability and Process Ontologies, Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto, Canada.
11. Gruninger, M. (2009) Process Ontologies, pp. 419-421, Handbook of Ontologies, 2nd Edition, S. Staab (ed.). Springer-Verlag, Berlin.
12. Gruninger, M. and Kopena, J. (2004) Semantic Integration through Invariants, AI Magazine, 26:11-20. (Pubitemid 40527384)
13. Hahmann, T., Winter, M., and Gruninger, M. (2009) Stonian p-ortholattices: A new approach to the mereotopology RT0. Artificial Intelligence, 173:1424-1440, 2009.
14. Hahmann, T., and Grüninger, M. (2010) Region-based theories of space: Mereotopology and beyond. In Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Publishing. in press.
15. Hodges, W. (1993) Model Theory. Cambridge University Press.
16. Kent, Robert E. (2000) The Information Flow Foundation for Conceptual Knowledge Organization. In: Dynamism and Stability in Knowledge Organization. Proceedings of the Sixth International ISKO Conference. Advances in Knowledge Organization 7 (2000) 111-117. Ergon Verlag, Wurzburg.
17. Marker, D. (2002) Model Theory: An Introduction. Springer Verlag.
18. Menzel, C. and Gruninger, M. (2001) A formal foundation for process modeling, Second International Conference on Formal Ontologies in Information Systems, Welty and Smith (eds), 256-269.
19. Padmanabhan, R. and Rudeanu, S. (2008) Axioms for Lattices and Boolean Algebras. World Scientific, 2008.
20. Stell, J.G. (2000) Boolean connection algebras: a new approach to the Region-Connection Calculus. Artificial Intelligence, 122:111-136, 2000.
21. Troquard, N., Trypuz, R., Vieu, L. (2006) Towards an ontology of agency and action: From STIT to ONTOSTIT+, pp. 179-192, Proceedings of the Fourth International Conference on Formal Ontology in Information Systems, B. Bennett and C. Fellbaum (eds.) Baltimore. IOS Press.