Logic 这两者之间的区别是什么；“陈述”；在描述逻辑中_Logic_Owl_Description Logic

Logic 这两者之间的区别是什么；“陈述”；在描述逻辑中

logic

Logic 这两者之间的区别是什么；“陈述”；在描述逻辑中,logic,owl,description-logic,Logic,Owl,Description Logic,我不知道你是否称这为声明，但我有一个问题这两种状态之间的区别是什么 A ⊑ B ⊓ C 及对不起，我不知道如何写ASSERTA_符号，但它在这张图中一个真实的例子是：这两个表达式都描述或定义了一个概念（或类或集合）区别在于子类和等价类大象是一种灰色的大型动物。可能还有其他种类。幸福的父亲是指至少有一个女儿的男人，而任何有至少一个女儿的男人都是幸福的父亲。这两个表达式都描述或定义了一个概念（或类或集合）区别在于子类和等价类大象是一种灰色的大型动物。可能还有其他种类。幸福的父

我不知道你是否称这为声明，但我有一个问题
这两种状态之间的区别是什么

A ⊑ B ⊓ C
及
对不起，我不知道如何写ASSERTA_符号，但它在这张图中

一个真实的例子是：

这两个表达式都描述或定义了一个概念（或类或集合）
区别在于子类和等价类
大象是一种灰色的大型动物。可能还有其他种类。
幸福的父亲是指至少有一个女儿的男人，而任何有至少一个女儿的男人都是幸福的父亲。这两个表达式都描述或定义了一个概念（或类或集合）
区别在于子类和等价类
大象是一种灰色的大型动物。可能还有其他种类。
幸福的父亲是指至少有一个女儿的男人，而任何有至少一个女儿的男人都是幸福的父亲。这两个表达式都描述或定义了一个概念（或类或集合）
区别在于子类和等价类
大象是一种灰色的大型动物。可能还有其他种类。
幸福的父亲是指至少有一个女儿的男人，而任何有至少一个女儿的男人都是幸福的父亲。这两个表达式都描述或定义了一个概念（或类或集合）
区别在于子类和等价类
大象是一种灰色的大型动物。可能还有其他种类。
幸福的父亲是指至少有一个女儿的男人，而任何有至少一个女儿的男人都是幸福的父亲。没有其他的了。
⊑ 表示子概念关系，≐ 表示协议（有时称为与构造函数相同）。
⊑ 表示子概念关系，≐ 表示协议（有时称为与构造函数相同）。
⊑ 表示子概念关系，≐ 表示协议（有时称为与构造函数相同）。
⊑ 表示子概念关系，≐ 表示一致（有时称为构造函数）。
我认为“定义”这个词对于子类关系并不合适。它是在陈述必要的条件，但它几乎不是一个定义。“人类”是“两足动物”的一个子类，但是说“人类是两足动物”是一个定义是不对的。我不认为“定义”是一个子类关系的正确词汇。它是在陈述必要的条件，但它几乎不是一个定义。“人类”是“两足动物”的一个子类，但是说“人类是两足动物”是一个定义是不对的。我不认为“定义”是一个子类关系的正确词汇。它是在陈述必要的条件，但它几乎不是一个定义。“人类”是“两足动物”的一个子类，但是说“人类是两足动物”是一个定义是不对的。我不认为“定义”是一个子类关系的正确词汇。它是在陈述必要的条件，但它几乎不是一个定义。“人类”是“两足动物”的一个子类，但是说“人类是两足动物”是一个定义是不对的。
A ASSERTA_SYMBOL = B ⊓ C