From: Peter F. Patel-Schneider ([email protected])
Date: 11/30/01
From: Pat Hayes <[email protected]> Subject: Re: querying DAML+OIL syntax Date: Thu, 29 Nov 2001 21:56:39 -0600 > >From: Pat Hayes <[email protected]> > >Subject: Re: querying DAML+OIL syntax > >Date: Thu, 29 Nov 2001 19:44:07 -0600 [....] > I must be getting old, or something. I really do not follow you. Are > you saying that A does NOT entail B?? The problem here is that everything in DAML+OIL is triples, even the stuff that really should be syntax. All these triples end up in the interpretations, thus preventing the appropriate entailments. > If we don't have any relationships in the model theory, how will we > entail ANYTHING? There are lots of entailments, it is just that you end up with too few, because the syntax triples pollute the interpretations. The situation is exactly the same as for encoding propositional logic in RDF, of course. The syntax has to be triples, which then end up in the model theory. In the simplest case OR A B does not entail OR B A because of the ordering of the disjuncts. (Provided that you use an ordered representation of the arguments, of course.) > Pat peter
This archive was generated by hypermail 2.1.4 : 04/02/02 EST