[Pellet-users] Pellet and OWL 1.1

[Michael Smith]

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,
-- 
Mike Smith

Clark & Parsia
-------------- next part --------------
SELECT ?child ?uncle
WHERE {
?uncle <http://ontologies.semanticarts.com/dbo/moduleXX/uncle11#uncleOf> ?child
}