for setOf(C, E) read: C is the class of finite sets of E.
@@REVIEW: this a property of a run of a parser, not a property of a document.
@@hmm... before or after %xx-ing unicode chars?
@@connect with XML Schema data type and/or 03swell/URI stuff.
@@connect with XML Schema data type stuff
production [@@] from the Namespaces in XML spec
all infoset properties are unique/many-to-one/functional
@@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."
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 $
$Id: infoset-diagram.rdf,v 1.5 2001/05/10 21:38:10 connolly Exp $
An RDF/DAML+OIL Schema/Ontology for the XML infoset
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 $
Finite Sets -- Semantic Web Logic Language
@@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.
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.