Approved Standards


 1872-2015 - IEEE Standard Ontologies for Robotics and Automation

 A core ontology that specifies the main, most general concepts, relations, and axioms of robotics and automation (R&A) is defined in this standard, which is intended as a reference for knowledge representation and reasoning in robots, as well as a formal reference vocabulary for communicating knowledge about R&A between robots and humans. This standard is composed of a core ontology about R&A, called CORA, together with other ontologies that give support to CORA.


1872.2-2021: Standard for Autonomous Robotics (AuR) Ontology

This standard extends IEEE 1872-2015 Standard for Ontologies for Robotics and Automation to represent additional domain-specific concepts, definitions, and axioms commonly used in Autonomous Robotics (AuR). This standard is general and can be used in many ways - for example, to specify the domain knowledge needed to unambiguously describe the design patterns of AuR systems, to represent AuR system architectures in a unified way, or as a guideline to build autonomous systems consisting of robots operating in various environments.


1873-2015 - IEEE Standard for Robot Map Data Representation for Navigation

A map data representation of environments of a mobile robot performing a navigation task is specified in this standard. It provides data models and data formats for two-dimensional (2D) metric and topological maps.


7007-2021: Ontological Standard for Ethically Driven Robotics and Automation Systems

This standard establishes a set of ontologies with different abstraction levels that contain concepts, definitions, axioms and use cases which assist in the development of ethically driven methodologies for the design of Robots and Automation Systems. It focuses on the Robotics and Automation domain, without considering any particular application or robot, and can be used in multiple ways, for instance, during the development of Robotics and Automation Systems as a guideline; or as a reference "taxonomy" to enable a clear and precise communication among members from different communities that include Robotics and Automation, Ethics, and correlated areas. Users of this standard need to have a minimal knowledge on formal Logics to understand the axiomatization expressed in Common Logic Interchange Format. Additional information can be found at

Easy Links