L0 = <http://www.simantics.org/Layer0-1.1>
SC = <http://www.simantics.org/SoftwareConfiguration-1.1> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.layer0.SoftwareConfigurationResources"
        
SC.Product <T L0.Entity
    L0.HasDescription """Describes a software product which may have multiple versions.""" 
SC.Version <T L0.Entity    
    L0.HasDescription """One version of some product."""    
SC.Version.Of <R L0.IsRelatedTo : L0.TotalFunction
    L0.HasDomain SC.Version
    L0.HasRange SC.Product
SC.Version.HasUpdate <R L0.IsRelatedTo
    L0.InverseOf SC.Update.From

SC.Update <T L0.Entity
    L0.HasDescription """Describes an update from one version of the product to other."""
SC.Update.From <R L0.IsRelatedTo : L0.TotalFunction
    L0.HasDomain SC.Update
    L0.HasRange SC.Version
SC.Update.To <R L0.IsRelatedTo : L0.TotalFunction
    L0.HasDomain SC.Update
    L0.HasRange SC.Version
SC.Update.HasMigrationAction <R L0.IsRelatedTo
    L0.HasDomain SC.Update
    L0.HasRange <http://www.simantics.org/Action-1.1/Action>

SC.IsCompatibleWith <R L0.IsRelatedTo
    L0.HasDescription """Tells that the entity is compatible with a certain version of a product."""
    L0.HasDomain L0.Entity
    L0.HasRange SC.Version
    
SC.HasVersion <R L0.DependsOn : L0.TotalFunction
    L0.HasDescription """Tells that the entity is built with a certain version of a product."""
    L0.HasDomain L0.Entity
    L0.HasRange SC.Version