[protege-discussion] Web-Protege: A Lightweight OWL Ontology Editor for the Web

[jvendetti]

Hello Ricardo,

Please note that I have addressed this question on the protege-owl mailing
list.  It is not necessary to cross-post messages.

Thank you,
Jennifer


Riccardo.Grosso wrote:
> 
> Dear Tania and Jennifer,
> 
> it is possible to obtain a trial version of Web-Protege, about your 
> accepted paper at:
> 
>         http://webont.org/owled/2008/accepted-papers.html
> 
> ?
> 
> Thanks and best regards.
> 
> Riccardo.
> 
> 
> 
> 
> Tania Tudorache <tudorache at stanford.edu> 
> Inviato da: protege-owl-bounces at lists.stanford.edu
> 07/08/2008 00.31
> Per favore, rispondere a
> User support for the Protege-OWL editor <protege-owl at lists.stanford.edu>
> 
> 
> Per
> 
> CC
> Pellet Users List <pellet-users at lists.owldl.com>, User support for the 
> Protege-OWL editor <protege-owl at lists.stanford.edu>
> Oggetto
> Re: [protege-owl] [Pellet-users] Starting with ProtegeOwl Classes
> 
> 
> 
> 
> 
> 
> Hi Joseph,
> 
> I think your questions are more related to Protege-OWL than Pellet. I 
> think we should continue the discussion on the Protege-OWL mailing list. 
> I've added it into the cc.
> 
> Evren Sirin wrote:
>>
>>
>> On Wed, Aug 6, 2008 at 3:17 PM, Kormann, Joseph 
>> <joseph.kormann at lmco.com <mailto:joseph.kormann at lmco.com>> wrote:
>>
>>     Tim,
>>
>>     I put some other emails to the Protégé site. I tried using the
>>     examples from
>>     <
> http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html>
>>     and others than Tania recommended online.
>>
> The link you gave is the old reasoner API. I suppose you meant this one:
> I suppose you mean this one: 
> http://protegewiki.stanford.edu/index.php/ProtegeReasonerAPI
> 
>>
>>     A couple of problems that I ran into:
>>     - Converting from a JenaOwlModel into an OntModel is a one-way
>>     process. The OntModel, which can execute Pellet, needs to load the
>>     namespaces *again* and it uses the URLs provided, not the
>>     local-file references. I don't want to rework all the existing
>>     code into Jena just yet.
>>
> 
> I don't know what you mean here.. When invoking the direct connection to 
> Pellet, the Protege OWL internal model is converted either to a Jena 
> model that uses the Pellet reasoner, or to an OWL-API model.  (Default 
> in the UI is OWL-API).
> 
>>
>> I don't know why reloading is required but normally if you have a Jena 
>> model you can create a Pellet-backed model by doing
>>
>> OntModel pelletModel = ModelFactory.createOntologyModel( 
>> PelletReasonerFactory.THE_SPEC, originalModel );
>>
>> If there are SWRL rules in the model, Pellet will automatically 
>> recognize and reason with them. There are examples in the Pellet 
>> distribution with more examples.
>> 
>>
>>
>>     - Running the documented ProtegePellet class worked great for
>>     class-level inference, however I didn't see it run the SWRL that
>>     is in the OWL Model. 
>>
>>
>> I don't know if Protege translates SWRL rules into the Jena OntModel. 
>> But one problem that might occur is when you use the SWRL builtins 
>> supported by the SWRLTab of Protege. Pellet does not support those 
>> built-in extensions and would ignore rules that contain any 
>> unsupported built-in (and log a warning message about it).
> 
> The Jena implementation of the Protege-OWL reasoner 
> (ProtegePelletJenaReasoner) will convert all the SWRL rules and they are 
> sent to Pellet. So you will get in the OWL Model all the SWRL related 
> inferences. As Evren said, if you are using custom built-ins from the 
> SWRL library, Pellet does not ||support those, and they will not be 
> executed.
> 
> The default direct connection to Pellet available in Protege 3.4 is the 
> OWL-API implementation (ProtegePelletOWLAPIReasoner), that does not 
> convert the SWRL rules. So, make sure that you are using in your code 
> the ProtegePelletJenaReasoner, rather than the 
> ProtegePelletOWLAPIReasoner. We already have the code for the latter one 
> but it is not included in the distribution.
> 
> If you would like to continue this thread, please do so on the 
> Protege-OWL mailing list.
> 
> Thanks,
> Tania*||*
> 
> 
>>
>> Cheers,
>> Evren
>> 
>>
>>     I've had problems with Protégé 3.4b120 and 3.4b504 about executing
>>     SWRLs in the Protégé UI - those were posted to the Protégé mail 
> list.
>>
>>     -Joseph
>>
>>     > -----Original Message-----
>>     > From: Timothy Redmond [mailto:tredmond at stanford.edu
>>     <mailto:tredmond at stanford.edu>]
>>     > Sent: Wednesday, August 06, 2008 3:11 PM
>>     > To: Kormann, Joseph; Pellet Users List
>>     > Subject: Re: [Pellet-users] Starting with ProtegeOwl Classes
>>     >
>>     >
>>     > This message almost looks like it belongs more on the protege owl
>>     > mailing list.
>>     >
>>     > There are items that belong here - how to use pellet with the
>>     owl api
>>     > (I suspect that is actually trivially easy...) and how to use 
> pellet
>>     > with an OntModel.  But in general, there are people  on the 
> protege
>>     > owl mailing list who know all the choices on how to use the 
> Protege
>>     > Owl api and pellet.  This includes using  the jena pellet
>>     reasoner and
>>     > the owlapi reasoner through protege owl.
>>     >
>>     > -Timothy
>>     >
>>     > On Aug 6, 2008, at 6:02 AM, Kormann, Joseph wrote:
>>     >
>>     > > I'm starting with ProtegeOwl Classes, mainly because of legacy
>>     code
>>     > > we cannot change at this point. I want to use Pellet as the
>>     > > reasoner. The Protégé Pellet wrapper does not appear to be 
> working
>>     > > for SWRL, so I'm looking at how to use the OwlApi classes.
>>     > >
>>     > > I can get an OntModel from ProtegeOwl's JenaOwlModel object.
>>     What is
>>     > > the right sequence of events to execute the Pellet reasoner
>>     against
>>     > > it?
>>     > >
>>     > > Thanks.
>>     > > _______________________________________________
>>     > > Pellet-users mailing list
>>     > > Pellet-users at lists.owldl.com <
> mailto:Pellet-users at lists.owldl.com>
>>     > > http://lists.owldl.com/mailman/listinfo/pellet-users
>>     > > _______________________________________________
>>     > >
>>     > > Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>>
>>     _______________________________________________
>>     Pellet-users mailing list
>>     Pellet-users at lists.owldl.com <mailto:Pellet-users at lists.owldl.com>
>>     http://lists.owldl.com/mailman/listinfo/pellet-users
>>     _______________________________________________
>>
>>     Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>>
>>
> 
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 
> Instructions for unsubscribing: 
> http://protege.stanford.edu/doc/faq.html#01a.03 
> 
> 
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
> 
> Instructions for unsubscribing:
> http://protege.stanford.edu/doc/faq.html#01a.03 
> 
> 

-- 
View this message in context: http://www.nabble.com/Web-Protege%3A-A-Lightweight-OWL-Ontology-Editor-for-the-Web-tp19761592p19765879.html
Sent from the Protege - General mailing list archive at Nabble.com.