假设我有两个类和子类：
<pre><code>> Academic_year_Information
> Academic_semester_one_information
</code>
我在 SPARQL 中对 Protege 的查询：
<pre><code>PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <
我有这个：
[1]：<a href="https://i.stack.imgur.com/SGHD1.png" rel="nofollow noreferrer">https://i.stack.imgur.com/SGHD1.png</a>
[2]
我正在尝试在 Protege 中实现一个本体。我有一个类谋杀和一个类人。 Murder 类通过以下两个对象属性连接
我有一个关于使用来自其他本体的 URI 的快速查询。我设计了一个关于足球队和比赛的本体，我正在使用
我想创建一个仅包含 SNOMED 的“Disorder sub-hierarchy”的子图。我正在尝试使用 SPARQL CONSTRUCT 查询从完整的 S
我是本体公理和 DL 语法的新手，并试图了解图像中的公理究竟意味着什么。我还提供了我拍摄图像 <a hre
我正在尝试创建一个 OWL Ontology 来捕捉一组不相交的元素的想法：
<ul>
<li>我有一个 <code>router.get('/c
我想我仍然对 OWL 公理有根本性的误解 :(.
这是我创建的一个小测试本体：
<pre><code>@prefix xsd:
我正在阅读本体（<a href="https://www.hl7.org/fhir/rdf.html" rel="nofollow noreferrer">HL7 FHIR ontology</a>）并试图理解为
<em>Inconsitency</em> 是一个我认为有道理的术语，但在看了一个具体的例子（如下）后，我对它应该是什么
VOS DL、EL、QL、RL 支持哪些 OWL 配置文件？
是否可以使用或集成标准推理器？ （隐士、药丸等）
假设一个 OWL 本体包含以下 SWRL 规则：
<pre><code>has_part(?x, ?y) ^ participates(?x, ?z) -> participates(?y, ?z)
</co
这个本体似乎不太符合我的想法：
<pre><code>@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf:
我想将本体的匿名超类翻译并查询成数据记录规则。例如，我有一个像“<code>Chair subclassOf (headOf some Depar
我正在尝试在 XSB 中加载一些规则以进行查询。我的规则文件由翻译后从本体中提取的一些事实和下面提
我使用 HermiT Reasoner 有一段时间了，但想尝试 Pellet Reasoner。但是 Pellet 会在启动时引发错误。日志没有帮
我通过<strong>Ontop Plugin</strong>连接了protege中的数据库，并从<strong>Ontop Mappings / Mapping Manager</strong>创建
我有一个谓词“HAVE”，现在我需要一个谓词“don'tHave”。如何使用现有谓词“HAVE”创建这样的谓词？
目前，我想将多个 SKOS 文件（.rdf 文件）合并为一个，同时考虑到之前制作的它们之间的映射。
有什么
