Unverified Commit 92fae32c authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

name domain of hasIndex property to stay in OWL2 DL

parent b3ccf240

ontology/saref4auto.ttl

+5 −1
Original line number Diff line number Diff line
@@ -137,9 +137,13 @@ s4auto:IndexedProperty a owl:Class ; 
s4auto:hasIndex a owl:DatatypeProperty ;

  rdfs:label "has index"@en ;

  rdfs:comment """Links a property value of an indexed property to its index (an xsd:integer) such that it is organized in a sequence."""@en ;

  rdfs:domain [ owl:onProperty saref:isValueOfProperty ; owl:someValuesFrom s4auto:IndexedProperty ] ;

  rdfs:domain s4auto:IndexedPropertyValue ;

  rdfs:range xsd:integer .



s4auto:IndexedPropertyValue a owl:Class ;

  rdfs:label "Indexed Property Value"@en ;

  rdfs:comment "Property Value of an indexed property, holding the s4auto:hasIndex datatype property."@en ;

  rdfs:subClassOf [ owl:onProperty saref:isValueOfProperty ; owl:someValuesFrom s4auto:IndexedProperty ] .



## General Purpose Properties

#- Figure: SAREF4AUTO_figures.Properties.png