Formal ontologies model classes and their properties and relationships. This paper considers various choices for modelling of classes and properties, and the interrelationship of these within a formal logical framework. Unlike predicate logical usage with quantification over individuals only, in the applied metalogic classes and properties appear as first class non-extensional objects. Using this framework miscellaneous classification structures are examined ranging from mere partial orders to distributive lattices. Moreover, we seek to capture notions such as intensionality of classes and properties ascribed to individuals and classes in an coherent ontological framework. In this analytic framework we further present generative ontologies in which novel classes can be produced systematically by means of given classes and properties. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Nilsson, J. F. (2006). Ontological constitutions for classes and properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4068 LNAI, pp. 37–53). Springer Verlag. https://doi.org/10.1007/11787181_4
Mendeley helps you to discover research relevant for your work.