{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T13:02:46Z","timestamp":1774357366146,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540411192","type":"print"},{"value":"9783540399674","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39967-4_8","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T04:15:34Z","timestamp":1187237734000},"page":"97-112","source":"Crossref","is-referenced-by-count":122,"title":["A Formal Ontology of Properties"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Guarino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Welty\u2020","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,2]]},"reference":[{"key":"8_CR1","unstructured":"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."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Guarino, N. 1992. Concepts, Attributes and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases. Data & Knowledge Engineering, 8(2): 249\u2013261.","DOI":"10.1016\/0169-023X(92)90025-7"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1016\/B978-1-4832-1452-8.50121-4"},{"key":"8_CR4","unstructured":"Guarino, N. 1998. Some Ontological Principles for Designing Upper Level Lexical Resources. Proceedings of LREC-98."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-48384-5_15"},{"key":"8_CR6","unstructured":"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 ."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1007\/3-540-45393-8_16"},{"key":"8_CR8","unstructured":"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 ."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(91)90010-H","volume":"49","author":"G. Hirst","year":"1991","unstructured":"Hirst, G. 1991. Existence Assumptions in Knowledge Representation. Artificial Intelligence, 49: 199\u2013242.","journal-title":"Artificial Intelligence"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Huitt, R., and Wilde, N. 1992. Maintenance Support for Object-Oriented Programs. IEEE Transactions on Software Engineering. 18(12).","DOI":"10.1109\/TSE.1992.1263033"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Lewis, D. 1983. New Work for a Theory of Universals. Australasian Journal of Philosophy, 61(4).","DOI":"10.1080\/00048408312341131"},{"key":"8_CR12","unstructured":"Lowe, E. J. 1989. Kinds of Being. A Study of Individuation, Identity and the Logic of Sortal Terms. Basil Blackwell, Oxford."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Quine, W. V. O. 1969. Ontological Relativity and Other Essays. Columbia University Press, New York, London.","DOI":"10.7312\/quin92204"},{"key":"8_CR14","unstructured":"Simons, P. 1987. Parts: a Study in Ontology. Clarendon Press, Oxford."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Steimann, F. 2000. On the Representation of Roles in OBject-Oriented and Conceptual Modelling. Data and Knowledge Engineering (to appear).","DOI":"10.1016\/S0169-023X(00)00023-9"},{"key":"8_CR16","unstructured":"Strawson, P. F. 1959. Individuals. An Essay in Descriptive Metaphysics. Routledge, London and New York."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Uschold, M. and Gruninger, M. 1996. Ontologies: Principles, Methods and Applications. The Knowledge Engineering Review, 11(2): 93\u2013136.","DOI":"10.1017\/S0269888900007797"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/BFb0052175"},{"key":"8_CR19","unstructured":"Wiggins, D. 1980. Sameness and Substance. Blackwell, Oxford."}],"container-title":["Lecture Notes in Computer Science","Knowledge Engineering and Knowledge Management Methods, Models, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39967-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:14:59Z","timestamp":1556756099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39967-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411192","9783540399674"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-39967-4_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}