[Pellet-users] Pellet and OWL 1.1

[Swanson, Tim]

Michael, Holger,

Thanks for looking into that. I've run into some of this behavior before
using Pellet+Jena. In some situations, it seems that "give me all the
triples" will not return an inference that appears to exist when queried
directly. (Individual differentness is one example.)

I'll keep experimenting to see what pops up. Let me know if you discover
anything.

Thanks,

Tim Swanson
Semantic Arts, Inc.
Fort Collins, Colorado



> -----Original Message-----
> From: pellet-users-bounces at lists.owldl.com [mailto:pellet-users-
> bounces at lists.owldl.com] On Behalf Of Holger Knublauch
> Sent: Friday, September 07, 2007 5:32 PM
> To: pellet-users at lists.owldl.com
> Subject: Re: [Pellet-users] Pellet and OWL 1.1
> 
> 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/u
> ncle11#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/
> _______________________________________________
> 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/