# Expand schema validation to be recursive, ie involving the validity
# of schemas used as well as the file itself.
 
@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
# @prefix dpo:  <http://www.daml.org/2001/03/daml+oil#> .
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix os:  <http://www.w3.org/2000/10/swap/os#> .

@prefix : <validate.n3#>.  # Local stuff

@prefix val: <validate.n3#>.  # Local stuff

# Usage:   cwm validate.n3 recurse.n3 -think -purge -with myfile.n3
#
# Output should not include any error messages.
#

@forAll :x.

#  Targets include any schemata of target documents.


{ [] :usedIn [a :targetDocument];
     log:racine :x;
     :semanticsOK [].
  } log:implies { :x a :targetDocument }.


# ends