W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2005

Re: a simpler form of rdf xml

From: Henry Story <henry.story@bblfish.net>
Date: Sun, 16 Jan 2005 21:07:53 +0100
Message-Id: <4E650AF2-67FA-11D9-993A-000A95D9FA7A@bblfish.net>
Cc: www-rdf-interest@w3.org, atom-owl@googlegroups.com, bloged <users@bloged.dev.java.net>
To: Sean B. Palmer <sean+rdf@infomesh.net>

Well this is getting into really deep waters I think.

A weaker form of OWL (OWL DL) has many restrictions on the relation
between predicates and entities [1] as pointed out by Sean B. Palmer
on irc [2]:

"LVI, IOT, IOC, IDC, IOOP, IODP, IOAP, IOXP, IL, and IX are all 
pairwise disjoint."

This is going to take time for me to digest. I am going to have to
seriously learn Description Logics, RDF Semantics, and OWL Semantics to 
be able to continue this thread.

So if anyone else wants to pick up from here (assuming there is anywere 
to go) then feel free.

The simple interpretation of xml still holds up very well I think.
It is just the idea that RDF/XML could be folded into the same mold 
that is on hold.

Henry
P.S. I also have a lot of work to do on BlogEd now, so I can no longer
spend full time on this

[1] http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#5.4
[2] 
http://www.ilrt.bris.ac.uk/discovery/chatlogs/swig/2005-01-16#T19-21-49

On 16 Jan 2005, at 16:56, Henry Story wrote:

>
> Just to clarify a little the point I made:
>
> One can think of an object as a relationship an object has to itself:
>
>     +--- <vemmi://example.org/2003/32397> ----+
>     |            |      ^                     |
>     |            |      |                     |
>     +------------+      ----------------------+
>
> ie. the <vemmi://example.org/2003/32397> resource is a very special
> relationship that relates that particular object to itself.
>
> the <Feed> type of object is the more general relationship that
> relates any object of type feed to itself, as shown in the diagram
> below.
>
> On 15 Jan 2005, at 17:52, Henry Story wrote:
>>
>> _f --is-a--> <Feed>
>>
>> is just equivalent to
>>
>> _f ---+------is-a--+
>> ^     |            |
>> |    <Feed> <------+
>> ------+
>>
>>
>> hehe :-)
>
Received on Sunday, 16 January 2005 20:07:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:12 GMT