问题标签 [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 - Protege:如何指定数据属性的限制?
我正在使用 Protege 创建一个本体,并希望指定对数据属性的限制。假设有一个名为 的数据属性hasCode
。我已定义string
为范围,并希望进一步定义最大长度为 3 个字符。
rdf - RDF/OWL 到 TRIPLE 存储
我在 Protege 中创建了一个本体。现在,为了让我的应用程序具有更好的可扩展性,我喜欢将 OWL 文件转换为三重存储并查询存储。
如何将 owl 文件转换为三重存储?
list - Protege:如何表达'not hasNext'?
我目前正在使用 protege 开发一个本体,并想确定一个节点是否是列表的最后一个。所以基本上一个列表指向一个节点,每个节点都有一些内容并且可以有另一个节点:
List startsWith some Node
Node hasContent some Content
Node hasNext some Node
现在我想定义一个名为EndNode
不指向另一个的子类Node
。这是我迄今为止尝试过的,但分类后,EndNode
总是等于Nothing
:
Node and not(hasNext some Node)
Node and (hasNext exactly 0 Node)
java - How to get OWL file from opencyc?
I want to get some domain of knowledge in opencyc KB in OWL form.. Assume we want to take fruit. Then how can I take this knowledge as OWL form? Because I want to load that file into protege as OWL ontology. So how can I do this? I already downloaded OWL files from opencyc site and I tried to load into protege. But I got error as at edu.stanford.smi.protegex.owl.jena.parser.ProtegeOWLParser$1.invokeARP(Unknown Source) Plz help me...
semantic-web - 在 OWL 中声明一个空类
OWL 是否允许本体只包含一个空类?类必须包含一些个体吗?做
意思是“人类”是一个空类?
如果一个本体包含一个空类,是否可以在另一个扩展它的本体中定义个体?
类似地,可以声明一个个体而不是本体中任何类的成员吗?
谢谢
sparql - Jena:如何推断数据/性能问题
我想使用 Jena 的推理功能,但是在使用 InfModel 时遇到了一些性能问题。
这是我的本体的简化概述:
特性:
此外,还有一个类“对象”:
显式存储以下数据:
使用以下查询,我想确定实例属于哪个类。根据所做的假设,应该只返回“SomeObject”。
但是,查询ds.getDefaultModel()
不起作用,因为数据没有显式存储。infModel
另一方面,当我使用时,查询永远不会完成。在中止之前,我一直在等待 25 分钟。(三重存储的大小约为 180 MB)
这是我的代码:
上面的代码有什么问题吗,或者还有什么原因导致它不起作用?
除此之外,我想知道如果我“将推断的公理导出为本体”(由 Protege 提供)是否可以提高性能?
编辑: 我同时尝试使用 Pellet,但我仍然无法获得推断模型,正如我在另一个问题中所描述的那样:OutOfMemoryError using Pellet as Reasoner。那我还能做什么?
java - 使用 Jena 读取限制值
我有一个对象限制定义如下
如何使用 Jena 读取限制中定义的各个值。
rdf - 猫头鹰 - protege 没有正确推断?如何准确定义一个“素食主义者”类?
我已经被困了两天,试图理解为什么以下场景不起作用:
截图在这里:http ://dl.dropbox.com/u/4677548/screenshots.html
我有一个 VegetarianFood 类(食物的子类),它等同于“食物和(鸡蛋或 MilkAndDerivates 或 VeganFood)”,如您在屏幕截图 1 中所见
VeganFood 类,反过来,相当于其他类(NutsAndSeeds、Cereals、Fruit 等) screenshot 2
如您所见,有两个人(切达奶酪和腰果)被创建为 MilkAndDerivates 和 NutsAndSeeds screenshot 3,他们被正确推断为 VegetarianFood 和 VeganFood 成员
然后,我使用对象属性 hasIngredient 截图 4 和 5 创建了两个个体作为食谱,一个仅使用腰果 (PastaVega),另一个使用切达干酪和腰果 (PastaVege)
并且它们被推断为Recipe...但没有一个属于VegatarianRecipe和VeganRecipe的类别,定义如下截图6和7
我没有线索,为什么他们没有被推断为 VegetarianRecipe(或素食主义者)?我错过了什么?
编辑:
如果我将 VegetarianRecipe(或素食主义者)从“Recipe and (hasIngredient ONLY VegetarianFood)”更改
到“食谱和(有一些素食)”
截图 8
显示了个人的收据,但这当然不是我想要做的,因为这样它将包括混合肉类和素食的食谱。那么如何定义一个vegetarianrecipe 和veganrecipe 类以允许推理者正确推断出一个食谱是素食还是纯素食????
rules - Protege Stanford JessTab 错误
我正在尝试探索熟悉 JessRules。我已将 jessrules ver 7 引擎安装到 protege 3.4.8 中。
首先我创建人员类没有问题:
然后我创建个人:
然后我得到以下回复:
在教程中应该是:
但实例已成功创建。但是当我执行 mapclass 和 fact 命令时,实例事实输出中的某些部分也会包含错误:
我不确定这个错误。我已经尝试谷歌并没有找到任何线索。预先感谢您的帮助。