@prefix dc: .
<> 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 .
@prefix k: .
@prefix apt: .
@prefix a: . #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: .
@prefix : .
@prefix v: .
@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: .
{ :X k:nameString []; log:uri :Y.
(:Y "http://www.daml.org/cgi-bin/airport\\?(.*)") str:scrape :Q
}
log:implies { :X apt:iataCode :Q }.