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

XML = <http://www.simantics.org/XML-1.0> : L0.Ontology
   @L0.new
   L0.HasResourceClass "org.simantics.xml.sax.ontology.XMLResource"


// Built-in types
XML.Entity <T L0.Entity
XML.hasAttribute <R L0.HasProperty
XML.hasID <R XML.hasAttribute : L0.FunctionalRelation
  --> L0.String
XML.ComplexType <T XML.Entity
XML.hasComplexType <R L0.IsComposedOf
XML.AttributeGroup  <T XML.Entity
XML.Element <T XML.Entity
XML.hasElement <R L0.IsComposedOf
XML.ElementList <T L0.List
XML.hasElementList <R L0.IsComposedOf
XML.hasOriginalElementList <R XML.hasElementList
XML.hasReference <R L0.IsRelatedTo
 L0.InverseOf XML.referredBy <R L0.IsWeaklyRelatedTo
XML.hasExternalReference <R L0.IsRelatedTo
   L0.InverseOf XML.externalReferenceOf <R L0.IsRelatedTo
   
   
XML.DateTime <T L0.Literal
    @L0.assert L0.HasValueType "(Integer,Byte,Byte,Byte,Byte,Byte,Integer)"
    @L0.assert L0.HasDataType ${ year : Integer, month : Byte, date : Byte, hours : Byte, minutes : Byte, seconds : Byte, offset : Integer }
    
XML.Date <T L0.Literal
    @L0.assert L0.HasValueType "(Integer,Byte,Byte,Integer)"
    @L0.assert L0.HasDataType ${ year : Integer, month : Byte, date : Byte, offset : Integer }

XML.Time <T L0.Literal
    @L0.assert L0.HasValueType "(Byte,Byte,Byte,Integer,)"
    @L0.assert L0.HasDataType ${ hours : Byte, minutes : Byte, seconds : Byte, offset : Integer }