[Pellet-users] Another question

[Jun Fang]

2008/6/10 小红花 <hhy_826099260 at qq.com>:

> 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?
>

yes,  in description logics, all reasoning problem can be transformed into
ontology consistency checking problem.


> 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 !
>>
>>
>>
> _______________________________________________
> 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/
>



-- 
Best Regards!

Jun Fang - PhD candidate,
Control & Networks Institute,
College of Automation,
Northwestern Polytechnical University,
Xi'an, Shaanxi Province, China
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080611/2d2e89bc/attachment-0001.htm