oneOf
type: AnnotationProperty
color: skyblue1
style: filled
domain: Class

subClassOf
type: AnnotationProperty
color: skyblue1
style: filled
domain: Class

gs39
color: blue
label: target
type: NamedIndividual
type: EdgeProperty

gs38
color: blue
label: owner element
type: NamedIndividual
type: EdgeProperty

gs35
label: normalized value
color: blue
type: NamedIndividual
type: EdgeProperty

gs34
color: blue
label: parent
type: NamedIndividual
type: EdgeProperty

gs37
label: attribute type
color: blue
type: NamedIndividual
type: EdgeProperty

gs36
label: specified
color: blue
type: NamedIndividual
type: EdgeProperty

gs31
label: prefix
color: blue
type: NamedIndividual
type: EdgeProperty

gs30
color: blue
label: local name
type: NamedIndividual
type: EdgeProperty

gs33
color: blue
label: parent
type: NamedIndividual
type: EdgeProperty

gs32
color: blue
label: prefix
type: NamedIndividual
type: EdgeProperty

gs49
color: purple
type: NamedIndividual
type: EdgeProperty

range
type: AnnotationProperty
color: skyblue1
style: filled
domain: Class

gs48
color: purple
type: NamedIndividual
type: EdgeProperty

gs47
color: purple
type: NamedIndividual
type: EdgeProperty

gs46
color: purple
type: NamedIndividual
type: EdgeProperty

gs45
color: purple
type: NamedIndividual
type: EdgeProperty

gs44
color: purple
type: NamedIndividual
type: EdgeProperty

gs43
color: purple
type: NamedIndividual
type: EdgeProperty

gs42
color: purple
type: NamedIndividual
type: EdgeProperty

gs41
color: purple
type: NamedIndividual
type: EdgeProperty

gs40
color: blue
label: content
type: NamedIndividual
type: EdgeProperty

item name
type: AnnotationProperty
color: skyblue1
style: filled
domain: g0
sub property of: label

gs13
label: one of...
color: green
type: NamedIndividual
type: EdgeProperty

gs12
style: bold
color: purple
type: NamedIndividual
type: EdgeProperty

gs15
label: one of...
color: green
type: NamedIndividual
type: EdgeProperty

gs14
label: one of...
color: green
type: NamedIndividual
type: EdgeProperty

gs17
color: green
label: one of...
type: NamedIndividual
type: EdgeProperty

gs16
label: one of...
color: green
type: NamedIndividual
type: EdgeProperty

gs19
label: children
color: blue
type: NamedIndividual
type: EdgeProperty

gs18
color: blue
label: children
type: NamedIndividual
type: EdgeProperty

gs11
color: purple
style: bold
type: NamedIndividual
type: EdgeProperty

gs10
color: purple
style: bold
type: NamedIndividual
type: EdgeProperty

gs26
label: standalone
color: blue
type: NamedIndividual
type: EdgeProperty

gs25
label: character encoding scheme
color: blue
type: NamedIndividual
type: EdgeProperty

gs24
color: blue
label: system identifier
type: NamedIndividual
type: EdgeProperty

gs23
color: blue
label: base URI
type: NamedIndividual
type: EdgeProperty

gs29
label: local name
color: blue
type: NamedIndividual
type: EdgeProperty

gs28
color: blue
label: namespace name
type: NamedIndividual
type: EdgeProperty

gs27
color: blue
label: version
type: NamedIndividual
type: EdgeProperty

set of
type: AnnotationProperty
comment: for setOf(C, E) read: C is the class of finite sets of E.
color: skyblue1
style: filled
domain: Set
type: ObjectProperty
range: Class
type: NamedIndividual
type: UnambiguousProperty
type: UniqueProperty

gs22
color: blue
label: base URI
type: NamedIndividual
type: EdgeProperty

gs21
color: blue
label: base URI
type: NamedIndividual
type: EdgeProperty

gs20
color: blue
label: document element
type: NamedIndividual
type: EdgeProperty

gs8
color: green
label: many-to-list
style: bold
type: NamedIndividual
type: EdgeProperty

gs7
style: bold
label: many-to-many
color: orange
type: NamedIndividual
type: EdgeProperty

domain
type: AnnotationProperty
color: skyblue1
style: filled
domain: Class

gs9
color: purple
style: bold
type: NamedIndividual
type: EdgeProperty

gs4
label: many-to-1
color: blue
type: NamedIndividual
type: EdgeProperty

gs3
color: blue
label: many-to-one
type: NamedIndividual
type: EdgeProperty

gs6
color: purple
type: NamedIndividual
type: EdgeProperty

gs5
color: purple
type: NamedIndividual
type: EdgeProperty

pattern
type: AnnotationProperty
color: skyblue1
style: filled
comment: @@xml schema datatype facet
domain: Class

gs2
label: set of
color: red
type: NamedIndividual
type: EdgeProperty

gs1
color: red
label: list of
type: NamedIndividual
type: EdgeProperty

gs50
color: purple
type: NamedIndividual
type: EdgeProperty

gs51
color: purple
type: NamedIndividual
type: EdgeProperty

gs54
style: bold
color: orange
label: unparsed entities
type: NamedIndividual
type: EdgeProperty

gs55
style: bold
label: attributes
color: orange
type: NamedIndividual
type: EdgeProperty

gs52
color: purple
type: NamedIndividual
type: EdgeProperty

toClass
type: AnnotationProperty
color: skyblue1
style: filled
domain: Class
type: ObjectProperty
range: Class

gs53
label: notations
style: bold
color: orange
type: NamedIndividual
type: EdgeProperty

gs58
color: purple
style: bold
type: NamedIndividual
type: EdgeProperty

gs59
style: bold
color: purple
type: NamedIndividual
type: EdgeProperty

gs56
label: namespace attributes
style: bold
color: orange
type: NamedIndividual
type: EdgeProperty

gs57
color: orange
style: bold
label: in-scope namespaces
type: NamedIndividual
type: EdgeProperty

list of
type: AnnotationProperty
color: skyblue1
style: filled
domain: Class
type: ObjectProperty
range: Class

gs60
style: bold
color: purple
type: NamedIndividual
type: EdgeProperty

gs61
style: bold
color: purple
type: NamedIndividual
type: EdgeProperty

property name
type: AnnotationProperty
color: skyblue1
style: filled
comment: @@isDefinedBy?
comment: section 2. Information Items.
sub property of: label
domain: property

all declarations processed
type: ObjectProperty
color: skyblue1
property name: all declarations processed
comment: @@REVIEW: this a property of a run of a parser, not a property of a document.
style: filled
range: Boolean
type: NamedIndividual
type: UniqueProperty
type: property

g1
style: filled
color: skyblue1

g10
style: filled
color: skyblue1

g11
style: filled
color: skyblue1

g19
color: skyblue1
style: filled

g2
style: filled
color: skyblue1

g20
style: filled
color: skyblue1

g21
style: filled
color: skyblue1

g22
style: filled
color: skyblue1

g23
style: filled
color: skyblue1

g25
color: skyblue1
style: filled

g27
color: skyblue1
style: filled

g29
style: filled
color: skyblue1

g3
style: filled
color: skyblue1

g30
style: filled
color: skyblue1

Elt/Doc
disjoint union of: g32
gs49: Document
gs48: Element

g41
style: filled
color: skyblue1

g42
style: filled
color: skyblue1

g43
color: skyblue1
style: filled

g44
style: filled
color: skyblue1

g45
color: skyblue1
style: filled

g46
style: filled
color: skyblue1

g47
color: skyblue1
style: filled

g5
style: filled
color: skyblue1

g59
color: skyblue1
style: filled

g60
style: filled
color: skyblue1

g61
color: skyblue1
style: filled

g62
color: skyblue1
style: filled

Elt/Doc/DTD
disjoint union of: g64
gs51: Document
gs52: Document Type Declaration
gs50: Element

g7
style: filled
color: skyblue1

g8
color: skyblue1
style: filled

g9
color: skyblue1
style: filled

Absolute URI
type: Class
subclass of: Abs. URIref
subclass of: Literal
subclass of: Namespace Name
style: filled
color: skyblue1
comment: @@hmm... before or after %xx-ing unicode chars?
shape: rectangle

Abs. URIref
type: Class
subclass of: Literal
subclass of: Namespace Name
color: skyblue1
comment: @@connect with XML Schema data type and/or 03swell/URI stuff.
style: filled
comment: @@hmm... before or after %xx-ing unicode chars?
shape: rectangle

Boolean
type: Class
subclass of: Literal
color: skyblue1
style: filled
comment: @@connect with XML Schema data type stuff
shape: rectangle
gs14: false
gs13: true
one of: g0

EncName
type: Class
subclass of: Name
subclass of: String
subclass of: Literal
shape: rectangle
color: skyblue1
pattern: [A-Za-z][A-Za-z0-9._-]*
comment: production [81] from the XML spec
style: filled

NCName
type: Class
subclass of: Name
subclass of: Prefix
subclass of: String
subclass of: Literal
color: skyblue1
style: filled
shape: rectangle
pattern: @@
comment: production [@@] from the Namespaces in XML spec

Name
type: Class
subclass of: String
subclass of: Literal
color: skyblue1
pattern: @@
comment: production [@@] from the XML spec
style: filled
shape: rectangle

No Value
type: Class
subclass of: Prefix
subclass of: Namespace Name
subclass of: Version
style: filled
color: skyblue1
one of: g6
gs17: no value

Prefix
gs47: NCName
gs46: No Value
disjoint union of: g2

String
type: Class
subclass of: Literal
comment: @@connect with XML Schema data type stuff
shape: rectangle
color: skyblue1
style: filled

VersionNum
type: Class
subclass of: String
subclass of: Literal
subclass of: Version
style: filled
color: skyblue1
pattern: [a-zA-Z0-9_.:-]+
shape: rectangle

g39
style: filled
color: skyblue1

g40
color: skyblue1
style: filled

g41
style: filled
color: skyblue1

g43
color: skyblue1
style: filled

Set
type: Class
subclass of: Bag
color: skyblue1
style: filled
comment: finite set
gs2: Class
type: NamedIndividual
type: UnambiguousProperty
type: UniqueProperty

Attribute
type: Class
subclass of: g41
subclass of: g42
subclass of: g43
subclass of: g44
subclass of: g45
subclass of: g46
subclass of: g47
subclass of: Information Item
color: skyblue1
style: filled
item name: Attribute
shape: diamond
gs37: Attribute Type
gs36: Boolean
gs30: NCName
gs32: Prefix
gs35: String
gs38: Element
type: NamedIndividual
type: g0

Character
type: Class
subclass of: g36
subclass of: Information Item
color: skyblue1
item name: Character
comment: @@more...
shape: diamond
style: filled
type: NamedIndividual
type: g0

Comment
type: Class
subclass of: g12
subclass of: g36
subclass of: Information Item
style: filled
comment: @@more...
color: skyblue1
shape: diamond
item name: Comment
type: NamedIndividual
type: g0

Document
type: Class
subclass of: g1
subclass of: g10
subclass of: g11
subclass of: g2
subclass of: g3
subclass of: Elt/Doc
subclass of: g5
subclass of: Elt/Doc/DTD
subclass of: g7
subclass of: g8
subclass of: g9
subclass of: Information Item
shape: diamond
item name: Document
color: skyblue1
style: filled
comment: 2.1. The Document Information Item
gs24: Absolute URI
gs21: Absolute URI
gs25: EncName
gs26: Standalone Type
gs20: Element
gs53: Notation
gs54: Unparsed Entity
gs27: Version
gs18: (E|P|C|D)*
type: NamedIndividual
type: g0

Document Type Declaration
type: Class
subclass of: g12
subclass of: Elt/Doc/DTD
subclass of: Information Item
item name: Document Type Declaration
shape: diamond
style: filled
color: skyblue1
comment: @@more...
type: NamedIndividual
type: g0

Element
type: Class
subclass of: g12
subclass of: g19
subclass of: g20
subclass of: g21
subclass of: g22
subclass of: g23
subclass of: g25
subclass of: g27
subclass of: g29
subclass of: g30
subclass of: Elt/Doc
subclass of: g36
subclass of: Elt/Doc/DTD
subclass of: Information Item
style: filled
color: skyblue1
item name: Element
shape: diamond
gs33: Elt/Doc
gs22: Absolute URI
gs19: Content
gs29: NCName
gs31: Prefix
gs55: Attribute
gs56: Attribute
gs57: Namespace
gs28: Namespace Name
type: NamedIndividual
type: g0

Namespace
type: Class
subclass of: Information Item
color: skyblue1
style: filled
shape: diamond
comment: @@more...
item name: Namespace
type: NamedIndividual
type: g0

Namespace Name
disjoint union of: g34
gs45: Abs. URIref
gs44: No Value

Notation
type: Class
subclass of: Information Item
color: skyblue1
style: filled
item name: Notation
shape: diamond
comment: @@more...
type: NamedIndividual
type: g0

Processing Instruction
type: Class
subclass of: g12
subclass of: g36
subclass of: g59
subclass of: g60
subclass of: g61
subclass of: g62
subclass of: Information Item
style: filled
color: skyblue1
item name: Processing Instruction
shape: diamond
gs34: Elt/Doc/DTD
gs23: Absolute URI
gs39: Name
gs40: String
type: NamedIndividual
type: g0

property
type: Class
subclass of: UniqueProperty
color: skyblue1
style: filled
comment: all infoset properties are unique/many-to-one/functional

Unparsed Entity
type: Class
subclass of: Information Item
comment: @@more...
style: filled
shape: diamond
color: skyblue1
item name: Unparsed Entity
type: NamedIndividual
type: g0

Version
disjoint union of: g17
gs42: No Value
gs43: VersionNum

X
type: Class
subclass of: X|Y|Z
color: skyblue1
style: filled

Y
type: Class
subclass of: X|Y|Z
color: skyblue1
style: filled

Z
type: Class
subclass of: X|Y|Z
color: skyblue1
style: filled

X|Y|Z
style: filled
color: skyblue1
disjoint union of: g45
gs5: X
gs6: Y
gs41: Z

Item
type: Class
subclass of: g39
subclass of: g40
subclass of: g41
subclass of: g43
subclass of: Information Item
shape: diamond
style: filled
color: skyblue1
item name: Item
gs7: ABC
gs8: DEF
gs3: A Class
gs4: X|Y|Z
type: NamedIndividual
type: g0

attribute type
type: NamedIndividual
type: UniqueProperty
type: property
property name: attribute type

attributes
type: NamedIndividual
type: UniqueProperty
type: property
property name: attributes

base URI
type: NamedIndividual
type: UniqueProperty
type: property
property name: base URI

character encoding scheme
type: NamedIndividual
type: UniqueProperty
type: property
property name: character encoding scheme

children
type: NamedIndividual
type: UniqueProperty
type: property
property name: children

content
type: NamedIndividual
type: UniqueProperty
type: property
property name: content

document element
type: NamedIndividual
type: UniqueProperty
type: property
property name: document element

in-scope namespaces
type: NamedIndividual
type: UniqueProperty
type: property
comment: @@not captured: "This set always contains an item with the prefix xml which is implicitly bound to the namespace name http://www.w3.org/XML/1998/namespace."
property name: in-scope namespaces

local name
type: NamedIndividual
type: UniqueProperty
type: property
property name: local name

namespace attributes
type: NamedIndividual
type: UniqueProperty
type: property
property name: namespace attributes

namespace name
type: NamedIndividual
type: UniqueProperty
type: property
property name: namespace name

normalized value
type: NamedIndividual
type: UniqueProperty
type: property
property name: normalized value

notations
type: NamedIndividual
type: UniqueProperty
type: property
property name: notations

owner element
type: NamedIndividual
type: UniqueProperty
type: property
property name: owner element

parent
type: NamedIndividual
type: UniqueProperty
type: property
property name: parent

prefix
type: NamedIndividual
type: UniqueProperty
type: property
property name: prefix

specified
type: NamedIndividual
type: UniqueProperty
type: property
property name: specified

standalone
type: NamedIndividual
type: UniqueProperty
type: property
property name: standalone

system identifier
type: NamedIndividual
type: UniqueProperty
type: property
property name: system identifier

target
type: NamedIndividual
type: UniqueProperty
type: property
property name: target

unparsed entities
type: NamedIndividual
type: UniqueProperty
type: property
property name: unparsed entities

version
type: NamedIndividual
type: UniqueProperty
type: property
property name: version

many-to-list
type: NamedIndividual
type: UniqueProperty

many-to-many
type: NamedIndividual
type: UniqueProperty

many-to-one
type: NamedIndividual
type: UniqueProperty

many-to-1
type: NamedIndividual
type: UniqueProperty

ENUMERATION

IDREF

no value
shape: plaintext

CDATA

NMTOKENS

true
shape: plaintext

yes
shape: plaintext

ABC
color: skyblue1
style: filled

Standalone Type
color: skyblue1
style: filled
one of: g4
gs16: no
gs15: yes

DEF
color: skyblue1
style: filled

A Class
style: filled
color: skyblue1

Attribute Type
dpo one of: g48

Infoset Utilites
creator: Dan Connolly
description: This collects my experience with finite sets from several places: -- rdf:Bag issues: no set! (@@pointer); hmm... rdf:type vs. elt vs. <lists#member> -- larch Set[E] trait $Id: infoset-diagram.rdf,v 1.5 2001/05/10 21:38:10 connolly Exp $
description: rules and such...
cvsversion: $Id: infoset-diagram.rdf,v 1.5 2001/05/10 21:38:10 connolly Exp $
title: An RDF/DAML+OIL Schema/Ontology for the XML infoset
description: This collects my experience with lists from several places: -- rdf:Seq issues: no nil (@@pointer); no convenient list/rest/member -- DAML+OIL: no member -- case of the next scribe -- larch List[E] trait $Id: infoset-diagram.rdf,v 1.5 2001/05/10 21:38:10 connolly Exp $
title: Finite Sets -- Semantic Web Logic Language
nspolicy: @@revisit this... This RDF schema's namespace name http://www.w3.org/2001/04/infoset# will only be used to describe the infoitems and properties defined in the corresponding version of the XML Infoset specification, which is http://www.w3.org/TR/2001/WD-xml-infoset-20010316 Any new version of the specification that changes the infoitems or properties will have a new RDF schema with a different namespace name. This RDF schema for the XML Infoset is not a normative part of the XML Infoset Specification. If this schema is found not to match the normative text of the specification, it will be corrected without changing the namespace name.
date: $Date: 2001/05/10 21:38:10 $
title: Lists -- Semantic Web Logic Language
description: I (DanC) am going over the spec again, transcribing it to DAML+OIL. So far, I've done all the Document properties, and it's going great! I've transcribed the sense of the spec using DAML+OIL plus just one horn-clause rule.
for some: gs1
for some: gs10
for some: gs11
for some: gs12
for some: gs13
for some: gs14
for some: gs15
for some: gs16
for some: gs17
for some: gs18
for some: gs19
for some: gs2
for some: gs20
for some: gs21
for some: gs22
for some: gs23
for some: gs24
for some: gs25
for some: gs26
for some: gs27
for some: gs28
for some: gs29
for some: gs3
for some: gs30
for some: gs31
for some: gs32
for some: gs33
for some: gs34
for some: gs35
for some: gs36
for some: gs37
for some: gs38
for some: gs39
for some: gs4
for some: gs40
for some: gs41
for some: gs42
for some: gs43
for some: gs44
for some: gs45
for some: gs46
for some: gs47
for some: gs48
for some: gs49
for some: gs5
for some: gs50
for some: gs51
for some: gs52
for some: gs53
for some: gs54
for some: gs55
for some: gs56
for some: gs57
for some: gs58
for some: gs59
for some: gs6
for some: gs60
for some: gs61
for some: gs7
for some: gs8
for some: gs9
for some: g0
for some: g1
for some: g10
for some: g11
for some: g12
for some: g13
for some: g14

theGraph
rankdir: LR
label: XML Infoset $Date: 2001/05/10 21:38:10 $
has node: Elt/Doc
has node: Elt/Doc/DTD
has node: Absolute URI
has node: Abs. URIref
has node: Attribute Type
has node: Boolean
has node: Content
has node: EncName
has node: NCName
has node: Name
has node: No Value
has node: Prefix
has node: Standalone Type
has node: String
has node: VersionNum
has node: false
has node: true
has node: Attribute
has node: Character
has node: Comment
has node: Document
has node: Document Type Declaration
has node: Element
has node: Namespace
has node: Namespace Name
has node: Notation
has node: Processing Instruction
has node: Unparsed Entity
has node: Version
has node: (E|P|C|D)*
has node: no
has node: no value
has node: yes
subgraph: key

g44
style: filled
color: skyblue1
list of: DEF

(E|P|C|D)*
color: skyblue1
style: filled
list of: g12
gs58: Comment
gs60: Document Type Declaration
gs9: Element
gs10: Processing Instruction

no
shape: plaintext

Superclass

Content
style: filled
color: skyblue1
list of: g36
gs59: Character
gs61: Comment
gs11: Element
gs12: Processing Instruction

NOTATION

ENTITIES

IDREFS

false
shape: plaintext

key
label: Items and Properties
has node: ABC
has node: DEF
has node: LItems
has node: Many
has node: A Class
has node: X
has node: Y
has node: Z
has node: X|Y|Z
has node: Item

NMTOKEN

ENTITY

ID