- From: Henry Story <henry.story@bblfish.net>
- Date: Sun, 16 Jan 2005 21:07:53 +0100
- To: Sean B. Palmer <sean+rdf@infomesh.net>
- Cc: www-rdf-interest@w3.org, atom-owl@googlegroups.com, bloged <users@bloged.dev.java.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 UTC