@prefix dc: <http://purl.org/dc/elements/1.1/>.

<> dc:description """OBSOLETE!!!""",
"""map navigant (sabre?) airport names to IATA-based
daml.org names; relate to opencyc:fromLocation and opencyc:toLocation""",
"@@TODO: constraint the premise of the mapping rule a bit?",
"$Id: airportNames.n3,v 1.5 2008/03/02 23:03:36 timbl Exp $";
dc:relation <grokTravItin.pl>.

@prefix k: <http://opencyc.sourceforge.net/daml/cyc.daml#> .
@prefix apt: <http://www.daml.org/2001/10/html/airport-ont#>.

@prefix a: <http://www.daml.org/cgi-bin/airport?>. #hmm... ?MCI is a document *and* an airport?
a:MCI k:nameString "KANSAS CITY INTL".
a:STL k:nameString "ST LOUIS INTL".
a:ORD k:nameString "CHICAGO OHARE".
a:DFW k:nameString "DALLAS FT WORTH".
a:EWR k:nameString "NEWARK".
a:BOS k:nameString "BOSTON".
a:DCA k:nameString "WASHINGTON REAGAN".
a:NCE k:nameString "NICE".
a:LHR k:nameString "LONDON HEATHROW".
a:SFO k:nameString "SAN FRANCISCO".
a:CDG k:nameString "PARIS DE GAULLE".
a:FCO k:nameString "ROME FIUMICINO".
a:AHO k:nameString "ALGHERO".
a:PIT k:nameString "PITTSBURGH".
a:YMX k:nameString "MONTREAL DORVALQC".
a:PHX k:nameString "PHOENIX".


@prefix log: <http://www.w3.org/2000/10/swap/log#> .

@prefix :  <?var#>.
@prefix v: <?var#>.

@forAll :P, :Q, :X, :Y.

#special case of UnambiguousProperty and =, perhaps
k:nameString :determines k:fromLocation, k:toLocation.
{ :P :determines :Q.
  :X :Q [ :P [ is :P of :Y ] ].
} log:implies { :X :Q :Y }.

@prefix str: <http://www.w3.org/2000/10/swap/string#> .

{ :X k:nameString []; log:uri :Y.
  (:Y "http://www.daml.org/cgi-bin/airport\\?(.*)") str:scrape :Q
}
  log:implies { :X apt:iataCode :Q }.