- From: Daniel Elenius <elenius@csl.sri.com>
- Date: Wed, 29 Jun 2005 16:42:02 -0700
- To: David Martin <martin@AI.SRI.COM>, public-sws-ig@w3.org
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 Wednesday, 29 June 2005 23:42:09 UTC