我在描述逻辑/OWL Web本体语言的上下文中读过几个术语，但我很难区分它们。我找不到其中任何一个在其他人的背景下有明确的定义，作者经常在没有明确定义的情况下使用它们。有人能帮我吗？
术语在描述逻辑/OWL:中
- "犯罪">
- "公理">
- "事实">
- '表达式'
- "基本公理">
- "复杂公理">
- '原始术语'
- "三重">
- '类描述'
- '类构造函数'
- "assertion"/"asserted">
如果有人能提供一个例子，然后区分它们或显示它们之间的相似性，这将非常有帮助。提前感谢！
公理是你知道在你的领域中是正确的任何事情，例如，所有的狗都是动物。
一种特殊的公理是断言(或事实(，它声明了一些关于特定个体的东西(例如Dog(lessie)或Parent(bob,alice)(。
三元组是存储语句(例如<ex:lessie rdf:type ex:Dog>、<ex:bob Parent ex:alice>或<ex:Dog rdfs:subclassof ex:Animal>(的一种特殊方式。
基元术语是实体，例如类、属性和个体。
基元是用于构建类表达式的特定函数。
无论如何，一些术语(如形容词"基本"one_answers"复杂"(可能根据特定的上下文而具有不同的含义。