- From: David Martin <martin@AI.SRI.COM>
- Date: Wed, 29 Jun 2005 17:27:41 -0700
- To: Daniel Elenius <elenius@csl.sri.com>
- CC: public-sws-ig@w3.org
You are right; I was perhaps a bit hasty in writing that comment. (Actually it was a quick attempt to preserve the content of the comment that was previously there for the SWRL-specific AlwaysTrue instance.) Note that I said "capture the idea" of an empty AtomList - the reference is SWRL-specific, but the intent was just to informally indicate the meaning of the construct. Anyway, to avoid confusion, I will remove it. Thanks, - David Daniel Elenius wrote: > David, > > You put in this comment in Expression.owl, for the AlwaysTrue instance: > > "This instance is meant to capture the idea of an empty AtomList, but we > can't actually specify > that without going into OWL Full (at least not in the most obvious way > that redefines rdf:nil)." > > I don't agree with this. Mentioning AtomList makes it SWRL-specific. An > added benefit of NOT defining > AlwaysTrue as an empty AtomList is that we can use AlwaysTrue for other > expression languages. > > Daniel
Received on Thursday, 30 June 2005 00:23:25 UTC