Правильный способ описания предполагаемого свойства с помощью OWL и RDF - PullRequest
Новая
       47

Правильный способ описания предполагаемого свойства с помощью OWL и RDF

0 голосов
/ 07 июня 2018

Я пытаюсь написать правило вывода, используя OWL.

Учитывая следующее:

  • Документ классифицируется как имеющий категорию - скажем, "Договорное право"
  • Существует родительская категория "Закон", в которой "Договорное право" является подкатегорией
  • Я хотел бы сделать вывод, что документ также классифицирован как "Закон"

Заявления: 

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

:Document rdf:type owl:Class .
:Category rdf:type owl:Class .

:documentHasCategory rdf:type owl:ObjectProperty ;
                rdfs:domain :Document ;
                rdfs:range :Category .

:hasSubCategory rdf:type owl:ObjectProperty ;
                rdfs:domain :Category ;
                rdfs:range :Category .

:category1 rdf:type :Category ;
      rdfs:label "Law" ;
      :hasSubCategory :category2 .

:category2 rdf:type :Category ;
      rdfs:label "Contract Law".

:doc1 rdf:type :Document ;
     :documentHasCategory :category2 .

Как мне написать оператор вывода, чтобы добавить категорию «Право» в документ?Я попытался: 

:inferredCategory rdf:type owl:ObjectProperty ;
                 rdfs:domain :Document ;
                 rdfs:range :Category ;
                 owl:propertyChainAxiom ( :documentHasCategory :hasSubCategory ) .

Но я не вижу никаких предполагаемых утверждений (я использую GraphDB).

Является ли owl:propertyChainAxiom правильным подходом к этому?Я неправильно понял синтаксис моей черепахи?

1 Ответ

0 голосов
/ 09 июня 2018

Я не уважал направление предиката hasSubCategory, поэтому на самом деле ничто не соответствует правилу propertyChain.

Определение логического вывода, подобного этому, прекрасно работает: 

:hasParentCategory rdf:type owl:ObjectProperty ;
    owl:inverseOf :hasChildCategory .

:documentHasInferredCategory rdf:type owl:ObjectProperty ;
                rdfs:domain :Document ;
                rdfs:range :Category ;
                owl:propertyChainAxiom ( :documentHasCategory :hasParentCategory ) .
...