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

IMAGE = <http://www.simantics.org/Image2-1.2> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.image2.ontology.ImageResource"

IMAGE.Functions : L0.Library

IMAGE.Image <T L0.Literal
    >-- IMAGE.Image.data ==> "ByteArray" <R L0.HasProperty : L0.FunctionalRelation
    @L0.assert IMAGE.Image.data
        IMAGE.Functions.data : L0.Function


IMAGE.Image.HasFormat <R L0.HasProperty : L0.TotalFunction 
    L0.HasDomain IMAGE.Image
    L0.HasRange L0.String

IMAGE.PngImage <T IMAGE.Image
    @L0.assert IMAGE.Image.HasFormat "png"
    @L0.assert L0.HasDataType $(Byte[])
    @L0.assert L0.HasValueType "ByteArray"
IMAGE.JpegImage <T IMAGE.Image
    @L0.assert IMAGE.Image.HasFormat "jpeg"
    @L0.assert L0.HasDataType $(Byte[])      
    @L0.assert L0.HasValueType "ByteArray"
IMAGE.GifImage <T IMAGE.Image
    @L0.assert IMAGE.Image.HasFormat "gif"
    @L0.assert L0.HasDataType $(Byte[])      
    @L0.assert L0.HasValueType "ByteArray"
IMAGE.SvgImage <T IMAGE.Image
    @L0.assert IMAGE.Image.HasFormat "svg"
    @L0.assert L0.HasDataType $String
    @L0.assert L0.HasValueType "ByteArray"