Ontology
imports: sxml
version info: Created with TopBraid Composer from the XML Schema file:/Users/mac/Documents/workspace/it.cnr.istc.semion.reengineer/src/it/cnr/istc/semion/reengineer/xml/schema.xsd

restriction
type: Class
subclass of: Restriction
  on property: hasBase
  max cardinality: 1
subclass of: Restriction
  on property: hasBase
  all values from: string

prohibitedsubstitution
type: Class
subclass of: Thing

complexcontent
type: Class

choice
type: Class
subclass of: Restriction
  on property: minOccurs
  max cardinality: 1
subclass of: Restriction
  on property: minOccurs
  all values from: string
subclass of: Restriction
  on property: maxOccurs
  max cardinality: 1
subclass of: Restriction
  on property: maxOccurs
  all values from: string

minOccurs
type: DatatypeProperty
attribute: minOccurs

maxOccurs
type: DatatypeProperty
attribute: maxOccurs

mininclusive
type: Class
subclass of: Restriction
  on property: value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: id
  all values from: string
subclass of: Restriction
  all values from: MaxInclusiveDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

value
type: DatatypeProperty
attribute: value

id
type: DatatypeProperty
attribute: id

include
type: Class
subclass of: Restriction
  on property: schemaLocation
  all values from: string
subclass of: Restriction
  on property: namespace
  max cardinality: 1
subclass of: Restriction
  on property: namespace
  all values from: string
subclass of: Restriction
  on property: schemaLocation
  max cardinality: 1

schemaLocation
type: DatatypeProperty
attribute: schemaLocation

namespace
type: DatatypeProperty
attribute: namespace

attributegroup
type: Class
subclass of: Restriction
  on property: ref
  max cardinality: 1
subclass of: Restriction
  on property: ref
  all values from: string
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: name
  all values from: string

ref
type: DatatypeProperty
attribute: ref

name
type: DatatypeProperty
attribute: name

fractiondigits
type: Class
subclass of: Restriction
  on property: fixed
  max cardinality: 1
subclass of: Restriction
  max cardinality: 1
  on property: value
subclass of: Restriction
  all values from: FractionDigitsDatatype
  on property: value
subclass of: Restriction
  on property: value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  on property: id
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: fixed
  all values from: string

fixed
type: DatatypeProperty
attribute: fixed

anyattribute
type: Class
subclass of: Restriction
  on property: processContents
  max cardinality: 1
subclass of: Restriction
  on property: processContents
  all values from: string
subclass of: Restriction
  on property: namespace
  max cardinality: 1
subclass of: Restriction
  on property: namespace
  all values from: string
subclass of: Restriction
  all values from: AnyAttributeDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

processContents
type: DatatypeProperty
attribute: processContents

whitespace
type: Class
subclass of: Restriction
  on property: fixed
  max cardinality: 1
subclass of: Restriction
  all values from: WhiteSpaceDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  on property: id
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: fixed
  all values from: string
subclass of: Restriction
  on property: value
  max cardinality: 1

schema
type: Class
subclass of: Restriction
  on property: elementFormDefault
  max cardinality: 1
subclass of: Restriction
  on property: blockDefault
  max cardinality: 1
subclass of: Restriction
  on property: lang
  max cardinality: 1
subclass of: Restriction
  on property: targetNamespace
  all values from: string
subclass of: Restriction
  on property: version
  max cardinality: 1
subclass of: Restriction
  on property: version
  all values from: string
subclass of: Restriction
  on property: blockDefault
  all values from: string
subclass of: Restriction
  on property: lang
  all values from: string
subclass of: Restriction
  on property: targetNamespace
  max cardinality: 1
subclass of: Restriction
  on property: elementFormDefault
  all values from: string

elementFormDefault
type: DatatypeProperty
attribute: elementFormDefault

blockDefault
type: DatatypeProperty
attribute: blockDefault

lang
type: DatatypeProperty
attribute: lang

targetNamespace
type: DatatypeProperty
attribute: targetNamespace

version
type: DatatypeProperty
attribute: version

simpletype
type: Class
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: id
  all values from: string

minexclusive
type: Class
subclass of: Thing

attribute
type: Class
subclass of: Restriction
  on property: default
  max cardinality: 1
subclass of: Restriction
  max cardinality: 1
  on property: hasUse
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  on property: default
  all values from: string
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  all values from: string
  on property: hasUse
subclass of: Restriction
  on property: ref
  max cardinality: 1
subclass of: Restriction
  on property: hasType
  max cardinality: 1
subclass of: Restriction
  on property: ref
  all values from: string
subclass of: Restriction
  on property: hasType
  all values from: string

default
type: DatatypeProperty
attribute: default

hasUse
type: ObjectProperty
attribute: use
inverse of: is use of

minlength
type: Class
subclass of: Restriction
  on property: value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: id
  all values from: string
subclass of: Restriction
  all values from: MinLengthDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

key
type: Class
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: name
  all values from: string

complextype
type: Class
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  on property: mixed
  max cardinality: 1
subclass of: Restriction
  on property: mixed
  all values from: string
subclass of: Restriction
  on property: abstract
  max cardinality: 1
subclass of: Restriction
  on property: abstract
  all values from: string

mixed
type: DatatypeProperty
attribute: mixed

abstract
type: DatatypeProperty
attribute: abstract

enumeration
type: Class
subclass of: Restriction
  on property: value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  all values from: EnumerationDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

group
type: Class
subclass of: Restriction
  on property: ref
  max cardinality: 1
subclass of: Restriction
  on property: maxOccurs
  all values from: string
subclass of: Restriction
  on property: minOccurs
  all values from: string
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  on property: ref
  all values from: string
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: minOccurs
  max cardinality: 1
subclass of: Restriction
  on property: maxOccurs
  max cardinality: 1

any
type: Class
subclass of: Restriction
  on property: minOccurs
  max cardinality: 1
subclass of: Restriction
  all values from: AnyDatatype
  on property: value
subclass of: Restriction
  on property: processContents
  all values from: string
subclass of: Restriction
  on property: minOccurs
  all values from: string
subclass of: Restriction
  on property: processContents
  max cardinality: 1
subclass of: Restriction
  max cardinality: 1
  on property: value
subclass of: Restriction
  on property: maxOccurs
  all values from: string
subclass of: Restriction
  on property: maxOccurs
  max cardinality: 1

documentation
type: Class

union
type: Class
subclass of: Restriction
  on property: memberTypes
  max cardinality: 1
subclass of: Restriction
  on property: memberTypes
  all values from: string

memberTypes
type: DatatypeProperty
attribute: memberTypes

mininclusive
type: Class
subclass of: Restriction
  on property: value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: id
  all values from: string
subclass of: Restriction
  all values from: MinInclusiveDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

extension
type: Class
subclass of: Restriction
  on property: hasBase
  max cardinality: 1
subclass of: Restriction
  on property: hasBase
  all values from: string

maxeclusive
type: Class
subclass of: Thing

all
type: Class
subclass of: Thing

constrainttype
type: Class
subclass of: Thing

has type
type: Class

selector
type: Class
subclass of: Restriction
  on property: xpath
  max cardinality: 1
subclass of: Restriction
  on property: xpath
  all values from: string
subclass of: Restriction
  all values from: SelectorDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

xpath
type: DatatypeProperty
attribute: xpath

annotation
type: Class

sequence
type: Class
subclass of: Restriction
  on property: minOccurs
  max cardinality: 1
subclass of: Restriction
  on property: minOccurs
  all values from: string
subclass of: Restriction
  on property: maxOccurs
  max cardinality: 1
subclass of: Restriction
  on property: maxOccurs
  all values from: string

hasfacet
type: Class
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  all values from: HasFacetDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

field
type: Class
subclass of: Restriction
  on property: xpath
  max cardinality: 1
subclass of: Restriction
  on property: xpath
  all values from: string
subclass of: Restriction
  all values from: FieldDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

notation
type: Class
subclass of: Restriction
  on property: public
  max cardinality: 1
subclass of: Restriction
  all values from: NotationDatatype
  on property: value
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  on property: public
  all values from: string
subclass of: Restriction
  on property: system
  max cardinality: 1
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: system
  all values from: string
subclass of: Restriction
  max cardinality: 1
  on property: value

public
type: DatatypeProperty
attribute: public

system
type: DatatypeProperty
attribute: system

final
type: Class
subclass of: Thing

element
type: Class
subclass of: Restriction
  on property: minOccurs
  max cardinality: 1
subclass of: Restriction
  on property: minOccurs
  all values from: string
subclass of: Restriction
  on property: ref
  max cardinality: 1
subclass of: Restriction
  on property: hasType
  max cardinality: 1
subclass of: Restriction
  on property: ref
  all values from: string
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  on property: id
  all values from: string
subclass of: Restriction
  on property: maxOccurs
  max cardinality: 1
subclass of: Restriction
  on property: hasType
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: maxOccurs
  all values from: string
subclass of: Restriction
  on property: name
  max cardinality: 1

pattern
type: Class
subclass of: Restriction
  on property: value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  on property: id
  max cardinality: 1
subclass of: Restriction
  on property: id
  all values from: string

hasfacetandpropertyhasproperty
type: Class
subclass of: Restriction
  on property: value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: string
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: name
  all values from: string
subclass of: Restriction
  all values from: HasFacetAndPropertyhasPropertyDatatype
  on property: value
subclass of: Restriction
  max cardinality: 1
  on property: value

list
type: Class
subclass of: Restriction
  on property: itemType
  max cardinality: 1
subclass of: Restriction
  on property: itemType
  all values from: string

itemType
type: DatatypeProperty
attribute: itemType

scope
type: Class
subclass of: Thing

appinfo
type: Class

is particle of
type: ObjectProperty

is whitespace of
type: ObjectProperty
domain: whitespace

hasuse
type: ObjectProperty
inverse of: is attribute of

is attribute of
type: ObjectProperty
domain: attribute

has particle
type: ObjectProperty
inverse of: is particle of

is pattern of
type: ObjectProperty
domain: pattern

hasattributegroup
type: ObjectProperty
range: attributegroup

is use of
type: ObjectProperty
range: has type

iscomplextypeof
type: ObjectProperty
domain: complextype

has withespace
type: ObjectProperty
inverse of: is whitespace of
range: whitespace

haspattern
type: ObjectProperty
range: pattern
inverse of: is pattern of

hasSequence
type: ObjectProperty
range: sequence

hasanotation
type: ObjectProperty
inverse of: is annotation of
range: annotation

is annotation of
type: ObjectProperty
domain: annotation

is type of
type: ObjectProperty
range: Thing
domain: Thing

hasRestriction
type: ObjectProperty
range: restriction

is enumeration of
type: ObjectProperty
domain: enumeration

has compositor
type: ObjectProperty
inverse of: is compositor of

is compositor of
type: ObjectProperty

hasenumeration
type: ObjectProperty
inverse of: is enumeration of
range: enumeration

is base of
type: ObjectProperty
sub property of: hasBase

has prohibited substitution
type: ObjectProperty
range: prohibitedsubstitution

has scope
type: ObjectProperty
inverse of: is scope of

is scope of
type: ObjectProperty

hasElement
type: ObjectProperty
range: element

hasattribute
type: ObjectProperty
range: attribute

required
type: DatatypeProperty
range: boolean

constraint
type: DatatypeProperty

has final
type: DatatypeProperty
range: final

constraint
type: DatatypeProperty

PROHIBITED EXTENSION
type: ProhibitedSubstitution

required
type: Use

derivation restriction
type: Final

Default
type: ConstraintType

COLLAPSE
type: WhiteSpace

None
type: ConstraintType

Scope absent
type: Scope

PROHIBITED NONE
type: ProhibitedSubstitution

derivation none
type: Final

Fixed
type: ConstraintType

PROHIBITED DERIVATION
type: ProhibitedSubstitution

PRESERVE
type: WhiteSpace

Scope global
type: Scope

required
type: Use

required
type: Use

Scope local
type: Scope

derivation extension
type: Final

REPLACE
type: WhiteSpace