%import "layer0.graph"
%import "layer0.graph" L0
%import "animation.graph"
%import "g3d.graph"
%define symmetric()
    $subject
        $layer0.InverseOf $subject
%define tag($tagname)
    $subject
        $tagname $subject
%deflib Type _ @ "Types" : TypeLibrary
    PartOf CSGOntology
%deflib Relation _ @ "Relations" : RelationLibrary
    PartOf CSGOntology
%deflib Library CSGOntology
CSGOntology @ "CSG Ontology" : Ontology
    PartOf TypeSystemProject
    HasNamespace "http://www.vtt.fi/Simantics/CSG/1.0" : URI
    HasVersion "1.0" : Version
    HasResourceClass "org.simantics.proconf.g3d.csg.stubs.CSGResource" : String
    HasStubsPackage "org.simantics.proconf.g3d.csg.stubs" : String

CSGNamespace : Namespace
    PartOf TypeSystemNamespaces
    HasNamespace "http://www.vtt.fi/Simantics/CSG/1.0" : URI
    HasNamespaceRoot CSGOntology

# Project
CSGProjectType <T ProjectType
CSGProject : CSGProjectType <T Project
    PartOf ProjectTypes
    
CSGShape <T Shape
CSGModel <T G3DModel
Primitive <T CSGShape
    [HasSizingProperty card "0..*"]
HasMainShape <R HasGeometryDefinition
    HasDomain [BooleanOperation]
    HasRange [CSGShape]
HasSecondaryShape <R HasGeometryDefinition
    HasDomain [BooleanOperation]
    HasRange [CSGShape]
BooleanOperation <T CSGShape
    [HasMainShape card "0..1"]
    [HasSecondaryShape card "0..*"]
Difference <T BooleanOperation
Intersection <T BooleanOperation
Union <T BooleanOperation
HasSizingProperty <R HasNonTransformation
HasXAxisSize @ "Has X Axis Size" <R HasSizingProperty
    HasRange [Double]
HasYAxisSize @ "Has Y Axis Size" <R HasSizingProperty
    HasRange [Double]
HasZAxisSize @ "Has Z Axis Size" <R HasSizingProperty
    HasRange [Double]
HasXAxisMinimumSize @ "Has X Axis Minimum Size" <R HasSizingProperty
    HasRange [Double]
HasZAxisMinimumSize @ "Has Z Axis Minimum Size" <R HasSizingProperty
    HasRange [Double]
HasXAxisMaximumSize @ "Has X Axis Maximum Size" <R HasSizingProperty
    HasRange [Double]
HasZAxisMaximumSize @ "Has Z Axis Maximum Size" <R HasSizingProperty
    HasRange [Double]
HasRadius <R HasSizingProperty
    HasRange [Double]
HasMajorRadius <R HasSizingProperty
    HasRange [Double]
HasMinorRadius <R HasSizingProperty
    HasRange [Double]
HasTopRadius <R HasSizingProperty
    HasRange [Double]
HasBottomRadius <R HasSizingProperty
    HasRange [Double]
HasHeight <R HasSizingProperty
    HasRange [Double]
HasCorners <R HasSizingProperty
    HasRange [Integer]
Box <T Primitive
    [HasXAxisSize card "1"]
    [HasYAxisSize card "1"]
    [HasZAxisSize card "1"]
Sphere <T Primitive
    [HasRadius card "1"]
Cone <T Primitive
    [HasTopRadius card "1"]
    [HasBottomRadius card "1"]
    [HasHeight card "1"]
Cylinder <T Primitive
    [HasRadius card "1"]
    [HasHeight card "1"]
Barrel <T Primitive
    [HasMinorRadius card "1"]
    [HasMajorRadius card "1"]
    [HasHeight card "1"]
EllipticCylinder <T Primitive
    [HasMinorRadius card "1"]
    [HasMajorRadius card "1"]
    [HasHeight card "1"]
RegularPrism <T Primitive
    [HasHeight card "1"]
    [HasRadius card "1"]
    [HasCorners card "1"]
Torus <T Primitive
    [HasMinorRadius card "1"]
    [HasMajorRadius card "1"]
RectangularSolid <T Primitive
    [HasXAxisMinimumSize card "1"]
    [HasXAxisMaximumSize card "1"]
    [HasYAxisSize card "1"]
    [HasZAxisMinimumSize card "1"]
    [HasZAxisMaximumSize card "1"]

csgViewpointLibrary @ "Viewpoint Library" : ViewpointLibrary
    PartOf CSGOntology
csgState @ _ : ViewpointState
csgTraversalRule @ _ : RelationBasedTraversalRule
    HasContext csgState
    L0.HasTargetState csgState
    AcceptsRelation HasChild
csgAcceptRule @ _ : AcceptAllResourceAcceptRule
CSGStructureViewpoint @ "CSG Structure Viewpoint" : ResourceViewpoint
    HasInitialState csgState
    HasTraversalRule csgTraversalRule
    HasResourceAcceptRule csgAcceptRule
    PartOf csgViewpointLibrary