@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix test: <http://www.daml.org/2003/06/ruletests/test-ont#> .
@prefix airport: <http://www.daml.org/cgi-bin/airport?> .
@prefix fips: <http://www.daml.org/2001/09/countries/fips#> .
@prefix : <#> .

<> a test:Test;
   owl:versionInfo "$Id: domesticflight-1.n3,v 1.3 2003/07/01 21:47:33 mdean Exp $";
   rdfs:comment "using rules to define classes outside OWL DL".

:Flight a owl:Class.

:ua1495 a :Flight;
  :origin airport:ORD;
  :destination airport:GEG.

airport:ORD :country fips:US.
airport:GEG :country fips:US.

{ ?x :origin ?o;
     :destination ?d.
  ?o :country ?c.
  ?d :country ?c }
=>
{ ?x a :DomesticFlight }.

{ :ua1495 a :DomesticFlight }
=>
{ <> test:successful "true" }
.