L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>
SG = <http://www.simantics.org/Scenegraph-1.1>
SEL = <http://www.simantics.org/SelectionView-1.2>
GF = <http://www.simantics.org/GraphFile-0.1>

DOC = <http://www.simantics.org/Document-1.2> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.document.DocumentResource"
    
DOC.cssDocument <R L0.HasProperty --> L0.String : L0.FunctionalRelation

DOC.DocumentSettings <T L0.Literal
    @L0.assert L0.HasDataType ${ marginLeft : Integer, marginRight : Integer, marginTop : Integer, marginBottom : Integer }

DOC.DocumentSettings."n-marginLeft" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
    ==> "Integer"
    L0.HasSubliteralPredicate.Inverse DOC.DocumentSettings    
    L0.HasLabel "Left Margin"
    SEL.SortingName "1"

DOC.DocumentSettings."n-marginRight" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
    ==> "Integer"
    L0.HasSubliteralPredicate.Inverse DOC.DocumentSettings    
    L0.HasLabel "Right Margin"
    SEL.SortingName "2"
    
DOC.DocumentSettings."n-marginTop" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
    ==> "Integer"
    L0.HasSubliteralPredicate.Inverse DOC.DocumentSettings    
    L0.HasLabel "Top Margin"
    SEL.SortingName "3"

DOC.DocumentSettings."n-marginBottom" <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
    ==> "Integer"
    L0.HasSubliteralPredicate.Inverse DOC.DocumentSettings    
    L0.HasLabel "Bottom Margin"
    SEL.SortingName "4"

DOC.documentSettings <R L0.HasProperty : L0.FunctionalRelation : SEL.GenericParameterType
    L0.HasLabel "Wiki Document Settings"
    --> DOC.DocumentSettings
    SEL.HasDisplayValue ""
    L0.readOnly true
    SEL.canBeLifted false
    
// Attachment relations    
DOC.HasDocument <R L0.DependsOn
    L0.HasRange DOC.Document

DOC.HasDocumentation <R DOC.HasDocument : L0.FunctionalRelation
    L0.HasRange DOC.ScenegraphDocument

// Document types
DOC.Document <T L0.Entity

DOC.WikiDocument <T DOC.Document
    >-- DOC.WikiDocument.wikiText --> DOC.WikiDocument.WikiText <R L0.HasProperty : L0.FunctionalRelation
//DOC.MicrosoftWordDocument <T DOC.Document
//    >-- DOC.MicrosoftWordDocument.data --> DOC.MicrosoftWordDocument.Data <R L0.HasProperty : L0.FunctionalRelation
DOC.PlainTextFileDocument <T DOC.Document    
    >-- DOC.PlainTextFileDocument.filePath --> DOC.PlainTextFileDocument.FilePath <R L0.HasProperty : L0.FunctionalRelation
DOC.ScenegraphDocument <T DOC.Document
    >-- DOC.ScenegraphDocument.scenegraph --> DOC.Scenegraph.Node <R L0.DependsOn : L0.FunctionalRelation    

DOC.FileDocument <T DOC.Document <T GF.File

DOC.HasUrl <R L0.HasProperty : L0.FunctionalRelation
    L0.HasRange L0.URI
    L0.HasDomain DOC.UrlDocument

DOC.UrlDocument <T DOC.Document

// TODO: this should be removed after it is no longer used in Sysdyn.
DOC.Report <T DOC.Document
    // [Tuukka] I've no idea what to replace this with
    @L0.tag L0.Deprecated
    //@L0.singleProperty DOC.HasDocumentation
    //@L0.singleProperty DOC.HasWikiText

// Literals
DOC.WikiDocument.WikiText <T L0.String
//    @L0.assert L0.HasDataType $String
//    @L0.assert L0.HasValueType "String"
//DOC.MicrosoftWordDocument.Data <T L0.ByteArray
//    @L0.assert L0.HasDataType $(Byte[])
//    @L0.assert L0.HasValueType "ByteArray"
DOC.PlainTextFileDocument.FilePath <T L0.String
//    @L0.assert L0.HasDataType $String
//    @L0.assert L0.HasValueType "String"

// Functions    
DOC.Functions : L0.Library    
DOC.Functions.documentationRootVariable : L0.Function
 L0.HasValueType "Variable"
DOC.Functions.documentationText : L0.Function
 L0.HasValueType "String"
DOC.Functions.standardEditText : L0.Function
  L0.HasValueType "String"

// Document scene graph
    
DOC.Scenegraph : L0.Library

DOC.Scenegraph.ParameterType <T L0.FunctionalRelation
  @L0.assert SEL.HasDisplayProperty
    _ : SEL.DisplayProperty
  @L0.assert SEL.HasDisplayValue
    _ : SEL.DisplayValue
  @L0.assert SEL.HasDisplayUnit
    _ : SEL.DisplayUnit
  @L0.assert SEL.HasStandardPropertyInfo
    DOC.Scenegraph.CategoryHidden : SEL.StandardPropertyInfo
      SEL.StandardPropertyInfo.CategoryName ""
      SEL.StandardPropertyInfo.CategorySortingName ""
      SEL.StandardPropertyInfo.IsHidden true

DOC.Scenegraph.Node <T SG.Node
  >-- DOC.Scenegraph.Node.printInPDF ==> "Boolean" <R SG.Node.HasProperty : DOC.Scenegraph.ParameterType
  >-- DOC.Scenegraph.Node.editText ==> "String" <R SG.Node.HasProperty : DOC.Scenegraph.ParameterType
  @L0.assert DOC.Scenegraph.Node.editText ""//DOC.Functions.standardEditText

DOC.Scenegraph.Composite <T DOC.Scenegraph.Node

DOC.Scenegraph.Wiki <T DOC.Scenegraph.Node
  >-- DOC.Scenegraph.Wiki.text ==> "String" <R SG.Node.HasProperty : DOC.Scenegraph.ParameterType

DOC.Scenegraph.Diagram <T DOC.Scenegraph.Node
  >-- DOC.Scenegraph.Diagram.path ==> "String" <R SG.Node.HasProperty : DOC.Scenegraph.ParameterType
    
DOC.DocumentTypeBinding <T L0.Entity
  >-- DOC.DocumentTypeBinding.HasType --> L0.Type <R L0.DependsOn
  >-- DOC.DocumentTypeBinding.HasDocumentType --> DOC.Scenegraph <R L0.DependsOn
  >-- DOC.DocumentTypeBinding.priority ==> "Double" <R L0.HasProperty : L0.TotalFunction
  @L0.assert DOC.DocumentTypeBinding.priority 0.0


// Deprecated
DOC.HasReportFactory <R L0.DependsOn
    L0.HasRange DOC.Report
DOC.HasDocumentTemplate <R L0.DependsOn
    L0.HasRange DOC.DocumentTemplate
DOC.DocumentTemplate <T L0.Entity
    @L0.singleProperty DOC.HasDocumentation
    
    
DOC.HasOlderVersion <R L0.IsWeaklyRelatedTo
   L0.InverseOf DOC.HasNewerVersion <R L0.IsWeaklyRelatedTo
   
DOC.HasLibraryRelation <R L0.IsWeaklyRelatedTo
   L0.HasRange L0.Relation

DOC.HasVersionType <R L0.IsRelatedTo
   L0.HasRange L0.String

DOC.PlainTextDocument <T DOC.Document
   >-- DOC.PlainTextDocument.text ==> "String" <R L0.HasProperty : L0.FunctionalRelation


DOC.DocumentLibrary <T L0.Library