# baseURI: null

@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> .
@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> .
@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix visual: <http://topbraid.org/visual#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

[
  rdf:type inference:Configuration ;
  composite:child [
      rdf:type <http://spinrdf.org/spin#TopSPIN> ;
      composite:index "1"^^xsd:int ;
    ] ;
  composite:child [
      rdf:type inference:SwiftOWLIMEngine ;
      composite:index "0"^^xsd:int ;
    ] ;
].