Kappa表达式：通过必要条件和充分条件定义未命名的关系类型。概念-类型-表达式：通过必要和充分条件
定义未命名的概念类型。Individu[individual]：不能有实例的实例。
一阶逻辑的量化器：存在性量化器（即，“il existe”, c'est à dire “au moins un”) et un quantificateur universel (“quel que
soit” [“for all”], “chaque” [“every”,
数字限定符：单个限定符（例如，
节点（或表达式）：一个术语，也可以是该术语上的限定词;此外，节点可以是
概念节点，如果术语是概念类型或个体;
关系节点，如果该节点允许在多个概念节点之间创建关系。该术语必须是一种关系。
语义关系：由关系节点和由该关系节点直接链接的信息对象组成的信息对象。在本论文中，语义关系的类型将以
斜体显示，"关系"后面的"语义"一词通常将被省略。以下是一些语义关系类型的示例：
一般化（子类型为logical_decession、
超类型
），
子部分（其子类型例如是
子进程
、
物理部分
）;
来自进程的关系（例如，
输入
、
输出
、
接收
者、
参与者
）。
关系是有向的，可以是一元、二元、三元等。二元关系具有单个源节点和单个目的节点。例如，W3C使用不同的
词汇表。因此，在RDF模型中：
一种关系称为三元组。
关系类型称为属性或谓词。
源节点称为主题或源。
目的地节点称为对象或目的地。
词汇关系：只能在非正式符号之间使用的正式（非语义）对象。以下是一些类型的词汇关系："同音异义词"、"反
义词"、字符串关系。
链接[链接]：二元关系。在OWL2中，链接类型是继"owl2：ProjectProperty"或"owl2：DatatypeProperty"之后的二阶
类型之一的实例。
二阶表示法：允许对关系类型使用变量并对其进行量化的表示法。二阶符号不一定意味着使用它的二阶推理引
擎，特别是如果二阶句子是定义。实际上，在给定的BC中，通常只有有限数量的一阶类型受这些定义的影响，并且通常
可以将二阶定义应用于（即，实例化）这些类别。例如，定义传递性需要二阶逻辑，但定义特定的传递关系只需要一阶
逻辑。然后，推理引擎可以不考虑二阶的定义。
高级表示法：一种表示法，它允许以简洁和标准化的方式表示一般句子，因此其表达和标准化的表示很容易比
较，例如，通过比较图表。这意味着（除其他外）使用语境化元短语、数字限定词和其他快捷方式的能力。
链接或函数r
的
中括表示法（在文本符号中）：一种文本符号，其中r的类型位于r的源和目标之间，如Turtle符号。
例如，在Turtle中，短语
ex：Tomex
：
place ex：Cat.// "ex"是
链接或函数r
的
前缀表示（在文本表示法中）：一种文本表示法，其中r的类型位于r的源和目标之前，如CLIF表示
法。因此，在CLIF中，短语
链接或函数r
的
后缀表示（在文本符号中）：一种文本符号，其中r的类型位于r的源和目标之后，例如反向波兰符
号。因此，在使用这种符号的LRC中，短语"Tom is a cat"可以写成：Tom mat place。
本体论：一组形式术语，具有部分或全部语义定义，与之相关，并与之相关。本体通常在逻辑上被定义，例如通
过LRC。在面向对象编程中，可以通过类、属性（在UML意义上）和方法来定义概念类型，因此也可以描述逻辑上未定
义的本体。一些BC是本体，每个本体都是BC。
LRC本体：一种本体，其术语描述可用于表示知识的数据模型及其相关逻辑。
词汇本体（如自然语言本体）：其形式术语表示词汇表或自然语言中非正式术语含义的本体。
我的内容管理
展开
