我必须在 ALCQO 中翻译以下句子： 正方形是恰好有四个边和四个顶点的多边形，它们是线段。 我使用 ALCQO 尝试了以下方法： 我不确定以下两种情况： 在同一个句子中使用≥和≤我实际上实现了翻译短语“ exactly one ”。 hasVertices.LineSegments我实际上正在 ...
我有以下英文问题有一名学生。 我想将其翻译成 ALCQO 或一阶逻辑。 我写了以下内容： 或者在一阶逻辑中： 但是，我从数学和理论中知道， ∃被翻译成“至少一个”或“一些”。 因此，我想知道以下两个选项是否正确： 方法 1 方法 2 ...
我有以下两个英文句子： 玛丽是一个人。 斗牛犬是狗的一种。 法国斗牛犬是斗牛犬的一种。 玛丽唯一养的狗是法国斗牛犬。 我想知道以下哪种方式是根据给定的知识翻译第三个和句子的正确方式。 第一种方法 第二种方法 第三种方法 我知道第一种方法是正确的。 但我想将第三个英文句子重写为方法 2-(*), 3- ...
我有以下四句话： 玛丽是一个人。 斗牛犬是狗的一种。 法国斗牛犬是斗牛犬的一种。 玛丽唯一养的狗是法国斗牛犬。 法国人是只拥有斗牛犬的人。 我想将这些形式化为知识库 KB。 我将在我的方法下方，也会发布一些问题。 首先我想知道知识库是否正确。 以及我是否应该保留公理 (1) 或 (2) 或两者。 ...
我被告知这些描述逻辑子类表达式是等价的，并且它们 state C 是属性 R 的域。 这是真的？ 为什么？ ∃ R.⊤ ⊑ C ⊤ ⊑ ∀ R - .C ...
Pascal Hitzler、Markus Krtzsch 和 Sebastian Rudolph 的文本，语义 Web 技术的基础在第 162 页上说。 这个答案说， 您可以将p 的范围 D写为 ⊤ ⊑ ∀pD 它说 ⊤ （或owl:Thing ，即一切）是这样的，它对p的每个值都必须是D 。 ...
鉴于 OWL 中可用的不同类型的公理，是否可以断言 class 不是“空的”？ 或者换句话说，我们是否可以断言至少存在一个属于指定 class 的个体？ 所以，基本上我正在寻找一个等价物： ...
我正在尝试使用 racer (Description Logic reasoner)，但出现以下错误 我正在执行的代码如下： 不知道找谁解决？ 有什么建议么？ ...
我在描述逻辑/OWL Web Ontology Language 的上下文中阅读了几个术语，但我很难区分它们。 我无法在其他人的上下文中为他们中的任何人找到一个明确的定义，而且作者经常在没有明确定义的情况下使用它们。 有人能帮我吗？ 这些术语在描述逻辑/OWL中： “原语” “公理” “事实 ...
从 class A 的成员是 B 和 C 的成员的意义上来说，以下是否解释为交集 (AND)； 或者作为A的成员是B的成员，或者C的成员，或者两者的成员的析取（OR）？ 感谢您澄清这是如何解释的！ 我发现它是 AND： Protege OWL Subclass of two classes 但是 ...
我想在 OWL 中表达以下 DL 断言 这意味着A是 B 的子概念，并且A的所有实例都必须与R有关系。 我用以下 OWL 本体来表达它： 我正在使用 HermiT 推理器来检索:A的所有超类，以这种方式： 但这只是打印： 如何获取有关SubClassOf(:A ObjectSomeValuesFro ...
我正在尝试在描述逻辑中对以下语句进行建模。 联合教学教员是指任何教职员工并至少教授一门由他人教授的课程的人 我想到的表示是： CoTeachingFaculty EQUIV Person INTERSECTION AcademicStaff EXISTS teaches.(Course INTER ...
我试图从一阶逻辑（FOL）的角度理解DL 教程中的以下段落。 通道为了表示所有孩子都是女性的个体集合，我们使用通用限制 ∀parentOf.Female (16) 忘记（16）也包括那些根本没有孩子的人是一个常见的错误。 我认为（16）的意思是“如果一个人有孩子，那么这些孩子都是女性”。 我对 (1 ...
我将 OWLAPI 与 HermiT 一起使用，除非我在创建推理器后尝试修改本体，否则它可以工作。 是否应该通知推理者本体的修改？ 或者我是否需要重新创建推理器，或者我可以通知推理器它应该与更改“同步”吗？ （就像 Protege 中的菜单项） 编辑：什么“不起作用”：我添加了一个使本体不一致 ...
我刚刚开始阅读有关创建本体和使用 Protege 的内容。 我想做的一件事是给出一个本体，我想以描述逻辑格式表达从本体生成的公理。 我的问题如下： 有没有办法在 Protege 中做到这一点？ 如果没有，你有什么建议吗？ 非常感谢您提前。 ...
我想说的是，在我的本体中，每个人都只有一种最具体的类型。 在这种情况下： 说我的本体不允许多个 inheritance 准确吗？ 我不太明白多个 inheritance 在本体中的含义。 这是指rdf:type还是rdfs:subclassOf ？ 因为我不介意一个概念是否有多个父母，但我不希望个 ...
从我读过的有关猫头鹰形式语义的《语义网络技术基础 》一书中，Hitzler等人提出了SROIQ的两种模型理论语义：一种是模型检查之类的方法（我们检查不同的解释以找到我们知识库的模型），另一个是通过谓词逻辑。 在后一种方法中，这本书只是将SROIQ转换为谓词逻辑。 但是，这本书对我来说有点 ...
我们将属性的范围定义为DL中的rC 。 我不理解该定义背后的想法。 为什么将T （即owl：Thing）定义为∀rC的子类？ 这意味着什么？ 在任何情况下， T实际上都比∀rC小吗？ 为什么我们不使用rC ？ 想象一下我有一个角色： 吃东西 ； 其范围是我的美食课。 pl ...
我很难理解DL中的以下语句： ∃R.∃SC（a） 这个主张到底是什么意思？ 提前致谢！ ...
在O3 2 QL的W3C解释中提到 特别是，此配置文件（即OWL 2 QL）包含RDFS和OWL 2 DL的交集。 这句话使我感到困惑，我想知道是否有人可以澄清它。 这是否意味着OWL 2 QL是RDFS的子集？ 还是这意味着它是RDFS的更受限制的版本（因此，表达这些限制 ...