[Pellet-users] Pellet and OWL 1.1

[Holger Knublauch]

Thanks for your help, Michael.

I did a small test case to verify using the Jena API:

	public void testSwanson() throws Throwable {
		OntModel ontModel = 
ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM);
		ontModel.read(new 
FileInputStream("C:/TQ/TBC/runtimeWorkspaceTBC/Zzz/pellet/swanson.owl"), 
"http://aldi.de/");
		OntModelSpec spec = PelletReasonerFactory.THE_SPEC;
		InfModel infModel = ModelFactory.createOntologyModel(spec, ontModel);
		StmtIterator it = infModel.listStatements();
		while(it.hasNext()) {
			Statement s = it.nextStatement();
			System.out.println(" - " + s);
		}
	}

Note that this does *not* return the uncle triple.  It does however work 
when I just explicitly ask for the uncle triple:

...
		Property uncle = 
infModel.getProperty("http://ontologies.semanticarts.com/dbo/moduleXX/uncle11#uncleOf");
		StmtIterator it = infModel.listStatements(null, uncle, (RDFNode) null);
...

This does return it, and this also explains why your SPARQL query is 
working.

Maybe there is some more debugging required on your side? ;)

Holger



Michael Smith wrote:
> On Fri, 2007-09-07 at 16:06 -0600, Swanson, Tim wrote:
> 
>> Does Pellet need to be configured in any way to get OWL 1.1 inference? I
>> am using TopBraid Composer (which uses the Jena interface to Pellet). I
>> sent a separate e-mail for confirmation, but I'm pretty sure that the
>> most recent version of TBC uses Pellet 1.5.
> 
> The default Pellet configuration supports complex subproperty axioms,
> like those that appear in the ontology you provided.
> 
> I've attached a sparql file that can be passed as an argument to the
> Pellet command line utility, which demonstrates that Pellet is behaving
> as expected.  I get the following output...
> 
> Query Results (1 answers): 
> child       | uncle      
> =========================
> uncle11:Sam | uncle11:Bob
> 
> 
> I was able to confirm this behavior in Pellet versions 1.4 and 1.5.0.
> 
> Best of luck debugging,
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
> 
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/