[Pellet-users] Another question

[小红花]

Hello Nick.
 Thank you for your message!
 I hava saved my ontology out and I have loaded it into Pellet to check consistency.
 But it prints some messages about OWL species validation.
As a result , I can't see the consistency information about the ontology on the Console.
Now I didn't kown the use of  messages about OWL species validation.
Can I drop the messages from my Console?And how I do it?
  
 And I have another questins.
 First, I read the source code of Pellet ,and I find that Pellet use Abox to check the consistency of a notology.
 My ontology is built up with classes and relations ,it does't contain a object of any classes.
 Can I load it into Pellet to check consistency?
  
 Second, how can I do more control over the reasoning process into Pellet?
 Thank you!
  
 Hyue
  
  
  
  
  
  
 You can check the consistency of your ontology from within Protege.  
 In Protege4.0, set the reasoner using the Reasoner menu and every class that is unsatisfiable will be placed under Nothing in the inferred class hierarchy.
 

 If you need more control over the reasoning process, you can of course save the file out and load it into pellet directly.
 

 Nick

 On Mon, Jun 9, 2008 at 2:27 PM, 小红花 <hhy_826099260 at qq.com> wrote:
  I am learning th Pellet.
 I want to use Protege to build a ontology which will be saved in my computer as a OWL file.
 Then I want to check the consistency of the ontology using Pellet.
 And I want to add other restrictions.
 Now I have built  the ontology.but I don't know how to begin my checking work.
 And the ontology did't have a object, Can I check the consistency using Pellet.
 Can you send some information about my work ?
 Thank you !
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080610/9a563b05/attachment.htm