A formal ontology of properties

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

Volumn 1937, Issue , 2000, Pages 97-112

  Guarino, Nicola ^a   Welty, Christopher ^b  

^a Istituto di Ingeneria Biomedica del CNR   (Italy)

^b VASSAR COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE ENGINEERING; KNOWLEDGE MANAGEMENT; PHILOSOPHICAL ASPECTS;

FORMAL ONTOLOGY; META-PROPERTIES; SUBSUMPTION RELATION; TAXONOMIC STRUCTURE;

ONTOLOGY;

EID: 84958750045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-39967-4_8     Document Type: Conference Paper

References (19)

1. Benjamin, P. C., Menzel, C. P., Mayer, R. J., Fillion, F., Futrell, M. T., deWitte, P. S., and Lingineni, M. 1994. IDEF5 Method Report. Knowledge Based Systems, Inc., September 21, 1994.
2. Guarino, N. 1992. Concepts, Attributes and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases. Data & Knowledge Engineering, 8(2): 249-261.
3. Guarino, N., Carrara, M., and Giaretta, P. 1994. An Ontology of Meta-Level Categories. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94). Morgan Kaufmann.
4. Guarino, N. 1998. Some Ontological Principles for Designing Upper Level Lexical Resources. Proceedings of LREC-98.
5. Guarino, N. 1999. The Role of Identity Conditions in Ontology Design. In Proceedings of IJCAI-99 workshop on Ontologies and Problem-Solving Methods: Lessons Learned and Future Trends. Stockholm, Sweden, IJCAI, Inc.: 2-1 2-7.
6. Guarino, N., and Welty, C. 2000a. Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis. In Proceedings of ECAI-2000. IOS Press, Amsterdam. Available from http://www.ladseb.pd.cnr.it/infor/ontology/Papers/OntologyPapers.html.
7. Guarino, N., and Welty, C. 2000b. Ontological Analysis of Taxonomic Relationships. In Proceedings of ER-2000: The Conference on Conceptual Modeling. Available from http://www.ladseb.pd.cnr.it/infor/ontology/Papers/OntologyPapers.html.
8. Guarino, N., and Welty, C. 2000c. Towards a methodology for ontology-based model engineering. In Proceedings of the ECOOP-2000 Workshop on Model Engineering. Available from http://www.ladseb.pd.cnr.it/infor/ontology/Papers/OntologyPapers.html.
9. Hirst, G. 1991. Existence Assumptions in Knowledge Representation. Artificial Intelligence, 49: 199-242.
10. Huitt, R., and Wilde, N. 1992. Maintenance Support for Object-Oriented Programs. IEEE Transactions on Software Engineering. 18(12).
11. Lewis, D. 1983. New Work for a Theory of Universals. Australasian Journal of Philosophy, 61(4).
12. Lowe, E. J. 1989. Kinds of Being. A Study of Individuation, Identity and the Logic of Sortal Terms. Basil Blackwell, Oxford.
13. Quine, W. V. O. 1969. Ontological Relativity and Other Essays. Columbia University Press, New York, London.
14. Simons, P. 1987. Parts: a Study in Ontology. Clarendon Press, Oxford.
15. Steimann, F. 2000. On the Representation of Roles in OBject-Oriented and Conceptual Modelling. Data and Knowledge Engineering (to appear).
16. Strawson, P. F. 1959. Individuals. An Essay in Descriptive Metaphysics. Routledge, London and New York.
17. Uschold, M. and Gruninger, M. 1996. Ontologies: Principles, Methods and Applications. The Knowledge Engineering Review, 11(2): 93-136.
18. Wieringa, R., De Jonge, W., and Spruit, P. 1994. Roles and dynamic subclasses: a modal logic approach. In Proceedings of European Conference on Object-Oriented Programming. Bologna.
19. Wiggins, D. 1980. Sameness and Substance. Blackwell, Oxford