W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2002

Re: Patel-Schneider Paradox ...

From: Ora Lassila <daml@lassila.org>
Date: Mon, 18 Feb 2002 11:03:16 -0500
Message-Id: <a05101000b896d0c444f9@[]>
To: www-webont-wg@w3.org
Cc: pfps@research.bell-labs.com, phayes@ai.uwf.edu

>  > >3/ properties with no formal meaning
>>  OK, so what? They have no meaning, you can do what you like. That's
>>  not a problem.
>On the contrary, such constructs are endless sources of problems when they
>occur in a specification.   Sure they cause no formal problems, but they do
>cause the generation of considerable amounts of non-luminous warmth.

Unfortunately, these properties with no formal meaning have a great 
*practical* value to implemetors of real-world systems. Maybe that is 
not of interest to you ;-)

>  > >4/ the extensibility mechanism
>>  What extensibility mechanism?
>RDFS Specification, Section 4. Extensibility Mechanisms, particularly
>4.2. Evolvability of the RDF Schema Constraint Mechanism.

We got rid of that (RDF Core WG, that is).

>  > >Now the RDF Core WG is trying very hard to address some of these 
>sources of
>>  >complexity, but the end result, as far as I can see, is *not* going to be a
>>  >simple formalism.
>>  Well, like I say, a formal spec for RDF itself fits on a small 3x5
>>  card, and Ora has implemented an RDFS closure checker that runs on a
>>  cell phone. None of this seems very complex to me.
>Does this include the syntax for RDF?

I would not be too worried about the concrete serialization syntax of 
RDF. Given an "event stream" from an XML parser, a complete RDF 
parser (including such "fancy" stuff such as parsetype="Literal") can 
be expressed as a simple state-machine with 4 states (if interested, 
see slide #4 of my presentation at SWWS'01, linked off 
http://www.lassila.org/publications/2001/swws-01-abstract.shtml). I 
am much more worried about XML which I consider to be awkward and 
frustrating. Could we have s-expressions instead? Pleeease :-)


	- Ora

Ora Lassila  mailto:daml@lassila.org  http://www.lassila.org/
Research Fellow, Nokia Research Center
Received on Monday, 18 February 2002 11:03:47 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:27 UTC