L0 = <http://www.simantics.org/Layer0-1.1>
G3D = <http://www.simantics.org/G3D-0.1>

CSG = <http://www.simantics.org/CSG-0.1> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.g3d.csg.ontology.CSG"

CSG.Shape <T G3D.Node
CSG.Model <T G3D.RootNode
CSG.Primitive <T CSG.Shape
    @L0.property CSG.HasSizingProperty

CSG.hasPrimaryShape <R G3D.geometryDefinition
    L0.HasDomain CSG.BooleanOperation
    L0.HasRange CSG.Shape
CSG.hasSecondaryShape <R G3D.geometryDefinition
    L0.HasDomain CSG.BooleanOperation
    L0.HasRange CSG.Shape
CSG.hasChildShape <R G3D.children
    L0.HasDomain CSG.Shape
    L0.HasRange CSG.Shape
CSG.BooleanOperation <T CSG.Shape
    @L0.optionalProperty CSG.hasPrimaryShape
    @L0.property CSG.hasSecondaryShape
CSG.Difference <T CSG.BooleanOperation
CSG.Intersection <T CSG.BooleanOperation
CSG.Union <T CSG.BooleanOperation

CSG.HasSizingProperty <R G3D.hasNonTransformation 
CSG.HasXAxisSize <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasYAxisSize <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasZAxisSize <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasXAxisMinimumSize <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasZAxisMinimumSize <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasXAxisMaximumSize <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasZAxisMaximumSize <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasRadius <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasMajorRadius <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasMinorRadius <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasTopRadius <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasBottomRadius <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasHeight <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Double
CSG.HasCorners <R CSG.HasSizingProperty : L0.FunctionalRelation
    L0.HasRange L0.Integer
CSG.Box <T CSG.Primitive
    @L0.assert CSG.HasXAxisSize 1.0
    @L0.assert CSG.HasYAxisSize 1.0
    @L0.assert CSG.HasZAxisSize 1.0
CSG.Sphere <T CSG.Primitive
    @L0.assert CSG.HasRadius 1.0
CSG.Cone <T CSG.Primitive
    @L0.assert CSG.HasTopRadius 0.5
    @L0.assert CSG.HasBottomRadius 1.0
    @L0.assert CSG.HasHeight 1.0
CSG.Cylinder <T CSG.Primitive
    @L0.assert CSG.HasRadius 1.0
    @L0.assert CSG.HasHeight 1.0
CSG.Barrel <T CSG.Primitive
    @L0.assert CSG.HasMinorRadius 0.9
    @L0.assert CSG.HasMajorRadius 1.0
    @L0.assert CSG.HasHeight 1.0
CSG.EllipticCylinder <T CSG.Primitive
    @L0.assert CSG.HasMinorRadius 0.5
    @L0.assert CSG.HasMajorRadius 1.0
    @L0.assert CSG.HasHeight 1.0
CSG.RegularPrism <T CSG.Primitive
    @L0.assert CSG.HasHeight 1.0
    @L0.assert CSG.HasRadius 1.0
    @L0.assert CSG.HasCorners 3
CSG.Torus <T CSG.Primitive
    @L0.assert CSG.HasMinorRadius 0.5
    @L0.assert CSG.HasMajorRadius 1.0
CSG.RectangularSolid <T CSG.Primitive
    @L0.assert CSG.HasXAxisMinimumSize 0.5
    @L0.assert CSG.HasXAxisMaximumSize 1.0
    @L0.assert CSG.HasYAxisSize 1.0
    @L0.assert CSG.HasZAxisMinimumSize 0.5
    @L0.assert CSG.HasZAxisMaximumSize 1.0