rdf推理规则通过耶拿

我想表达这种关系：如果文章X有作者Y，作者有影响因子中或高（3类：低，中，高），那么这篇文章被认为是强烈推荐。rdf推理规则通过耶拿

(?x computer-science#hasAuthor ?y)(?y computer-science#hasInfluenceFactor computer-science#High) -> (?x computer-science#isImportant computer-science#importantfactor)

是我的想法吧？

这里是本体的一些片断

<owl:ObjectProperty rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasAuthor"> 
    <rdf:type rdf:resource="&owl;TransitiveProperty"/> 
    <owl:propertyDisjointWith rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#isAuthorOf"/> 
    <rdfs:range> 
     <owl:Restriction> 
      <owl:onProperty rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasAuthor"/> 
      <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#author"/> 
     </owl:Restriction> 
    </rdfs:range> 
    <rdfs:domain> 
     <owl:Restriction> 
      <owl:onProperty rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasAuthor"/> 
      <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#article"/> 
     </owl:Restriction> 
    </rdfs:domain> 
</owl:ObjectProperty> 
    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasInfluenceFactor"> 
    <rdf:type rdf:resource="&owl;TransitiveProperty"/> 
    <rdfs:domain rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#author"/> 
    <rdfs:range rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#influenceFator"/> 
</owl:ObjectProperty> 
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#High"> 
    <rdf:type rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#influenceFator"/> 
</owl:NamedIndividual> 
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#isImportant"> 
    <rdf:type rdf:resource="&owl;TransitiveProperty"/> 
    <rdfs:range rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#importantFactor"/> 
    <rdfs:domain rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#influenceFator"/> 
</owl:ObjectProperty> 
    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#importantFactor"> 
    <rdf:type rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#importantFactor"/> 
</owl:NamedIndividual>

真诚地感谢我的问题:)

来源

2013-04-28 Sarotti

你并不需要创建一个规则来表达你的本体中的任何浏览器，你可以做到这一点完全在OWL中。首先我们根据你的例子定义一个本体论，但是用一些新的公理。特别是，我们定义了两个新的类别表达式：InfluentialArticle和ImportantArticle。一个有影响的文章有高或中等的影响，一个重要的作家写了至少一个有影响力的文章：

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. 
@prefix owl: <http://www.w3.org/2002/07/owl#>. 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. 
@prefix cs: <http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#>. 

# properties 
cs:hasAuthor 
    a  owl:ObjectProperty ; 
    rdfs:domain cs:Article ; 
    rdfs:range cs:Author . 

cs:wrote 
    a owl:ObjectPropert ; 
    owl:inverseOf cs:hasAuthor . 

# classes 
cs:hasInfluenceFactor 
    a  owl:ObjectProperty ; 
    rdfs:domain cs:Article ; 
    rdfs:range cs:InfluenceFactor . 

cs:InfluenceFactor 
    owl:equivalentClass 
    [a owl:Class ; 
    owl:oneOf (cs:high cs:medium cs:low) 
    ]. 

cs:Author a owl:Class. 
cs:Article a owl:Class. 

# axioms 

# an influential article has a high or medium impact 
cs:InfluentialArticle 
    rdfs:subClassOf cs:Article ; 
    owl:equivalentClass [ 
    owl:unionOf (
     [a owl:Restriction ; 
     owl:onProperty cs:hasInfluenceFactor ; 
     owl:hasValue cs:high] 
     [a owl:Restriction ; 
     owl:onProperty cs:hasInfluenceFactor ; 
     owl:hasValue cs:medium 
     ] 
    ) 
    ]. 

# an important author wrote an influential article 
cs:ImportantAuthor 
    rdfs:subClassOf cs:Author ; 
    owl:equivalentClass [ 
    a owl:Restriction ; 
    owl:onProperty cs:wrote ; 
    owl:someValuesFrom cs:InfluentialArticle 
    ]. 

# individuals 

# fred wrote a lousy paper 
cs:fred 
    a cs:Author. 
cs:article1 
    a cs:Article ; 
    cs:hasInfluenceFactor cs:low ; 
    cs:hasAuthor cs:fred. 

# jane wrote a good paper 
cs:jane 
    a cs:Author. 
cs:article2 
    a cs:Article ; 
    cs:hasInfluenceFactor cs:high ; 
    cs:hasAuthor cs:jane.

现在我们可以写一些耶拿代码来加载这个本体和处理它与一个内置的推理：

package examples; 

import java.util.Iterator; 

import com.hp.hpl.jena.ontology.*; 
import com.hp.hpl.jena.rdf.model.ModelFactory; 
import com.hp.hpl.jena.util.FileManager; 

public class ReasonerExample 
{ 
    String NS = "http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#"; 

    public static void main(String[] args) { 
     new ReasonerExample().run(); 
    } 

    public void run() { 
     OntModel m = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MICRO_RULE_INF); 
     FileManager.get().readModel(m, "src/main/resources/comp-sci.ttl"); 

     // list all authors 
     System.out.println("All authors:"); 
     OntClass author = m.getOntClass(NS + "Author"); 
     for (Iterator<? extends OntResource> i = author.listInstances(); i.hasNext();) { 
      System.out.println(" " + i.next().getURI()); 
     } 

     // list high impact authors 
     OntClass importantAuthor = m.getOntClass(NS + "ImportantAuthor"); 
     System.out.println("Important authors:"); 
     for (Iterator<? extends OntResource> i = importantAuthor.listInstances(); i.hasNext();) { 
      System.out.println(" " + i.next().getURI()); 
     } 
    } 
}

这给下面的输出：

All authors: 
    http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#jane 
    http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#fred 
Important authors: 
    http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#jane

注意我也修正了自己的名字使用OWL约定：类的前导大写字母，小写为everythi其他人。我也简化了领域和范围约束，这有点奇怪。

更新

继从原来的海报评论，我用耶拿的rdfcat工具如下翻译本体到RDF/XML：

<rdf:RDF 
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
    xmlns:cs="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#" 
    xmlns:owl="http://www.w3.org/2002/07/owl#" 
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"> 
    <owl:Class rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#Article"/> 
    <owl:Class rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#Author"/> 
    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasAuthor"> 
    <rdfs:domain rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#Article"/> 
    <rdfs:range rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#Author"/> 
    </owl:ObjectProperty> 
    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasInfluenceFactor"> 
    <rdfs:domain rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#Article"/> 
    <rdfs:range> 
     <rdf:Description rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#InfluenceFactor"> 
     <owl:equivalentClass> 
      <owl:Class> 
      <owl:oneOf rdf:parseType="Collection"> 
       <rdf:Description rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#high"/> 
       <rdf:Description rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#medium"/> 
       <rdf:Description rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#low"/> 
      </owl:oneOf> 
      </owl:Class> 
     </owl:equivalentClass> 
     </rdf:Description> 
    </rdfs:range> 
    </owl:ObjectProperty> 
    <rdf:Description rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#ImportantAuthor"> 
    <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#Author"/> 
    <owl:equivalentClass> 
     <owl:Restriction> 
     <owl:onProperty> 
      <owl:ObjectPropert rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#wrote"> 
      <owl:inverseOf rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasAuthor"/> 
      </owl:ObjectPropert> 
     </owl:onProperty> 
     <owl:someValuesFrom> 
      <rdf:Description rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#InfluentialArticle"> 
      <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#Article"/> 
      <owl:equivalentClass rdf:parseType="Resource"> 
       <owl:unionOf rdf:parseType="Collection"> 
       <owl:Restriction> 
        <owl:onProperty rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasInfluenceFactor"/> 
        <owl:hasValue rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#high"/> 
       </owl:Restriction> 
       <owl:Restriction> 
        <owl:onProperty rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#hasInfluenceFactor"/> 
        <owl:hasValue rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#medium"/> 
       </owl:Restriction> 
       </owl:unionOf> 
      </owl:equivalentClass> 
      </rdf:Description> 
     </owl:someValuesFrom> 
     </owl:Restriction> 
    </owl:equivalentClass> 
    </rdf:Description> 
    <cs:Article rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#article2"> 
    <cs:hasInfluenceFactor rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#high"/> 
    <cs:hasAuthor> 
     <cs:Author rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#jane"/> 
    </cs:hasAuthor> 
    </cs:Article> 
    <cs:Article rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#article1"> 
    <cs:hasInfluenceFactor rdf:resource="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#low"/> 
    <cs:hasAuthor> 
     <cs:Author rdf:about="http://www.semanticweb.org/aero/ontologies/2013/1/computer-science#fred"/> 
    </cs:hasAuthor> 
    </cs:Article> 
</rdf:RDF>

来源

2013-04-30 11:14:36

喜伊恩@Ian迪金森谢谢你，这么复杂的介绍。我想我掌握了你所说的，但是......我知道它真的很愚蠢，我可以在哪里将这些公理以RDF/XML格式整合到我的本体文件中？我用protege 4.2来创建领域本体。你的想法会给我一些进一步的信息来完成这个吗？谢谢 – Sarotti 2013-04-30 14:07:23

好吧，Protégé应该能够读取Turtle格式以及RDF/XML。不过，我已经使用Jena的rdfcat将本体论翻译成了RDF/XML。查看RDF/XML答案的更新版本。 – 2013-04-30 16:22:07

明确。非常感谢你伊恩，你为我做了一件大事:) – Sarotti 2013-05-01 07:13:30

rdf推理规则通过耶拿

回答

相关问题