猫头鹰:ObjectProperty和推理 [英] owl:ObjectProperty and reasoning

问题描述

在本体中，我有两个类型为abc:Invention的人:

In my ontology, I have two individuals of type abc:Invention :

abc:InventionA rdf:type abc:Invention .
abc:InventionB rdf:type abc:Invention .

和2个类型为abc:MarketSector的个人，并与对象属性abc:includedIn关联:

and 2 individuals of type abc:MarketSector, linked with an object property abc:includedIn :

abc:MrktSctrA rdf:type abc:MarketSector .
abc:MrktSctrB rdf:type abc:MarketSector .    
abc:MrktSctrB abc:includedIn MrktSctrA .

当前，发明人A和发明人B通过对象属性abc:targets分别与MrktSctrA和MrktSctrB链接:

Currently, InventionA and InventionB are linked with, respectively MrktSctrA and MrktSctrB via an object property abc:targets :

abc:InventionA abc:targets abc:MrktSctrA .
abc:InventionB abc:targets abc:MrktSctrB .

是否可以创建与以下语句等效的对象属性abc:commonObjectivesWith?

Is it possible to create an object property abc:commonObjectivesWith equivalent to the following statement ?

如果发明针对的是市场部门，而另一个发明 定位到另一个市场部门，并且这些市场部门中的任何一个是 包括在其他MarketSector 中，那么这两个 共同目标.

If an Invention targets a MarketSector, and another Invention targets another MarketSector, and any of these MarketSectors is included in the other MarketSector, then those two Inventions have common objectives.

然后，如果我根据这种本体论开始推理，它可以推断出

Then, if I start my reasoner on this ontology, it can infer

abc:InventionA abc:commonObjectivesWith abc:InventionB

这可能吗?谢谢建议

推荐答案

您可以使用SWRL规则执行此操作，如您的答案中所示，但这需要可以使用SWRL规则的推理机.您也可以使用子属性链在OWL 2 DL中执行此操作.您遇到这种情况，其中实线箭头是数据中的关系，而虚线箭头是您要推断的内容:

You can do this with a SWRL rule as shown in your answer, but that requires a reasoner that can use SWRL rules. You can also do this in OWL 2 DL using subproperty chains. You've got this situation, where the solid arrows are relationships in your data, and the dotted arrow is what you want to infer:

您可以用以下形式的OWL 2 DL子属性链公理来表示此形式:(首先是摘要，然后在Protégé中具有生成的本体):

You can represent this with an OWL 2 DL subproperty chain axiom of the form (first abstract, then in Protégé with the resulting ontology):

目标 o 包括 o 反(目标) SubPropertyOf 常见

targets o includes o inverse(targets) SubPropertyOf common

@prefix :      <https://stackoverflow.com/q/24569317/1281433/paths#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

<https://stackoverflow.com/q/24569317/1281433/paths> aowl:Ontology .
:includesClassification a owl:ObjectProperty .
:targets                a owl:ObjectProperty .
:commonObjectivesWith
        a owl:ObjectProperty ;
        owl:propertyChainAxiom  ( :targets :includesClassification [ owl:inverseOf :targets ] ) .

这篇关于猫头鹰:ObjectProperty和推理的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！