Добавление предполагаемых троек в существующий файл RDF

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 .