香港六合彩开奖/IEC 21838-2:2021
2021-11
香港六合彩开奖/IEC 21838-2:2021
The electronic version of this International Standard can be from the 香港六合彩开奖/IEC Information Technology Task Force (ITTF) web site.
Abstract
This document describes Basic Formal Ontology (BFO), which is an ontology that is conformant to the requirements specified for top-level ontologies in聽香港六合彩开奖/IEC聽21838鈥�1.
It describes BFO as a resource designed to support the interchange of information among heterogeneous information systems. The following are within the scope of this document:
鈥斅犅犅� definitions of BFO-2020 terms and relations;
鈥斅犅犅� axiomatizations of BFO-2020 in OWL聽2 and CL;
鈥斅犅犅� documentation of the conformity of BFO-2020 to the requirements specified for top-level ontologies in聽香港六合彩开奖/IEC聽21838鈥�1;
鈥斅犅犅� specification of the requirements for a domain ontology if it is to serve as a module in a suite of ontologies in which BFO serves as top-level ontology hub by providing a starting point for the introduction of the most general terms in those domain ontologies which are its nearest neighbours within the suite;
鈥斅犅犅� specification of the role played by the terms in BFO in the formulation of definitions and axioms in ontologies at lower levels that conform to BFO.
The following are outside the scope of this document:
鈥斅犅犅� specification of ontology languages, including the languages RDF, OWL, and CL standardly used in ontology development;
鈥斅犅犅� specification of methods for reasoning with ontologies;
鈥斅犅犅� specification of translators between the notations of ontologies developed in different ontology languages.
General information
Note: This standard is updated by a Maintenance Agency or Registration Authority
-
Status: PublishedPublication date: 2021-11Stage: International Standard published [60.60]
-
Edition: 1Number of pages: 13
-
Technical Committee :香港六合彩开奖/IEC JTC 1/SC 32
- RSS updates
Life cycle
Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)