как использовать класс как диапазон для свойств данных в Protege

Question

• создать свойстваданных с именем вида.
• Я хочу, чтобы он был StateKing. Я не знаю, как это сделать. В самом деле, в «утверждений собственности просмотра», «Описание вид», когда я нажимаю на к «Добавить» значок (+) следующие диапазоны всплывал появляются с задающих типами данных, как межд, Boolean , целое число, ...

• Отметьте, что StateKing является перечислить класс.

  StateKing: Эквивалентные классы {Choise, конечная, вилка, начальное, соединение, переход, состояние}.

Благодарим вас за советы.

PS: Я не могу добавить изображение сейчас.

Answer 1

StateKing является классом, поэтому, если вы хотите иметь свойство использовать его как диапазон, оно должно быть объектом недвижимости, а не данным.

код ниже ваша онтология представлена ​​с использованием синтаксиса Manchester, если вы сохраните его как .owl вы сможете открыть его с Protege 4.

<?xml version="1.0"?> 
<!DOCTYPE rdf:RDF [ 
<!ENTITY owl "http://www.w3.org/2002/07/owl#" > 
<!ENTITY dc "http://purl.org/dc/elements/1.1/" > 
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > 
<!ENTITY xml "http://www.w3.org/XML/1998/namespace" > 
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > 
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" > 
]> 

<rdf:RDF xmlns="http://www.example.org/demo.owl#" 
xml:base="http://www.example.org/demo.owl" 
xmlns:dc="http://purl.org/dc/elements/1.1/" 
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
xmlns:owl="http://www.w3.org/2002/07/owl#" 
xmlns:xsd="http://www.w3.org/2001/XMLSchema#" 
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
xmlns:xml="http://www.w3.org/XML/1998/namespace"> 
<owl:Ontology rdf:about="http://www.example.org/demo.owl"/> 

<owl:ObjectProperty rdf:about="http://www.example.org/demo.owl#kind"> 
    <rdfs:range rdf:resource="http://www.example.org/demo.owl#StateKing"/> 
</owl:ObjectProperty> 

<owl:Class rdf:about="http://www.example.org/demo.owl#StateKing"> 
    <owl:equivalentClass> 
     <owl:Class> 
      <owl:oneOf rdf:parseType="Collection"> 
       <rdf:Description rdf:about="http://www.example.org/demo.owl#join"/> 
       <rdf:Description rdf:about="http://www.example.org/demo.owl#state"/> 
       <rdf:Description rdf:about="http://www.example.org/demo.owl#choise"/> 
       <rdf:Description rdf:about="http://www.example.org/demo.owl#final"/> 
       <rdf:Description rdf:about="http://www.example.org/demo.owl#initial"/> 
       <rdf:Description rdf:about="http://www.example.org/demo.owl#junction"/> 
       <rdf:Description rdf:about="http://www.example.org/demo.owl#fork"/> 
      </owl:oneOf> 
     </owl:Class> 
    </owl:equivalentClass> 
</owl:Class> 


<owl:Class rdf:about="&owl;Thing"/> 

<owl:Thing rdf:about="http://www.example.org/demo.owl#choise"> 
    <rdf:type rdf:resource="&owl;NamedIndividual"/> 
</owl:Thing> 

<owl:Thing rdf:about="http://www.example.org/demo.owl#final"> 
    <rdf:type rdf:resource="&owl;NamedIndividual"/> 
</owl:Thing> 

<owl:Thing rdf:about="http://www.example.org/demo.owl#fork"> 
    <rdf:type rdf:resource="&owl;NamedIndividual"/> 
</owl:Thing> 

<owl:Thing rdf:about="http://www.example.org/demo.owl#initial"> 
    <rdf:type rdf:resource="&owl;NamedIndividual"/> 
</owl:Thing> 

<owl:Thing rdf:about="http://www.example.org/demo.owl#join"> 
    <rdf:type rdf:resource="&owl;NamedIndividual"/> 
</owl:Thing> 

<owl:Thing rdf:about="http://www.example.org/demo.owl#junction"> 
    <rdf:type rdf:resource="&owl;NamedIndividual"/> 
</owl:Thing> 

<owl:Thing rdf:about="http://www.example.org/demo.owl#state"> 
    <rdf:type rdf:resource="&owl;NamedIndividual"/> 
</owl:Thing> 
</rdf:RDF>