@prefix reactor:  <http://rdfreactor.ontoware.org/2005/04#> .
@prefix semversion:  <http://semversion.ontoware.org/2005#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix :        <http://semversion.ontoware.org/ns/2005#> .

:hasProvenance
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range rdfs:Resource .

:hasContainer
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :Version ;
      rdfs:range :VersionedModel .

:Root
      a       rdfs:Class .

:hasContent
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :Version ;
      rdfs:range :TripleSet .

:hasDeletionTime
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range rdfs:Literal .

:hasVersion
      a       rdf:Property ;
      rdfs:comment "exhaustive list of all versions" ;
      rdfs:domain :VersionedModel ;
      rdfs:range :Version .

:hasValidTimeStart
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range rdfs:Literal .

:hasValidTimeEnd
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range rdfs:Literal .

:User
      a       rdfs:Class ;
      rdfs:comment "@todo" .

:VersionedItem
      a       rdfs:Class ;
      rdfs:comment "valid time, transaction time and core metadata" .

:hasName
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :User ;
      rdfs:range rdfs:Literal .

:hasPassword
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :User ;
      rdfs:range rdfs:Literal .

:hasVersionedModel
      a       rdf:Property ;
      rdfs:domain :Root ;
      rdfs:range :VersionedModel .

:hasFirstParent
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:comment "A version has two parents only when merged" ;
      rdfs:domain :Version ;
      rdfs:range :Version .

:hasUserdefinedMetadata
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range rdfs:Resource .

:Version
      rdfs:comment "A set of triples (content TripleSet) with a set of metadata" ;
      rdfs:subClassOf :VersionedItem .

:TripleSet
      a       rdfs:Class ;
      rdfs:comment "models the actual triples in the model. Probably using rdf2go.ontoware.org" .

:hasRoot
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:comment "has only one root" ;
      rdfs:domain :VersionedModel ;
      rdfs:range :Version .

:hasTag
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range rdfs:Literal .

:hasSecondParent
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :Version ;
      rdfs:range :Version .

:VersionedModel
      rdfs:comment "A tree of Versions" ;
      rdfs:subClassOf :VersionedItem .

:hasCreationTime
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range rdfs:Literal .

:hasAuthor
      a       rdf:Property , reactor:SingleValueProperty ;
      rdfs:domain :VersionedItem ;
      rdfs:range :User .