Erstellen Sie einzelne in Protege mit DataProperties Einschränkung

Question

Guten Abend alle Ich habe eine einfache Ontologie mit nur einer Klasse (Methoden) erstellt und haben DataProperty action_nb (ganze Zahl) und Typ Hexe ist (String) und kann nur sein (Wahl, Rang, Art), dann eine Abfrage zum Beispiel searche verwenden: die Methode, bei der Aktionsnummer type = "Wahl"

1. wählen, wie Sie die action_nb in einem intervale ex zu erklären: methode1 => action_nb zwischen [10 , 30].

2. Wie deklariert man den Typ mit den drei Werten ex: methode1 => type: "choice";

dies der Code ist, dass ich jetzt haben:

SELECT ?inst 
WHERE { 
    ?inst ex:action_nb ?value . 
    ?inst es:type ?typ. 

    FILTER (?value < 80) 
    FILTER (?typ = " tri ") 
} 

Answer 1

Für 1), können Sie Datentypeigenschaft Einschränkungen verwenden können, erklärt here

für 2), sollten Sie owl:oneOf verwenden. Dies können Sie entweder mit aufgelisteten Klassen oder aufgelisteten Datentypen tun:

Aufzählung Klassen können nur Mitglieder innerhalb einer deklarierten Liste von RDF-Ressourcen (Einzelpersonen) haben. Sie können für jede Auswahl eine andere Person erstellen und dann eine Klasse MethodType mit äquivalenter Klasse die Liste {choice, rank, sort}. Bitte beachten Sie, dass die geschweiften Klammern in Protégé so aussehen. In Turtle wird es wie folgt aussehen:

:MethodType 
    rdf:type owl:Class ; 
    owl:equivalentClass [ 
     rdf:type owl:Class ; 
     owl:oneOf (
      :choice 
      :rank 
      :sort 
     ) ; 
    ] ; 
. 

Aufzählungsdatentypen sind Bereichseinschränkungen aus Listen von RDF-Literale, in Ihrem Fall die rdfs:rangeowl:oneOf {"choice", "rank", "sort"} sein wird. (Anmerkungen: 1. Der Kommentar zu den geschweiften Klammern hält hier gut war; 2.Dieser kann auch mit Eule erreicht werden. AllValuesFrom Einschränkungen)

Wenn die typeOP und typeDP sind espectively die Objekteigenschaft für den ersten Ansatz, und die Daten-Eigenschaft für das zweite könnte die Abfragen sein:

SELECT * 
WHERE { 
?m a :Method; 
:typeOP ?t . 

FILTER EXISTS {?m :typeOP :choice} 
} 

und

SELECT * 
WHERE { 
?m a :Method; 
:typeDP ?t . 

FILTER EXISTS {?m :typeDP "choice"} 
} 

sind.