[Pellet-users] help

[Jun Fang]

hi,

I think you want to use the pellet api to check the ontology,

you can download the pellet source code and import them into the eclipse,
in the imported pellet project, there are an example directory, you will
find the consistency checking answer in the
IncrementalConsistencyExample.java or ExplanationExample.java,

the answer is probably like:

Reasoner pellet = new Reasoner( manager );
pellet.loadOntology( ontology );
pellet.isConsistent();

you can check the pellet javadoc for more information.

For restrictions adding, you should use Jena or OWLAPI, they are both
supported by the pellet,
you can use Jena or OWLAPI to manipulate the ontology, and use pellet to
perform reasoning.

By the way, i think you are a Chinese student, you can also ask you question
in http://bbs.w3china.org/list.asp?boardid=2
It a very good place for discuss semantic web related issues.

On Mon, Jun 9, 2008 at 9: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/d07bc04a/attachment.htm