易于安装/使用是这里最重要的因素 - 而不是性能.
小是可以的,因为不期望大数据集.
我在许多本体上使用了pellet推理器,并在IRI列表上运行了info方法(在本例中为URL).我感兴趣的两个指标是DL Expressivity和OWL Profile.
OWL配置文件我的范围从"OWL 2","OWL 2 DL","OWL 2 EL","OWL 2 QL","OWL 2 RL".什么时候说"OWL 2",这是否意味着本体是OWL 2满的?所有其他变种DL都是吗?我找到了一个描述不同配置文件的规范(特别是表10)[作为新用户我不能发布多个超链接; 以为即将到来的那个更重要的是两个],但到目前为止我还没能为自己回答这个问题.
至于"DL表达性",这个名字暗示所有表达性代码(例如ALCH,ALCH(D))都是DL.我已经找到了这个高度学术性的目录,可以说,代码及其在复杂性方面的技术含义,但我需要知道如何通过查看表达式来说明,至少一般来说,本体是DL还是Full.任何帮助或链接解释这些事情将是非常感谢.
如果它有所帮助,我还应该为我正在尝试用这些东西做些什么.我只是根据"pellet info"数据构建一个表,该数据具有本体ID号(来自url列表),表达性和每个OWL Profile,还说明该本体是完整的,DL还是Lite.
如何使用SWI-Prolog语义Web库查询OWL/RDF文件并提取一些信息?
OWL/RDF文件包含有关所有Debian软件包的信息,因此我需要进行查询以查找软件包依赖项.
例如:
OWL文件的结构如下:
package: A
Depends:
package: B
pacakge: C
Run Code Online (Sandbox Code Playgroud)
如何将OWL/RDF文件加载到Prolog脚本中,在Prolog脚本中进行查询的语法是什么,以便将A作为参数并且脚本输出B和C?
我是SPARQL的初学者,并且想知道是否有一个查询可以帮助我返回传递关系.例如下面的n3文件,我想要一个返回"a is is sameas c"的查询或沿着这些行的东西.谢谢
@prefix : <http://websitename.com/links/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
:a owl:sameas :b.
:b owl:sameas :c.
Run Code Online (Sandbox Code Playgroud) 我有一个使用Protege用OWL编写的Ontology.但我没有找到创建类之间关系的解决方案.当然,有一个"子类"关系,但我想定义自己的关系.所以我有一个类层次结构(由"子类" - 关系组成)但我想创建一个关系,即"has_Relation",以连接两个类.
我的目标是编写一个java程序,我可以在其中获取"哪个类是类的父类?"的信息.和"哪个类是has_Relation连接?"
(我不是在谈论个人 - 我只是在谈论课程)
非常感谢您的帮助!
最好的问候纳坦
我正在研究语义网,我想知道:写一个限制的语义是否有任何区别:
:Person
a owl:Class ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:onProperty :hasParent ;
owl:allValuesFrom :Person
] .
Run Code Online (Sandbox Code Playgroud)
并编写范围限制,如:
:hasParent rdfs:range :Person.
Run Code Online (Sandbox Code Playgroud)
在我看来,它意味着相同:父母必须有一种人.没有任何区别吗?
我的本体是图书分类库.我有这个问题.我想通过protégé4.1建立一个书籍分类本体,这个分类有14个类别,除了兄弟类作者,书,伊斯本.书籍类中的个人是书的主题(约600个主题),作者类中的个人是名字的作者,也是isbn类.然后我对对象属性和数据类型属性感到困惑.如果hasEdition在我的本体中的属性中,那么我说课本中的每本书都与版本类有关.所以我使用对象属性,但这个类(版本类)中的个体是整数<9.那怎么说呢?是数据类型还是对象?并可以使用对象属性与数据类型属性?(同名)
我目前正在使用rdflib在Python中创建和管理RDF图.但是,RDFlib不会进行任何RDFS或OWL推理.这导致如下结果:
如果我有
A rdf:type MyType .
MyType rdfs:subClassOf SuperType .
Run Code Online (Sandbox Code Playgroud)
我问
select ?x where {?x rdf:type SuperType}
Run Code Online (Sandbox Code Playgroud)
然后我什么都没得到,但我想得到A(通过RDFS语义).
同样的事情发生在owl:equivalentClass.如果我有
A rdf:type MyType .
MyType owl:equivalentClass SiblingType .
Run Code Online (Sandbox Code Playgroud)
我问
select ?x where {?x rdf:type SiblingType}
Run Code Online (Sandbox Code Playgroud)
我想得到A,但我一无所获.
有没有办法获得这些结果?
我目前正在玩OWL,特别是有限制.我正在尝试创建执行以下操作的查询:
假设我有一个类'Cinema',它有一个属性'movies'(包含'Movie'类型的对象)."电影"类包含名为"genre"的属性.现在我想创建一个只有类型为'action'的电影的ActionCinemas类.
我真的不知道该怎么做.我正在考虑用交叉点或基数来做某事,但我不确定.
有人能帮我一把吗?
owl ×10
rdf ×5
ontology ×4
protege ×3
semantic-web ×3
sparql ×3
inference ×1
jena ×1
pellet ×1
prolog ×1
python ×1
rdflib ×1
rdfs ×1
restriction ×1
restrictions ×1
semantics ×1
swi-prolog ×1
taxonomy ×1
triplestore ×1