- From: Benjamin Nowack <bnowack@appmosphere.com>
- Date: Mon, 19 Jul 2004 19:39:14 +0200
- To: paolo veronelli <paolo_veronelli@yahoo.it>
- Cc: "www-rdf-logic@w3.org" <www-rdf-logic@w3.org>
On 19.07.2004 19:10:09, paolo veronelli wrote: > > >And one last (for today) > >facts: > >x1,p,y1 >x1,rdf:type,c1 >p,rdf:domain,c2 > >(c1!=c2) > >inference: > >c1,rdf:subClassOf,c2 > >looks a little better,but... not sure but I think that's ok. (btw, I have to replace "facts" with "assertions" in my last post). so if you assume that your statements are consistent, you should probably be able to infer c1 rdfs:subClassOf c2 via x1 rdf:type c2 which can be inferred from the given domain description. but I'm sure there are people on this list who can give a more precise answer... (just note that "domain" and "subClassOf" are from the rdfs, not the rdf namespace.) cheers, benjamin -- Benjamin Nowack Kruppstr. 100 45145 Essen, Germany http://www.appmosphere.com/ > > Grazie Paolino > >-- >....lotta dura per la verdura > > >
Received on Monday, 19 July 2004 13:40:08 UTC