Towards an ontological modeling with dependent types: Application to part-whole relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5829 LNCS, Issue , 2009, Pages 145-158

  Dapoigny, Richard ^a   Barlatier, Patrick ^a  

^a UNIVERSITÉ DE SAVOIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVEL; CLASSICAL LANGUAGE; CONCEPTUAL MODELING; CONSTRUCTIVE LOGIC; DEPENDENT TYPES; FIRST ORDER LOGIC; FORMAL FOUNDATION; FORMAL FRAMEWORK; HIGHER ORDER; METAREASONING; PROGRAM CHECKING; THEOREM PROVERS; TYPE THEORY; TYPECHECKING;

COMPUTABILITY AND DECIDABILITY;

EID: 78650713218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04840-1_13     Document Type: Conference Paper

References (22)

1. Artale, A., Franconi, E., Guarino, N., Pazzi, L.: Part-whole relations in object-centered systems: An overview. Data & Knowledge Engineering 20, 347-383 (1996) (Pubitemid 126365679)
2. Baader, F., Calvanese, D., MCGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
3. Barendregt, H., Geuvers, H.: Proof-Assistants Using Dependent Type Systems. In: Handbook of Automated Reasoning, pp. 1149-1238. Elsevier and MIT Press (2001)
4. Barlatier, P., Dapoigny, R.: A Theorem Prover with Dependent Types for Reasoning about Actions. In: Frontiers in Artificial Intelligence and Applications (Procs. of STAIRS 2008), vol. 179, pp. 12-23. IOS Press, Amsterdam (2008)
5. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70-118 (2005)
6. Bittner, T., Donnelly, M.: Computational ontologies of parthood, componenthood, and containment. In: Procs. of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 382-387 (2005)
7. Bunge, M.: Ontology I: The Furniture of the World. In: Treatise on Basic Philosophy, vol. 3. D. Reidel Publishing (1977)
8. Cranefield, S., Purvis, M.: UML as an ontology modeling language. In: Procs. of the 16th Workshop on Intelligent Information Integration (1999)
9. Franconi, E., Ng, G.: The iCom Tool for Intelligent Conceptual Modeling. In: 7th Intl.Workshop on Knowledge Representation meets Databases, KRDB 2000 (2000)
10. Guizzardi, G., Herre, H., Wagner, G.: On the General Ontological Foundations of Conceptual Modeling. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 65-78. Springer, Heidelberg (2002)
11. Guizzardi, G., Wagner, G., Guarino, N., Van Sinderen, M.: An Ontologically Well- Founded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 112-126. Springer, Heidelberg (2004)
12. Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. PhD thesis, Enschede, The Netherlands (2005)
13. Keet, M.C.: Part-whole relations in Objects-Role-Models. In: OTM 2006 Workshops. LNCS, vol. 4278, pp. 1116-1127. Springer, Heidelberg (2006)
14. Keet, C.M., Artale, A.: Representing and reasoning over a taxonomy of part-whole relations. Applied Ontology 3(1-2), 91-110 (2008)
15. Luo, Z.: A Unifying Theory of Dependent Types: The Schematic Approach. In: Procs. of Logical Foundations of Computer Science, pp. 293-304 (1992)
16. Luo, Z.: Coercive subtyping. J. of Logic and Computation 9(1), 105-130 (1999)
17. Luo, Z.: Manifest fields and module mechanisms in intensional type theory. In: Berardi, S., Damiani, F., de'Liguoro, U. (eds.) TYPES 2008. LNCS, vol. 5497, pp. 237-255. Springer, Heidelberg (2009)
18. Meisel, H.: Ontology Representation and Reasoning: A Conceptual Level Approach. Phd thesis at the University of Aberdeen (2005)
19. Motik, B., Cuenca Grau, B., Sattler, U.: Structured Objects in OWL: Representation and Reasoning. In: Procs. of the Int. WWW Conference WWW 2008 (2008)
20. Rector, A.L., Bechhofer, S., Goble, C.A., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine 9(2), 139-171 (1997) (Pubitemid 27055835)
21. Schulz, S., Hahn, U.: Part-whole representation and reasoning in formal biomedical ontologies. Artificial Intelligence in Medicine 34, 179-200 (2005) (Pubitemid 40967894)
22. Simons, P.: Parts: a study in Ontology. Clarendon Press, Oxford (1987)