#... { ?WHERE apt:iataCode ?CCC. ?PG log:uri [ is str:concatenation of ("http://www.daml.org/cgi-bin/airport?" ?CCC) ]; } log:implies { ?WHERE :airportInfo ?PG }. #... # believe what daml.org says about airport latitutde/longitudes... :AirportProperty is rdf:type of apt:latitude, apt:name, apt:iataCode, apt:icaoCode, apt:location, apt:latitude, apt:longitude, apt:elevation. { :P a :AirportProperty. ?WHERE a :InterestingPlace; apt:iataCode :K; :airportInfo ?PG. ?PG log:semantics [ log:includes { [] apt:iataCode :K; :P :X. } ]. } log:implies { ?WHERE :P :X. }.
these rules are slighly bogus, though they work. @@clean-up
24 of 29 |