From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 12/06/01
Stupid (?) Meta Tricks Here are some interesting tricks that can be played in SWOL. I don't think that they cause any semantic problems, but I am uneasy concerning their computational implications. (I'll use a synthetic syntax for ease of exposition.) 1/ John in (or (all foo TransitiveProperty) (all foo Person)) John in (fills foo ra) OK, let's disallow things like TransitiveProperty in disjunctive statements. 2/ John in (or (fills foo ra) (fills foo rb)) John in (all foo TransitiveProperty) OK, let's disallow things like TransitiveProperty in descriptions. 3/ foo rdfs:range TransitiveProperty . John in (or (fills foo ra) (fills foo rb)) What can we disallow here? Things like TransitiveProperty are already ranges in RDF. peter
This archive was generated by hypermail 2.1.4 : 04/02/02 EST