Question

我目前正在使用Protege，我想知道是否实际上可以将推断的三元组（通过使用推理器）添加到现有的RDF文件中？在获得推断的三元组之后，我想将它们添加到现有文件中。非常感谢你。

Answer 1

在文件菜单中，项目将推断的公理导出为本体。确切地保存哪些推断语句是可自定义的，并且在选择该菜单项后将提示您。例如，从这个本体开始：

@prefix :      <http://www.example.org/testExport#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

<http://www.example.org/testExport>
        a       owl:Ontology .

:Superclass  a  owl:Class .

:Subclass  a             owl:Class ;
        rdfs:subClassOf  :Superclass .

:a      a       owl:NamedIndividual , :Subclass .

我得到了这个导出的信息：

@prefix :      <http://www.example.org/testExport#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

<http://www.example.org/testExport2>
        a       owl:Ontology .

:Superclass  a            owl:Class ;
        rdfs:subClassOf   owl:Thing ;
        owl:disjointWith  owl:Nothing .   # inferred

:Subclass  a              owl:Class ;
        rdfs:subClassOf   :Superclass ;
        owl:disjointWith  owl:Nothing .   # inferred

:a      a       owl:Thing ,               # inferred
                :Subclass ,
                :Superclass ,             # inferred
                owl:NamedIndividual .

将推断的三元组添加到现有RDF文件中

1 个答案: