将 OWL 类表达式重写为 SPARQL 查询？

Question

我一直在熟悉 AKSW 的 https://github.com/SmartDataAnalytics/OWL2SPARQL，它非常易于使用，即使使用 Scala 和 sbt，但不会重写类表达式。

我 (and at least one other person!) 会发现类表达式 -> SPARQL 重写很有帮助。也许那是因为我（至少）做了双关语？例如，我需要找到所有提到任何（间接）含有化学“瑞舒伐他汀”作为活性成分的药片类别的所有药物处方人

:X a 'drug prescription' .
:X mentions 'rosuvastatin Oral Tablet' .

在哪里

• '药方'是http://purl.obolibrary.org/obo/PDRO_0000024
• 提及的是http://purl.obolibrary.org/obo/IAO_0000142
• '瑞舒伐他汀口服片'是http://purl.obolibrary.org/obo/DRON_00027869

“瑞舒伐他汀口服片剂”的超类和断言公理：

drug tablet
  has_proper_part some (scattered molecular aggregate and 
    (is bearer of some active ingredient) and 
        (has granular part some rosuvastatin))

其中 rosuvastatin 是 http://purl.obolibrary.org/obo/DRON_00018679（其他 IRI 可以在 RDF/XML 上下文中看到 http://www.ontobee.org/ontology/rdf/DRON?iri=http://purl.obolibrary.org/obo/DRON_00027869）

是否有其他工具可以将 OWL 类表达式重写为 SPARQL 查询？

如果不是，我想我可能会写一个属性链快捷方式......但这忽略了链中涉及的类的类型，对吧？

我在https://github.com/turbomam/owl2sparql4turbo有一个例子

Answer 1

AKSW 添加了我要求的功能，并给了我一些关于使用 OWL API 的好技巧。我从 Java 流到 Scala 流的桥可能有点笨拙。

克隆 https://github.com/turbomam/owl2sparql4turbo 看看我如何设置 build.sbt 来导入依赖项。

Ontology rots.owl 包括这样的公理（在曼彻斯特表示法中...... RDF/XML 或 Turtle 也可以）：

Class: obo:DRON_00027869

    Annotations: 
        rdfs:label "rosuvastatin Oral Tablet"^^xsd:string,
        obo:DRON_00010000 "402354"^^xsd:string

    SubClassOf: 
        obo:DRON_00000022,
        <http://www.obofoundry.org/ro/ro.owl#has_proper_part> some 
            (obo:OBI_0000576
             and (obo:BFO_0000053 some obo:DRON_00000028)
             and (obo:BFO_0000071 some obo:DRON_00018679))

跑通https://github.com/turbomam/owl2sparql4turbo/blob/master/src/main/scala/ROTS.scala...

import java.io.File
import scala.compat.java8.StreamConverters.RichStream
import org.aksw.owl2sparql.OWLClassExpressionToSPARQLSubClassQueryConverter
import org.semanticweb.owlapi.apibinding.OWLManager
import org.semanticweb.owlapi.model.IRI
import org.semanticweb.owlapi.search.EntitySearcher

object ROTS {

  // SPARQL searches for Rosuvastatin Oral Tablet classes

  def main(args: Array[String]): Unit = {

    var manager = OWLManager.createOWLOntologyManager()
    var ontology = manager.loadOntologyFromOntologyDocument(new File("rots.owl"))

    // use a factory to convert stings to IRI objects
    var factory = manager.getOWLDataFactory()
    var termIRI = IRI.create("http://purl.obolibrary.org/obo/DRON_00081385")
    var someClass = factory.getOWLClass(termIRI)

    var classSupers = EntitySearcher.getSuperClasses(someClass, ontology).toScala[Stream]

    var oneSuper = classSupers(0)

    var scConverter = new OWLClassExpressionToSPARQLSubClassQueryConverter()
    var targetVar = "?x"

    var queryStr = scConverter.convert(oneSuper, targetVar)

    println(queryStr)

  }
}

生成输出：

PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT ?x WHERE {  ?x rdf:type owl:Class ;
     rdfs:subClassOf [ rdf:type owl:Restriction ;
                       owl:onProperty <http://www.obofoundry.org/ro/ro.owl#has_proper_part> ;
                       owl:someValuesFrom [ owl:intersectionOf ( <http://purl.obolibrary.org/obo/OBI_0000576>
                                                                 [ rdf:type owl:Restriction ;
                                                                   owl:onProperty <http://purl.obolibrary.org/obo/BFO_0000053> ;
                                                                   owl:someValuesFrom <http://purl.obolibrary.org/obo/DRON_00000029>
                                                                 ]
                                                                 [ rdf:type owl:Restriction ;
                                                                   owl:onProperty <http://purl.obolibrary.org/obo/BFO_0000071> ;
                                                                   owl:someValuesFrom <http://purl.obolibrary.org/obo/CHEBI_30618>
                                                                 ]
                                                               ) ;
                                            rdf:type owl:Class
                                          ]
                     ] .
}