如何区分描述逻辑中的'primitives''axioms''expressions''basic axioms''primitive terms'/OWL？

Question

我在描述逻辑/OWL网络Ontology语言的上下文中阅读了几个术语，但我很难区分它们。我无法在其他人的上下文中为他们中的任何一个找到明确的定义，并且作者经常在没有明确定义的情况下使用它们。有人可以帮助我吗？

术语在描述逻辑中/OWL:

• 'primitives'
• 'axioms'
• 'facts'
• 'expressions'
• 'basic axioms'
• 'complex axioms'
• 'primitive terms'
• 'triple'
• 'class description'
• 'class constructors'
• 'assertion' / 'asserted'

如果有人可以提供示例然后区分它们或显示它们之间的相似之处，将会非常有帮助。提前致谢！

Answer 1

axiom 是您知道在您的域中为真的任何事物，例如事实上，所有的狗都是动物。

一种特殊的公理是assertion（或事实），它声明了关于特定个体的一些事情（例如Dog(lessie) 或 Parent(bob,alice)).

A triple 是存储语句的一种特殊方式（例如 <ex:lessie rdf:type ex:Dog>，或 <ex:bob Parent ex:alice>，或 <ex:Dog rdfs:subclassof ex:Animal> ).

原始术语是实体，例如类、属性和个人。

A primitive 是用于构建 class expressions.

的特定函数

无论如何，某些术语（如形容词“基本”和“复杂”）可能根据特定上下文具有不同的含义。