[Pellet-users] ABox reasoning with Pellet

[Pradeep]

Dear All,

We are using Protege 3.4 and Pellet1.5.2 and mainly use Pellet to reason
with individuals(ABOX) in OWL to see of they satisfy restrictions
imposed on the classes (TBOX).

1. Upon clicking the "Compute Inferred Types" button in Protege 3.4,
Pellet seems to be able to display only one ABOX inconsistency , though
there might be several in an ontology. Is there a way that we can get to
see all ABOX inconsistencies in the ontology?

2. Is there a way to access the Pellet server output (the displayed ABOX
inconsistency that we faced in question 1) for manipulation purposes?
(e.g. we want to extract the specific individual causing the
inconsistency from the error message, so that we can manipulate it by
some programing language.)

3. Has anybody had any experience in turning the Unique Name Assumption
option to TRUE in Pellet? We came across some brief notes on this issue
in the Pellet forums, but we couldnt successfully implement them and see
a change in reasoners response.

Thank you very much in advance for your time and patience.

Pradeep Suresh
Graduate Research Assistant
Purdue University (currently at Oxford University)