- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 27 May 2002 10:30:22 +0200
- To: pfps@research.bell-labs.com
- Cc: "GK" <GK@ninebynine.org>, "connolly" <connolly@w3.org>, "www-rdf-logic" <www-rdf-logic@w3.org>
> > [...] > > > > > > > > I can think of two agents (cwm and Euler) that > > > > > > do a lot more than simple entailment, when > > > > > > asked to. I think of them as RDF agents. > > > > > > > > > > They are not. > > > > > > > >Er... I accept that as your opinion. > > > >I disagree. > > > > > > It seems we need to define what is meant by an "RDF agent". In > > particular, > > > is it entitled to draw inferences that are not licensed by RDF? > > > > I would say yes, but better call them "RDF based mechanisms" or some such. > > We also declare the so called "namespace entailment" like in > > > > ( < http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt> > > < http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> > > <http://www.w3.org/2000/01/rdf-schema#> > > <http://www.w3.org/2001/10/daml+oil#> ) > > log:entails > > < http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> . > > oops, that's OK but I intended the example ( <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test003.nt> <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test004.nt> <http://www.w3.org/2000/01/rdf-schema#> <http://www.w3.org/2001/10/daml+oil#> ) log:entails <http://www.agfa.com/w3c/rdf/rdfs-transitive-subSubProperty/test005.nt> . and the explanation is somewhere in http://www.agfa.com/w3c/euler/etc5-proof.n3 > > and those namespaces URI's tell us that we have > > to respect RDFS respectively OWL entailment > > (given their MT's). > > If this sort of thing is in RDF there appears to be no way to proceed. I > would like to write a correct reasoner for RDF. You seem to be saying that > this reasoner would have to respect the extra-RDF meanings of things like > log:forAll, log:entails, and ont:UnambiguousProperty. I don't see any way > that I can do this. we reflect from <http://www.w3.org/2000/01/rdf-schema#> to <http://www.agfa.com/w3c/euler/rdfs-rules.n3> and from <http://www.w3.org/2001/10/daml+oil#> to <http://www.agfa.com/w3c/euler/owl-rules.n3> and have <http://www.w3.org/2000/10/swap/log#> and <http://www.w3.org/2000/10/swap/math#> and <http://www.w3.org/2000/10/swap/string#> builtin -- Jos
Received on Monday, 27 May 2002 04:31:00 UTC