#| -*-Scheme-*-

$Id: air-names.scm 10155 2008-01-15 05:13:58Z cph $

Copyright (C) 2007 Massachusetts Institute of Technology

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or (at
your option) any later version.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301,
USA.

|#

;;;; AIR name definitions

(declare (usual-integrations))

(register-rdf-prefix 'air: "http://dig.csail.mit.edu/TAMI/2007/amord/air#")

(define-rdf-class |air:BaseRule|)
(define-rdf-class |air:Belief-rule|)
(define-rdf-class |air:Belief|)
(define-rdf-class |air:Contradiction|)
(define-rdf-class |air:Contradiction|)
(define-rdf-class |air:Goal-rule|)
(define-rdf-class |air:Goal|)
(define-rdf-class |air:Hidden-rule|)
(define-rdf-class |air:Justification|)
(define-rdf-class |air:Pattern|)
(define-rdf-class |air:Policy|)
(define-rdf-class |air:Variable|)

(define-rdf-property air:alt)
(define-rdf-property air:antecedent)
(define-rdf-property air:assert)
(define-rdf-property air:assert-goal)
(define-rdf-property air:assertion)
(define-rdf-property air:compliant-with)
(define-rdf-property air:goal-assertion)
(define-rdf-property air:goal-rule)
(define-rdf-property air:is-variable)
(define-rdf-property air:justification)
(define-rdf-property air:label)
(define-rdf-property air:matched-graph)
(define-rdf-property air:non-compliant-with)
(define-rdf-property air:pattern)
(define-rdf-property air:rule)
(define-rdf-property air:rule-id)
(define-rdf-property air:statement)
(define-rdf-property air:variable)

(define-rdf-resource air:assumption)
(define-rdf-resource air:implicit-goal)
(define-rdf-resource air:composite-justification)
(define-rdf-resource air:closed-world-assumption)