#...
{
?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 |