[Owlim-discussion] reasoning context separation in OWLIM?

[J.Kopecky]

Dear OWLIM list members,

I'm new here as a recent user of OWLIM in the iServe project [1]. I have two 
questions, the second will come in the next mail.

We use OWLIM with the following configuration:

[] a rep:Repository ;
   rep:repositoryImpl [
      rep:repositoryType "openrdf:SailRepository" ;
      sr:sailImpl [
         sail:sailType "swiftowlim:Sail" ;
         owlim:ruleset "owl-max" ;
         owlim:partialRDFS "true" ;
         owlim:noPersist "true" ;
         owlim:storage-folder "main-data-storage" ;
         owlim:base-URL "http://www.ip-super.org/ontologies/execution-history#"; 
;
         owlim:new-triples-file "new-triples-file.nt" ;
         owlim:entity-index-size "200000" ;
         owlim:jobsize "200" ;
         owlim:repository-type "in-memory-repository" ;
         owlim:defaultNS "http://www.ip-super.org/ontologies/execution-history#";
      ]
   ].

The repository does RDFS materialization, but all the materialized triples are 
apparently in the default context (if this is the right term - I view the 
repository through the Sesame OpenRDF Workbench). As far as I understand it, 
this means that we cannot separate different contexts in terms of inferred 
triples - is this correct? If one context implies the triple <A,rdf:type,B>, we 
cannot query another context for the instances of B without also getting A, 
right?

Is there a configuration of OWLIM that does context separation for reasoning? 
If not, what is the recommended workaround?

Thanks,
Jacek Kopecky
Knowledge Media Institute, The Open University, UK


[1] http://iserve.kmi.open.ac.uk/

-- 
The Open University is incorporated by Royal Charter (RC 000391), an exempt 
charity in England & Wales and a charity registered in Scotland (SC 038302).

_______________________________________________
OWLIM-discussion mailing list
OWLIM-discussion@ontotext.com
http://ontotext.com/mailman/listinfo/owlim-discussion