问题标签 [protege]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
string-matching - 如何通过字符串匹配将一阶逻辑语句翻译成 Protègè 中的限制?
我正在尝试构建一个本体来推断有关域分类和术语的一些信息,但我遇到了一些概念上的困难。
让我解释一下这个问题。在 Protègè 4.1 中,我创建了 Thing 的 6 个子类:Concept、conceptTitle、ConceptSynonym(用于分类)和 Term、TermTitle、TermSynonym(用于术语)。我还创建了 hasConceptTitle、hasConceptSynonym、hasTermTitle 和 hasTermSynonym 对象关系(带有一些约束)来表示每个概念都有一个(并且只有一个)标题,并且可能有一些同义词,并且每个术语都有一个(并且只有一个)标题和一些同义词。Concept 和 Term 都有另一种关系 isA,为分类赋予 DAG/树结构,而术语具有格结构(换句话说,一个术语可能是多个术语的子类)。
问题来了:我想创建一个概念的子类,比如说“MappedConcept”),它应该是映射概念的集合,即标题等于术语标题的概念集,或者它有同义词等于术语的标题或具有等于术语的同义词的同义词。在一阶逻辑中,这个集合可以表示为:
我怎样才能得到这个?为“ConceptTitle”、“ConceptSynonym”、“TermTitle”和“TermSynonym”定义数据属性?以及如何描述字符串匹配?也许这 4 个类应该只是 Concept 和 Term 类的数据属性?我多次阅读 Matthew Horridge 的实用指南,但我无法将脑海中的实用想法转化为 Protègè 的 ongology。
提前致谢。
owl - 我可以在我的 OWL 本体中使用“类”和“类型”吗
我需要有类“类”(在命名空间内)和数据属性“类型”(也在命名空间内)。
当我创建 Protege 时,他们的行为很有趣。
semantics - 无法使用 Jena 从 owl 检索结果
首先,我使用Protege 4创建了自己的示例本体。我的实际目标是开发一个语义 Web 应用程序,该应用程序可以从对象属性中受益,从而为用户提供一些东西。创建本体后,我将添加动态数据,因此我需要使用 * Jena API *。为了演示,我创建了示例实例。但是当我尝试检索结果时,我什么也没得到。
也许我在我的SPARQL查询中遗漏了一些东西。
这是我得到的结果:
最后是我的示例本体:
ontology - 支持节点间加权关系的本体管理程序
我正在寻找可以处理“双向关系”的本体管理服务
例如,假设有节点“Tiger”和“Lion”
我们要描述节点之间的定量关系:
即) Similar("Tiger", "Lion") = 0.5
我搜索了 Protege 本体系统。
但是本体系统不支持这种加权关系
是否有任何程序可以支持描述这种关系?
或者有什么办法可以处理与Protege的这些关系?
rdf - 医学领域的示例本体
我正在寻找与医学领域相关的清晰示例本体。也许是为了说明一些道理。或者有人对我可以用 Protégé 实施的小型医学示例有一个好主意吗?
提前致谢
马丁
semantic-web - OWL 中的 DL 查询没有推论 - API
我正在尝试编写查询
Hospitals 和 hasNameWithWords 值“中心”^^string
此查询返回我在 Protege 4.2 中使用 FACT++ 推理器和 Hermit 推理器的医院名称中包含“中心”的实例
但是当我在网站http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/中提供的 OWL-API 的 DL 查询示例中输入相同的查询时 代码/owlapi/examples/DLQueryExample.java
我没有得到任何结果。
但是当我编写简单的查询时,它给了我结果,例如
医院
是不是因为代码中的推理器无法进行推理?
还有什么推理机更好?
rdf - Protege 4.1 中不一致的 OWL 本体和不良个体
在与Hermit或我得到的事实进行推理之后,我使用Protege 4.1关于生物(生物分类)为家庭作业设计了一个OWL 本体,但我对 OWL 本体非常陌生,不明白如何解决这些关于不一致和个人。inconsistent ontology, bad individuals
编辑1:
我的类层次结构如下所示:
这些是来自解释框中热点选项卡的公理:
下面是.owl文件 的两个链接:
skydrive: http://sdrv.ms/11DdHao
drive.google: https://docs.google.com/folder/d/0B4IUN70RC09nelI3MU1jdHhlWEE/edit
Thanks in advance, every advice and/or hint are very welcomed!
jena - Jena 在添加实例后更改了我的 owl 文件
我有一个用 protege 4.2 创建的 owl 文件。当我使用 Jena 添加一些实例时,Jena 更改了文件结构,但文件扩展名保持不变(.owl),该文件在 protege 中是可读的,但有一些错误。任何人都知道我的代码的问题在哪里?
因为在使用 Jena 进行编辑后,sparql查询的结果有点奇怪。
例如,在使用 Jena 进行编辑之前
耶拿之后
这是代码
ontology - SQWRL 查询和 SWRL 规则的数据库
我已经使用 Protégé 构建了一个本体,但是如何向其中写入数据?我们需要有单独的数据库吗?我跟着这个链接。现在数据库已在 SQL 中创建,但我不知道如何将数据放在那里。以及如何根据本体匹配表和列?我需要手动创建所有内容还是可以进行任何导入?
rdf - 使用 Jena 解析 Protege 生成的枚举数据类型
我有一个 Protege 4.2.0 生成的本体文件。它包括如下定义的 DatatypeProperty。
在 Protege 中,它看起来像这样:
现在我正在使用 Jena 来解析 Ontology 文件。我能够获得与“范围”标签对应的 OntClass 对象:
那么我怎样才能得到像 Protege 中的枚举数组 {"african_american" , "asian" , "caucasian" , "hispanic" , "other"} 呢?
我知道 DataRange 有一个名为“listOneOf”的方法,但是我不知道如何制作 DataRange 对象,至少“p.isDataRange()”返回 false。