L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>

// This ontology is moved from Layer0 and is deprecated but still used

REQ = L0X.Requirement : L0.Library
    L0.HasResourceClass "org.simantics.layer0.RequirementResource"
    
REQ.Requires <R L0.IsRelatedTo    
REQ.Requirement <T L0.Entity
    @L0.property REQ.Ignore
    @L0.tag L0.Abstract
REQ.HasRequirement <R L0.DependsOn
    L0.HasRange REQ.Requirement
REQ.RequirementDisjunction <T REQ.Requirement
    @L0.property REQ.HasRequirement
REQ.RequirementConjunction <T REQ.Requirement
    @L0.property REQ.HasRequirement
REQ.RequirementNegation <T REQ.Requirement
    @L0.singleProperty REQ.HasRequirement
REQ.EqualityRequirement <T REQ.Requirement
    @L0.singleProperty REQ.HasEntity
REQ.TypeRequirement <T REQ.Requirement
    @L0.singleProperty REQ.HasType
REQ.HasType <T L0.IsRelatedTo
    L0.HasDomain REQ.TypeRequirement
    L0.HasRange L0.Type  
REQ.RelationRequirement <T REQ.Requirement
    @L0.singleProperty L0.ConcernsRelation
//  [HasCardinality card "0..1"]
    @L0.property REQ.AllValuesSatisfy
    @L0.property REQ.SomeValuesSatisfy
REQ.ValueRequirement <T REQ.Requirement
//  [HasType card "1" all ValueType]
    @L0.singleProperty REQ.HasMultiplicity
//  [HasValidNumericalRange card "0..1"]
REQ.HasValueRequirement <R L0.HasProperty
    L0.HasRange REQ.ValueRequirement
REQ.HasEntity <R L0.IsRelatedTo    
REQ.AllValuesSatisfy <R L0.DependsOn
    L0.HasRange REQ.Requirement
REQ.SomeValuesSatisfy <R L0.DependsOn
    L0.HasRange REQ.Requirement
REQ.IntegerRangeUnion <T L0.String
REQ.HasMultiplicity <R L0.HasProperty
    L0.HasRange L0.CardinalityRange
REQ.ValueType <T L0.Type
    @L0.property REQ.HasMultiplicity 
    
REQ.Ignore <R L0.IsWeaklyRelatedTo
    L0.HasRange L0.Tag