Georg Ferdinand Schneider The ontology and its use are described in [1]. The ontology is implemented using the free protege tool (protege.stanford.edu) [2]. [1] Schneider, G.F., Pauwels, P. and Steiger, S. (2017): "Ontology-based Modelling of Control Logic in Building Automation Systems" in IEEE Transactions on Industrial Informatics, vol. 13, no. 6, pp. 3350-3360, DOI: 10.1109/TII.2017.2743221. [2] M. A. Musen (2015): The protege project: a look back and a look forward. AI matters, 1(4):4-12, doi: 10.1145/2757001.2757003. https://w3id.org/ibp/CTRLont# 2016-11-01 2019-04-29 Copyright (c) 2019 Georg Ferdinand Schneider/ Fraunhofer Institute for Building Physics IBP. This ontology is distributed under a Creative Commons Attribution Share Alike License (CC BY-SA 4.0) http://creativecommons.org/licenses/by-sa/4.0 CTRLont - An ontology to formally specify the control domain. ctrl CTRLont specifies concepts and relationships of control actors on a high level. CTRLont v0.3.0 Object property to relate a control actor to its specific application logic hasApplicationLogic stable Object property to annotate a input, output or parameter with its data type. hasDataType stable Object property to relate a control actor to its inputs. hasInput stable Object property to annotate an input, output or parameter with its medium. hasMedium stable Object property to relate a control actor to its outputs. hasOutput stable Object property to relate a control actor to its parameter. hasParameter stable Object property to annotate an input, output or parameter with its quantity. hasQuantity stable Object property to relate an input, output or parameter with its semantic type. hasSemanticType stable Object property to relate an input, output or parameter with its unit. hasUnit stable Object property to describe the topological relationship between an input of one control actor and the output of another. isConnectedTo stable Object property to describe hierarchical composition of control actors. isSupervisedBy stable Object property to express the relationship of some application logic concept to an input. logicInput stable Object property to express the relationship of some application logic concept to an output. logicOutput stable Object property to express the relationship of some application logic concept to an parameter. logicParameter stable Object property to describe if one control actor supervises another. supervises stable An annotated element is a generic superclass for ctrl:Input, ctrl:Output and ctrl:Parameter Annotated Element stable Concept to specify the application logic of a control actor. Seperate ontologies may be used to further specify this concept. Application Logic stable Concept to describe the in general accepted Sense-Process-Actuate pattern in automation systems, e.g. function blocks from IEC 61499. Control Actor stable Placeholder class for the specification of basic data types such as, e.g. integer, boolean or double. Data type https://www.w3.org/TR/xmlschema-2/#built-in-datatypes stable An input allow flows of information to enter a control actor. Inputs are processed by the respective application logic of the control actor to compute the outputs. Input stable Placeholder concept to stipulate reuse of existing ontologies such as dbpedia or http://www.productontology.org/id/ Medium stable An output allows compute results by the application logic of an control actor to be fowarded to outside entities such as actuators or other control actors. Output stable Parameter describe time-invariant values and settings of the respective control actor. Thus thay can be added dependent on the respective application logic. Parameter stable Placeholder concept to stipulate reuse of existing ontologies such as Ontology for Units and Measures (OM) or QUDT. Quantity stable It may be required to further annotate an Input, Output or Parameter with a specific Semantic Type. For example in building automation to differ between room air temperature or outdoor air temperature. Semantic Type stable Placeholder concept to stipulate reuse of existing ontologies such as Ontology for Units and Measures (OM) or QUDT. Unit stable