Holger Knublauch

Set to single pass inferencing to avoid infinite loop

......@@ -58,13 +58,13 @@
<http://www.reportinghub.no/ep/transform/1.1/ddr/normalization>
rdf:type owl:Ontology ;
owl:imports <http://www.reportinghub.no/ep/transform/1.1/ddr> , <http://spinrdf.org/spin> ;
owl:imports <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/transform/1.1/ddr> ;
owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
_:b4 sp:varName "nameWell"^^xsd:string .
_:b3 sp:varName "well"^^xsd:string .
_:b1 sp:varName "wellBore"^^xsd:string .
_:b2 sp:varName "nameWellBore"^^xsd:string .
_:b1 sp:varName "wellBore"^^xsd:string .
_:b3 sp:varName "well"^^xsd:string .
_:b4 sp:varName "nameWell"^^xsd:string .
......
# Saved by TopBraid on Wed Aug 03 07:44:47 BST 2011
# 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 "0"^^xsd:int
] .
# 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> ;
<http://spinrdf.org/spin#topSPINOptions>
"singlePass" ;
composite:index "0"^^xsd:int
] ;
inference:completeMode
"true"^^xsd:boolean .
......