W3C home > Mailing lists > Public > public-grddl-wg@w3.org > April 2007

Valid XHTML and Faithful Infoset redflag - stated (semi) formally

From: Chimezie Ogbuji <ogbujic@ccf.org>
Date: Wed, 25 Apr 2007 10:26:36 -0400
To: "GRDDL Working Group" <public-grddl-wg@w3.org>
Message-ID: <1177511196.17530.71.camel@otherland>

The nice thing about the informative, mechanical rules / terms is that I
can attempt to state (semi-formally) the concern with the notion of a
dependence on XHTML validity as criteria for the appropriate family of
documents against which GRDDL applies.

Namespace bindings:

jc: ->
http://blog.jclark.com/2007/04/validation-not-necessarily-harmful.html#


Define a relationship jc:validWRT between an XML and schema it conforms
to.  

Define an enumerated class xhtml:SanctionedDTD which (necessarily and
sufficiently) comprises of the 'sanctioned' DTD's which determine XHTML
validity - in Manchester OWL [1]:

Class xhtml:SanctionedDTD
EquivalentClass: 
 { <http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd>
   <http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd>
   <http://www.w3.org/TR/xhtml1/dtds.html#a_dtd_XHTML-1.0-Frameset>
 } 

Define a class xhtml:Document defined (necessarily and sufficiently) as
the class of documents which have a jc:validWRT relationship between
them and a W3C sanctioned XHTML DTD - in Manchester OWL:

Class: xhtml:Document
EquivalentClass: ( jc:validWRT some xhtml:SanctionedDTD)

Define a class of xhtml:NotValidDocument which is the complement of
xhtml:Document:

Class: xhtml:NotValidDocument
DisjointWith: xhtml:Document

Define a class of GRDDL source documents which consist (neccessarily and
sufficiently) of IR from which you can glean a GRDDL result per GRDDL
spec :

Class grddl:SourceDocument
EquivalentClass: ( grddl:result some grddl:RDFGraph )

Is it the case that xhtml:NotValid is owl:disjointWith
grddl:SourceDocument?

I.e., should the definition of grddl:SourceDocument be:

Class grddl:SourceDocument
EquivalentClass: ( grddl:result some grddl:RDFGraph )
DisjointWith: xhtml:NotValid

This would only be the case if XHTML validity was an additional
criteria : a direction which differs from the faithful infoset
resolution of not mandating behavior WRT to XML validity.  

[1] http://www.co-ode.org/resources/reference/manchester_syntax/

-- 
Chimezie Ogbuji
Lead Systems Analyst
Thoracic and Cardiovascular Surgery
Cleveland Clinic Foundation
9500 Euclid Avenue/ W26
Cleveland, Ohio 44195
Office: (216)444-8593
ogbujic@ccf.org


===================================




Cleveland Clinic is ranked one of the top 3 hospitals in
America by U.S.News & World Report. Visit us online at
http://www.clevelandclinic.org for a complete listing of
our services, staff and locations.


Confidentiality Note:  This message is intended for use
only by the individual or entity to which it is addressed
and may contain information that is privileged,
confidential, and exempt from disclosure under applicable
law.  If the reader of this message is not the intended
recipient or the employee or agent responsible for
delivering the message to the intended recipient, you are
hereby notified that any dissemination, distribution or
copying of this communication is strictly prohibited.  If
you have received this communication in error,  please
contact the sender immediately and destroy the material in
its entirety, whether electronic or hard copy.  Thank you.
Received on Wednesday, 25 April 2007 14:27:01 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:49 GMT