[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: ANN: owl.dtd

• To: <xml-dev@l...>
• Subject: Re: ANN: owl.dtd
• From: Arjun Ray <aray@n...>
• Date: Mon, 26 May 2003 17:28:10 +0000
• In-reply-to: <026e01c32342$6fd8d1c0$4bc8a8c0@A...>
• References: <3ECFD6EE.D9C06AD@m...> <02f401c3223a$6bfdab60$b6f5d3ce@L565> <026e01c32342$6fd8d1c0$4bc8a8c0@A...>

"Rick Jelliffe" <ricko@a...> wrote:
| From: "Jonathan Borden" <jonathan@o...>

|> I don't think it is possible to write a DTD that validates all legal 
|> RDF documents and invalidates all documents that are not legal RDF. 

An insight distilled from this opinion would be useful.  That is, *why* is
a DTD unlikely?  Or, what is necessarily possible in RDF/XML that the DTD
formalism can't capture?  (Which might raise questions such as, why need
RDF/XML have its particular XML representation if, say, another equally
expressive one were possible to describe with a DTD?)   

|> It *is* possible to do this with RELAX NG, however, 

A useful basis for comparison in light of the above, indeed.

| [Without] *some* appropriate and independently designed and implemented 
| executable schema language [...] you have to catch syntactic problems by 
| checks at the semantic level, which may not be possible; better to catch 
| semantic problems at the syntactical (schema) level as much as possible.

+1.

Structural validity as a necessary condition for semantic coherence (from
a practical point of view: i.e. achieving the latter without the former
*could* happen - from non-orthogonality, e.g. - but it's prudent to treat
that as an accident rather than as a designed feature.)
 

• Follow-Ups:
  • Re: ANN: owl.dtd
    • From: John Cowan <cowan@m...>

• References:
  • ANN: owl.dtd
    • From: "Roger L. Costello" <costello@m...>
  • Re: ANN: owl.dtd
    • From: "Jonathan Borden" <jonathan@o...>
  • Re: ANN: owl.dtd
    • From: "Rick Jelliffe" <ricko@a...>

• Prev by Date: Re: ANN: owl.dtd
• Next by Date: Re: ANN: owl.dtd
• Previous by thread: Dogged (Re: ANN: owl.dtd)
• Next by thread: Re: ANN: owl.dtd
• Index(es):
  • Date
  • Thread