标签: description-logic

在研究描述逻辑(DL)时,很常见的是它是一阶逻辑(FOL)的一个片段,但很难从DL中排除的内容中明确地读出一些内容,这是FOL的一部分,这使得DL (所有方言ALC,SHOIN等......)可判定.或者换句话说,你能否在FOL中提供一些不能通过DL表达的例子(这是FOL中半/非可判定性的原因)？

是否可以使用SPARQL查询定义资源(来自DBpedia)？我希望有一些类似于TBox和ABox的内容(概念)语义Web的聚类方法:问题和应用程序(幻灯片10-11).例如,对于DBpedia资源Stephen King,我想:

Stephen_King:人⊓作家⊓男⊓...(最具体的课程)

在描述逻辑中,存在称为"rolification"的概念(OWL和Rules,Sec 3.2).它将概念(类)转换为角色(属性).例如,当我们滚动时R(x),我们得到r(x,x).该技术对于在DL中表达一些规则很有用.

我们如何在OWL 2中做到这一点？似乎在OWL 2规范中没有直接支持滚动.

如果你看一下OWL本体定义,你会看到一堆类定义.其中之一是以下内容:

owl:Nothing a owl:Class ;
     rdfs:label "Nothing" ;
     rdfs:comment "This is the empty class." ;
     rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
     rdfs:subClassOf owl:Thing . 

这是否有用,如果是的话,它是什么？

我刚刚发现了OWL和Pr​​otege.通过阅读这个参考页面(我在下面引用),我想知道是否可以不使用抽象的OWL语法,而是用DL语法编写.我的背景是逻辑上的,所以听起来它会更有趣,即使我以后必须翻译本体(虽然我确信必须有应用程序才能做到这一点 - 此外,不要让reasoners使用DL吗？).

如果可能,我应该在Protege(或您建议的其他软件)中使用哪些设置配置才能执行此操作？我怀疑这是不可能的,但我想确定,因为除了特殊符号的尴尬之外我没有其他正当理由.

编辑:如果不可能,DL语言究竟是如何使用的？

OWL DL是描述逻辑SHOIN,支持数据值,数据类型和数据类型属性,即SHOIN(D),但由于OWL基于RDF(S),因此术语略有不同....对于OWL本体或知识库的描述,可以使用DL语法.有一个类似LISP的"抽象"语法定义,更容易用ASCII字符集编写.

这是相同数据的两种语法样式的一个非常简短的工作示例.

我一直在寻找为什么OWL Full无法确定的原因，但是我还没有找到一个易于理解的示例来使我理解它。

我发现有陈述解释这是由于“封闭性”引起的，并且还与OWL Full可以同时具有作为属性的类和也作为个人的类这一事实有关。

但是我不理解这些陈述之间的关系。

如何在描述逻辑中描述这个？

"每个人都是男性或女性"

谢谢

此DL-Query不会返回任何个人:

• 查询(Protégé语法): hasPet exactly 1 DomesticAnimal

这是本体的一部分:

:hasPet a           owl:ObjectProperty;
        rdfs:domain :Human;
        rdfs:range  :DomesticAnimal;
        owl:inverseOf : petOf;


:Joe    a           :Human;
        hasPet      :Lassy.

:Bob    a           :Human;
        hasPet      :Sparkey, Lucky.

查询:

• petOf value Bob 回归Sparkey和Lucky
• petOf value Joe 回报 Lassy
• hasPet exactly 1 没有回报.

为什么不是最后一个查询返回Joe？我在使用Pellet,HermiT和FaCT ++的Protégé中尝试过它,但它没有用.

在我的Ontology中,我有三个类,播放器,团队和竞赛.我还有两个对象属性,使用和competesIn.域采用是团队和范围播放器,域competesIn是团队 或 球员和范围的竞争.

我希望Ontology能够推断出如果一个球员被一个球队雇用并且该球队参加了比赛,那么该球员也会参加那场比赛.是否有任何方法可以将此信息添加到Ontology中,而无需为本体中的每个人添加{Player} competesIn {Competition}？

我在我的Ontology中建模了以下内容:

俱乐部雇用一些玩家,玩家拥有国籍一些国籍,玩家拥有国家地位值National_Player,国家相当于国籍.

我希望Ontology推断:

如果一个玩家拥有一些国籍,而玩家拥有国家状态值National_Player那么,国家(与玩家拥有的国籍相同)雇用玩家.

举个例子:

{Steven_Gerrard}具有国家价值英格兰和{Steven_Gerrard}具有NationalStatus值National_Player因此,{England}雇用[Steven_Gerrard}.

有没有可能的方法将这些知识添加到Protege？

谢谢.

编辑:

错误消息:

错误42登录于2014年4月1日星期二20:49:24 BST

OWLReasonerRuntimeException:非简单对象属性' http://www.semanticweb.org/u1cjd/ontologies/2014/1/untitled-ontology-2#employs '用作简单对象

和

错误43登录于星期二四月01 20:49:24 BST 2014 ReasonerInternalException:tRole.cpp:243:断言'Ancestor.empty()&& Descendant.empty()'失败