Up to [Public] / daml-2000-10
Request diff between arbitrary revisions
Keyword substitution: o
Default branch: MAIN
Current tag: MAIN
retracted bogus implication that equivalentTo implies subPropertyOf and subClassOf cf. Date: Thu, 12 Oct 2000 14:23:11 +0200 From: Pierre-Antoine CHAMPIN <champin@bat710.univ-lyon1.fr> mid:39E5AD2F.6F5EFB92@bat710.univ-lyon1.fr http://lists.w3.org/Archives/Public/www-rdf-logic/2000Oct/0016.html
Initial revision