首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ISO/IEC 21838-4:2023
到馆阅读
收藏跟踪
购买正版
Information technology — Top-level ontologies (TLO) — Part 4: TUpper 信息技术顶层本体(TLO)第4部分:TUpper
发布日期: 2023-09-19
本文档将TUpper描述为符合中为顶级本体指定的要求的本体。ISO/IEC?21838-1. 本文档将TUpper描述为一种旨在支持异构信息系统的本体设计、本体集成、自动推理和语义集成的资源。 以下内容属于本文件的范围: —?TUpper签名中类和关系的定义; —?OWL 2和CL中TUpper的公理化; —?TUpper符合中为顶级本体指定的要求的文档?ISO/IEC?21838-1; —?用于指定符合TUpper的领域本体的方法的文档。 以下内容超出了本文档的范围: —?本体语言的规范,包括本体开发中标准使用的语言RDF、OWL和CL;—?本体推理方法的规范; —?用不同本体语言开发的本体符号之间的转换器规范。

This document describes TUpper as an ontology that is conformant to the requirements specified for top-level ontologies in?ISO/IEC?21838-1.

This document describes TUpper as a resource designed to support ontology design, ontology integration, automated reasoning, and semantic integration of heterogeneous information systems.

The following are within the scope of this document:

definitions of classes and relations in the signature of TUpper;

axiomatizations of TUpper in OWL 2 and CL;

documentation of the conformity of TUpper to the requirements specified for top-level ontologies in?ISO/IEC?21838-1;

documentation of the methodology for specifying domain ontologies that conform to TUpper.

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.

分类信息
关联关系
研制信息
归口单位: ISO/IEC JTC 1/SC 32
相似标准/计划/法规