An ontology on property: For physical, chemical, and biological systems

Abstract

Current metrological literature, including the International vocabulary of basic and general terms in metrology (VIM 1993), presents a special language slowly evolved without consistent use of the procedures of terminological work; furthermore, nominal properties are excluded by definition. Both deficiencies create problems in fields, such as laboratory medicine, which have to report results of all types of property, preferably in a unified systematic format. The present text aims at forming a domain ontology around "property", with intensional definitions and systematic terms, mainly using the terminological tools - with some additions - provided by the International Standards ISO 704, 1087-1, and 10241. "System" and "component" are defined, "quantity" is discussed, and the generic concept "property" is given as 'inherent state- or process-descriptive feature of a system including any pertinent components'. Previously, the term 'kind-of-quantity' and quasisynonyms have been used as primitives; the proposed definition of "kind-of-property" is 'common defining aspect of mutually comparable properties'. "Examination procedure", "examination method", "examination principle", and "examination" are defined, avoiding the term 'test'. The need to distinguish between instances of "characteristic", "property", "type of characteristic", "kind-of- property", and "property value" is emphasized; the latter is defined together with "property value scale". These fundamental concepts are presented in a diagram, and the effect of adding essential characteristics to give expanded definitions is exemplified. Substitution usually leads to unwieldy definitions, but reveals circularity as does exhaustive consecutive listing of defining concepts. The top concept 〈property〉 may be generically divided according to many terminological dimensions, especially regarding which operators are allowed among the four sets =, #;; +, -; and x,:. The coordinate concepts defined are termed by the modifiers 'nominal', 'ordinal', 'differential', and 'rational' before '... property'. Other possibilities are given, based on the literature, especially the stepwise division into "nominal property" and "quantity"; "ordinal quantity" and "unitary quantity"; "differential unitary quantity" and "rational unitary quantity". As top concepts, 〈kind-of-property〉, 〈examination procedure〉, 〈examination〉, 〈property value〉, and 〈property value scale〉 are i.a. divided homologously to 〈property〉. The term 'observation' and the modifiers 'qualitative', 'semi-quantitative', and 'quantitative' are avoided. "Metrological unit" and "system of metrological units" are defined together with a number of specific concepts. Some problems with characteristics of "SI unit" are discussed and an alternative system shown. The conceptions of "metrological dimension" are outlined, leading to a definition and specific concepts. The generally accepted IUPAC/IFCC syntax for designations of instantiated properties is 'System (specification)- Component(specification); kind-of-property(specification)', and"dedicatedkind-of-property" is defined as 'kind-of-property with given sort of system and any pertinent sorts of component'. The related systematic terms may be generated according to ENV 1614 using generative patterns from ENV 12264. The elements of the appellation and examination result of a singular rational property are diagrammed. Finally, the possibilities of representing properties and their results by the formalisms of relation and function from Set Theory and Object-Oriented Analysis are exemplified.