Expression.owl

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