Wikidata/Development/RDF: Difference between revisions

Content deleted Content added
Line 68:
 
Every statement is translated into a number of OWL2 axioms as described below. Every statement is identified by a <code>StatementID</code> which is a <code>IRI</code>.
 
=== MainSnak a PropertyValueSnak ===
 
If the <code>MainSnak</code> is a <code>PropertyValueSnak</code>, then it is translated as follows:
Line 84 ⟶ 86:
'''StatementID''' v:'''Property''' '''Value''' .
'''StatementID''' rdfs:label ValueLabel('''Statement''') .
 
=== MainSnak a PropertySomeValueSnak ===
 
If the <code>MainSnak</code> is a <code>PropertySomeValueSnak</code>, then it is translated as follows:
Line 91 ⟶ 95:
ClassAssertion( ObjectSomeValuesFrom( V('''Property''') owl:Thing ) '''StatementID''' )
Annotation( '''StatementID''' rdfs:label ValueLabel('''Statement''') )
 
In RDF this results in:
 
=== MainSnak a PropertyNoValueSnak ===
 
If the <code>MainSnak</code> is a <code>PropertyNoValueSnak</code>, then it is translated as follows:
Line 98 ⟶ 106:
ClassAssertion( ObjectAllValuesFrom( V('''Property''') owl:Nothing ) '''StatementID''' )
Annotation( '''StatementID''' rdfs:label ValueLabel('''Statement''') )
 
=== Qualifier ===
 
Each <code>Qualifier</code> is translated as follows. If the <code>Qualifier</code> is a <code>PropertyValueSnak</code>, then it is translated as follows:
Line 110 ⟶ 120:
 
ClassAssertion( ObjectAllValuesFrom( V('''Property''') owl:Nothing ) '''StatementID''' )
 
=== ReferenceRecord ===
 
Every <code>ReferenceRecord</code> is given a <code>ReferenceID</code> which is an <code>IRI</code>. Every <code>ReferenceRecord</code> is translated as follows: