PSL is being incorporated into the TUpper ontology as Part 4 of ISO 21838 (Top Level Ontologies). In particular, TUpper extends PSL with modules for physical objects, location, and units of measure, thus addressing the shortcomings of using PSL alone. In these notes, we summarize various aspects of PSL and TUpper with respect to the IOF selection criteria for a foundational ontology.
The Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) is a top-level ontology (TLO) conforming to ISO/IEC 21838-1. It contains definitions of its terms and relational expressions and formal representations in OWL 2 and in Common Logic (CL). DOLCE is a top-level ontology aimed at making explicit people-s assumptions about the nature and structure of the world, as reflected by natural language, cognition and human common sense. DOLCE is widely used by a diverse array of domain ontologies in areas like enterprise and process modeling, engineering, robotics, geographical information systems, socio-technical systems and digital humanities. The natural language specification of the DOLCE signature supports human maintenance and use of the ontology, including use in development of conformant domain ontologies. The adoption of the Web Ontology Language (OWL) as a W3C standard was motivated by the need to have a decidable ontology representation language as the basis for the Semantic Web. The OWL 2 formalization of DOLCE supports use of the ontology in computing, including enabling DOLCE to be used in tandem with other ontologies expressed in OWL and in related languages, and in allowing ontology quality control through use of OWL reasoners. The CL formalization of DOLCE provides the expressivity needed to provide an axiomatization whose models are the intended models of DOLCE. This axiomatization has a modular structure (see Figure 2 where the arrows represent the relation of extension of theories). This document conforms to ISO/IEC 21838-1.
ISO/IEC 18384-3:2016 defines a formal ontology for service-oriented architecture (SOA), an architectural style that supports service orientation. The terms defined in this ontology are key terms from the vocabulary in ISO/IEC 18384-1.
ISO 10303 provides a representation of product information along with the necessary mechanisms and definitions to enable product data to be exchanged. The exchange is among different computer systems and environments associated with the complete product lifecycle, including product design, manufacture, use, maintenance, and final disposition of the product. This document defines the basic principles of product information representation and exchange used in ISO 10303. It specifies the characteristics of the various series of parts of ISO 10303 and the relationships among them.
This document specifies a taxonomy and an ontology for blockchain and distributed ledger technologies (DLT). The taxonomy includes a taxonomy of concepts, a taxonomy of DLT systems and a taxonomy of application domains, purposes and economy activity sections for use cases. The ontology includes classes and attributes as well as relations between concepts. The audience includes but is not limited to academics, architects, customers, users, tool developers, regulators, auditors and standards development organizations.
This document specifies the structure of an ontology for a fine-grained description of the expressive power of corpus query languages (CQLs) in terms of search needs. The ontology consists of three interrelated taxonomies of concepts: the CQLF metamodel (a formalization of ISO24623-1); the expressive power taxonomy, which describes different facets of the expressive power of CQLs; and a taxonomy of CQLs. This document specifies: a) the taxonomy of the CQLF metamodel; b) the topmost layer of the expressive power taxonomy (whose concepts are called functionalities); c) the structure of the layers of the expressive power taxonomy and the relationships between them, in the form of subsumption assertions; d) the formalization of the linkage between the CQL taxonomy and the expressive power taxonomy, in the form of positive and negative conformance statements. This document does not define the entire contents of the ontology (see <a>Clause4</a>).
ISO 21127:2014 establishes guidelines for the exchange of information between cultural heritage institutions. In simple terms, this can be defined as the information managed by museums, libraries, and archives. The intended scope of this ISO 21127:2014 is defined as the exchange and integration of heterogeneous scientific documentation relating to museum collections. This definition requires further elaboration.
ISO 37120 - Sustainable Development and Resilience of Communities - Indicators for City Services and Quality of Life (under TC268) http://ontology.eil.utoronto.ca/ISO37120.html. This OWL file defines a class for each indicator defined in the ISO 37120 standard. Names for each indicator are provided. Text definitions are provided only for Economy, Education and Energy indicators, due to copyright restrictions imposed by ISO. This file is meant to provide a single URI for each indicator. An ontology for representing an indicator's supporting data plus meta information such as provenance, validity and trust can be found in: http://ontology.eil.utoronto.ca/GCI/Foundation/GCI-Foundation.owl Documentation of the ontology can be found in: http://eil.utoronto.ca/smartcities/papers/GCI-Foundation-Ontology.pdf
ISO 14199:2015 defines a set of models collectively referred to as the Biomedical Research Integrated Domain Group (BRIDG) model for use in supporting development of computer software, databases, metadata repositories, and data interchange standards. It supports technology solutions that enable semantic (meaning-based) interoperability within the biomedical/clinical research arena and between research and the healthcare arena. The clinical research semantics are represented as a set of visual diagrams which describe information relationships, definitions, explanations, and examples used in protocol-driven biomedical research. These diagrams are expressed using the iconography and grammar of the Unified Modelling Language (UML), the HL7 Reference Information Model (RIM), and a Web Ontology Language (OWL).
ISO 14199:2015 defines a set of models collectively referred to as the Biomedical Research Integrated Domain Group (BRIDG) model for use in supporting development of computer software, databases, metadata repositories, and data interchange standards. It supports technology solutions that enable semantic (meaning-based) interoperability within the biomedical/clinical research arena and between research and the healthcare arena. The clinical research semantics are represented as a set of visual diagrams which describe information relationships, definitions, explanations, and examples used in protocol-driven biomedical research. These diagrams are expressed using the iconography and grammar of the Unified Modelling Language (UML), the HL7 Reference Information Model (RIM), and a Web Ontology Language (OWL). ISO 14199:2015 establishes the links between protocol-driven research and its associated regulatory artefacts including the data, organization, resources, rules, and processes involved in the formal assessment of the utility, impact, or other pharmacological, physiological, or psychological effects of a drug, procedure, process, subject characteristic, or device on a human, animal, or other subject or substance along with all associated regulatory artefacts required for or derived from this effort, including data specifically associated with post-marketing adverse event reporting.
This document establishes general principles and gives guidelines for an indicator upper level ontology (IULO) for smart cities that enables the representation of indicator definitions and the data used to derive them. It includes: concepts (e.g., indicator, population, cardinality); and properties that relate concepts (e.g., cardinality_of, parameter_of_var).
the main categories of cutting tool data and the relationships between them. It provides a general information model of data representation and information exchange for these categories, as well as an overview of the principles of product data exchange used in ISO 13399 as a whole, a description of the other parts of ISO 13399 and a method for transferring cutting tool data
