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

G3DNamespace @ "G3D Namespace" : Namespace
    PartOf TypeSystemNamespaces
    HasNamespace "http://www.vtt.fi/Simantics/G3D/1.0" : URI
    HasNamespaceRoot G3DOntology

HasTransformationValue <R HasProperty
    InverseOf TransformationValueOf
    HasRange [Double]
HasX <R HasTransformationValue
HasY <R HasTransformationValue
HasZ <R HasTransformationValue
HasAngle <R HasTransformationValue
Tuple3 <T Property
    [HasX card "1"]
    [HasY card "1"]
    [HasZ card "1"]
Position <T Tuple3
Center <T Tuple3
Orientation <T Property
    [HasX card "1"]
    [HasY card "1"]
    [HasZ card "1"]
    [HasAngle card "1"]
Transformation <T Property
Position <T Transformation
Orientation <T Transformation
Center <T Transformation

# Parent-child relationship
HasChild <R IsRelatedTo
    InverseOf HasParent
    HasDomain [G3DNode]
    HasRange [G3DNode]
HasGeometryDefinition <R HasChild
    InverseOf GeometryDefinitionOf

# Properties of G3DNode are divided into transformation properties and non-transformation properties    
# All 3D properties must be inherited from these two. (Queries that update scene-graph require this)    
HasTransformation <R HasProperty
    InverseOf TransformationOf
HasNonTransformation <R HasProperty
    InverseOf NonTransformationOf
    
HasLocalPosition <R HasTransformation
    HasRange [Position]
    InverseOf LocalPositionOf
HasWorldPosition <R HasTransformation
    HasRange [Position]
    InverseOf WorldPositionOf
HasLocalOrientation <R HasTransformation
    HasRange [Orientation]
    InverseOf LocalOrientationOf
HasWorldOrientation <R HasTransformation
    HasRange [Orientation]
    InverseOf WorldOrientationOf
HasCenter <R HasTransformation
    HasRange [Center]
G3DNode @ "G3DNode" <T Entity
    [HasParent card "0..1"]
    [HasChild card "0..*"]
    [HasLocalPosition card "0..1"]
    [HasWorldPosition card "0..1"]
    [HasLocalOrientation card "0..1"]
    [HasWorldOrientation card "0..1"]
    [HasCenter card "0..1"]
    HasDescription "Base node for scene-graph" : String
    Includes
        HasChild
    Propagates
        HasChild
HasG3DNode @ "Has G3DNode" <R DependsOn
    HasRange [G3DNode]
HasRed <R HasProperty
    HasRange [Double]
HasGreen <R HasProperty
    HasRange [Double]
HasBlue <R HasProperty
    HasRange [Double]
HasTransparency <R HasProperty
    HasRange [Double]
HasShininess <R HasProperty
    HasRange [Double]
Color <T Entity
    [HasRed card "1"]
    [HasGreen card "1"]
    [HasBlue card "1"]
HasDiffuseColor <R IsRelatedTo
    InverseOf DiffuseColorOf
    HasRange [Color]
HasSpecularColor <R IsRelatedTo
    InverseOf SpecularColorOf
    HasRange [Color]
HasAmbientColor <R IsRelatedTo
    InverseOf AmbientColorOf
    HasRange [Color]
HasEmissiveColor <R IsRelatedTo
    InverseOf EmissiveColorOf
    HasRange [Color]

Material <T Entity
    [HasDiffuseColor card "1"]
    [HasSpecularColor card "1"]
    [HasAmbientColor card "1"]
    [HasEmissiveColor card "1"]
    [HasTransparency card "1"]
    [HasShininess card "1"]
    Includes
        HasDiffuseColor
        HasSpecularColor
        HasAmbientColor
        HasEmissiveColor
        HasTransparency
        HasShininess
    Propagates
        HasDiffuseColor
        HasSpecularColor
        HasAmbientColor
        HasEmissiveColor
        HasTransparency
        HasShininess
TextureCoordinateGenerator <T Property
    tag(Enumeration)
HasTextureCoordinateGenerator <R DependsOn
    HasRange [TextureCoordinateGenerator]
TextureCoordinateGenerations : Library
    ConsistsOf
        _sphere @ "sphere" : TextureCoordinateGenerator
        _eye_linear @ "eye linear" : TextureCoordinateGenerator
        _object_linear @ "object linear" : TextureCoordinateGenerator
        _normal @ "normal" : TextureCoordinateGenerator
        _reflection @ "reflection" : TextureCoordinateGenerator

TextureMode @ "MultiTexture Mode" <T Property
    tag(Enumeration)
    ConsistsOf
      mt_add @ "add" : TextureMode
      mt_modulate @ "modulate" : TextureMode
      mt_blend @ "blend" : TextureMode
      mt_decal @ "decal" : TextureMode
      mt_replace @ "replace" : TextureMode
      mt_combine @ "combine" : TextureMode
HasTextureMode @ "Has Texture Mode" <R DependsOn
    HasRange [TextureMode]
   
CombineMode <T Property
    tag(Enumeration)
    ConsistsOf
      cm_add @ "add" : CombineMode
      cm_replace @ "replace" : CombineMode
      cm_modulate @ "modulate" : CombineMode
      cm_add_signed @ "add signed" : CombineMode
      cm_subtract @ "subtract" : CombineMode
      cm_interpolate @ "interpolate" : CombineMode
      cm_dot3 @ "dot3" : CombineMode
#HasCombineMode <R DependsOn
#    HasRange [CombineMode]
   
CombineSource <T Property
    tag(Enumeration)
    ConsistsOf
      cs_object_color @ "object color" : CombineSource
      cs_texture_color @ "texture color" : CombineSource
      cs_constant_color @ "constant color" : CombineSource
      cs_previous_texture_state @ "previous state" : CombineSource
      cs_texture0 @ "texture 0" : CombineSource
      cs_texture1 @ "texture 1" : CombineSource
#HasCombineSource <R DependsOn
#    HasRange [CombineSource]
CombineFunction <T Property
    tag(Enumeration)
    ConsistsOf
      cf_src_color @ "src color" : CombineFunction
      cf_one_minus_src_color @ "one minus src color" : CombineFunction
      cf_src_alpha @ "src alpha" : CombineFunction
      cf_one_minus_src_alpha @ "one minus src alpha" : CombineFunction
#HasCombineFunction <R DependsOn
#    HasRange [CombineFunction]

HasCombineDefinition @ "Has Combine Definition" <R HasProperty
    HasRange [LinkedList]
    
#MultiTextureElement @ "MultiTextureElement" <T Entity
#    [HasTexture card "1"]

Texture <T Property
    [HasTextureMode card "0..1"]
    [HasCombineDefinition card "0..1"]
    [HasTextureCoordinateGenerator card "0..1"]
    #[HasCombineMode card "0..1"]
    #[HasCombineSource card "0..1"]
    #[HasCombineFunction card "0..1"]
    
HasTexture <R DependsOn
    HasRange [Texture]
    
Texture1D @ "Texture1D" <T Texture
Texture2D @ "Texture2D" <T Texture
Texture3D @ "Texture3D" <T Texture
CubeMapTexture @ "CubeMap Texture" <T Texture
    
#MultiTextureElementList @ "MultiTextureElementList" <T LinkedList
#HasMultiTextureElementList @ "Has MultiTextureElementList" <R DependsOn : FunctionalRelation
HasMultiTextureElementList @ "Has MultiTextureElementList" <R HasProperty
    HasRange [LinkedList]
    #HasRange [MultiTextureElementList]
# this definition is incorrect: multitexture cannot have texturemode,m etc. itself
MultiTexture @ "MultiTexture" <T Texture
    [HasMultiTextureElementList card "1"]
HasImage <R DependsOn
    HasRange [IMAGE.Image]
ImageTexture @ "ImageTexture" <T Texture2D
    [HasImage card "1"]
HasVertexShader <R HasProperty
    HasRange [String]
HasFragmentShader <R HasProperty
    HasRange [String]
Shader <T Entity
    [HasVertexShader card "1"]
    [HasFragmentShader card "1"]
HasMaterial <R IsRelatedTo
    HasRange [Material]
HasShader <R IsRelatedTo
    HasRange [Shader]
Appearance <T Entity
    [HasMaterial card "0..1"]
    [HasTexture card "0..1"]
    [HasShader card "0..1"]
    Includes
        HasMaterial
        HasTexture
        HasShader
    Propagates
        HasMaterial
        HasTexture
        HasShader
HasAppearance <R HasProperty # HasNonTransformation 
    HasRange [Appearance]
Shape <T G3DNode
    [HasAppearance card "0..1"]
    HasDescription "Node for representing geometries" : String
    Includes
        HasAppearance
G3DModel @ "G3DModel" <T G3DNode
    [HasAnimation card "0..*"]
    [HasSizingParameter card "0..*"]
    Includes
        HasAnimation
        HasSizingParameter
    Propagates
        HasAnimation
        HasSizingParameter
HasSizingParameter <R HasNonTransformation
    HasDescription "Sizing parameters are used for defining parameterization of a model" : String
    HasDomain [G3DModel]
    HasRange [Double]
HasDefaultDoubleValue <R HasProperty
    HasDescription "Sizing Parameter's default value" : String
    HasDomain [Double]
    HasRange [Double]
    
HasConstraints <R HasAdapter2 : FunctionalRelation