[Pellet-users] How is the Consistency of ontology defined in Pellet.1.5

[小红花]

I have a ontology,The format of ontology is OWL and it is saved in my computer.The ontology is not consistency.I have used Protege and Pellet.1.5 to check it,and Protege revealed the inconsistent concepts.
But when I use JBuilder to compile the source of Pellet.1.5 and then use it check the consistency of ontology,It show the ontology is consistent.Then I use the Classfy function(-c).It show unsatisfiable concepts .And the concepts are  the same with the inconsistent concepts.The output is:
 Input file: file:/F:/javaWorkplace/pellet%201.5/src/test.owl
OWL Species: Full
DL Expressivity: ALCHIF
Consistent: Yes
Time: 4266 ms (Loading: 3188 Species Validation: 797 Consistency: 78 Classification: 203 )
 Unsatisfiable Concepts
unnamed:evolveunit, unnamed:evolve, unnamed:inforproperty, unnamed:needline
 Why?I am confused with it.How can I use JBuilder to compile the source of Pellet.1.5 and then check the consistency of ontology?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080828/15f52d8b/attachment.htm