Towards ontoclean 2.0: A framework for rigidity

Applied Ontology

Volumn 1, Issue , 2005, Pages 107-116

  Welty, Christopher ^a   Andersen, William ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b Ontology Works   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013584316     PISSN: 15705838     EISSN: 18758533     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Andersen, W., & Menzel, C. (2004). Modal rigidity in the OntoClean methodology. In Vieu & Varzi, (Eds.). Formal Ontology and Information Systems: Collected Papers from the Fifth International Conference (pp. 119-127). Amsterdam: IOS Press.
2. Artale, A., & Carsten, L. (2004). A correspondence between temporal description logics. Journal of Applied Non-Classical Logics.
3. Carrara, M., Giaretta, P., Morato, V., Soavi M., & Spolaore, G. (2004). Identity and modality in OntoClean. In Vieu & Varzi, (Eds.). Formal Ontology and Information Systems: Collected Papers from the Fifth International Conference (pp. 128-139). Amsterdam: IOS Press.
4. Fitting, M., & Mendelsohn, R. (1998). First-order modal logic. Kluwer.
5. Guarino, N., & Welty, C. (2002). Identity and subsumption. In R. Green, C. Bean & S. Myaeng (Eds.). The semantics of relationships: an interdisciplinary perspective (pp. 111-126). Kluwer.
6. Guarino, N., & Welty, C. (2000). Identity, unity, and individuality: towards a formal toolkit for ontological analysis. In W. Horn (Ed.). Proceedings of ECAI-2000: The European Conference on Artificial Intelligence (pp. 219-223). Berlin: IOS Press.
7. Kaplan, A. (2001). Towards a consistent logical framework for ontological analysis. In Welty & Smith, (Eds.). Proceedings of FOIS-2001 (pp. 244-255).
8. Kripke, S. (1982). Naming and necessity. Harvard.
9. Lowe, E.J. (2002). The possibility of metaphysics. Oxford.
10. McCarthy, J., & Hayes, P.J. (1969). Some philosophical problems from the standpoint of Artificial Intelligence. In D. Michie (Ed.). Machine Intelligence (Vol. 4). New York: Elsevier.
11. Menzel, C. (2003). In E. N. Zalta, (Ed.). Stanford encyclopedia of philosophy (Spring 2003 Edition).
12. Miller, B. (2002). Existence. In E. N. Zalta (Ed.). Stanford encyclopedia of philosophy (Summer 2002 Edition).
13. Welty, C., & Guarino, N. (2001). Support for ontological analysis of taxonomic relationships. J. Data and Knowledge Engineering, 39(1), 51-74.