Re: [Bulk] Re: [Bulk] Re: [SWRLTAB in protege 3.4.7]

Many thanks
On Feb 14, 2012, at 6:48 PM, Martin O'Connor wrote:

>
> These files seem to be out of sync. The ontology distributed with  
> Protege-OWL is the latest and correct version.
>
> Martin
>
> On 2/14/2012 3:02 AM, Maatary Daniel OKOUYA wrote:
>> Hi Martin,
>>
>> Just for the record and also to understand which version to use.
>>
>> There is a difference between the temporal.owl ontology file that  
>> you can get online at the following address:
>>
>> /*http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl*/
>>
>> as indicated in the page
>>
>> */http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTemporalOntology/*
>>
>> and the one that is in the folder /*{plugins/*// 
>> *edu.stanford.smi.protegex.owl/}*/**of *protege 3.4.8. *
>> *
>> *
>> Actually i came across that issue because after your indication on  
>> where to find the onology i first open it with *protege 4.1 *wether  
>> directly or after an import in an ontology of mine. Then because i  
>> wanted to test the*builtins *i used *protege 3.4.8* and saw that  
>> the  "*Duration class"* was present in this one and not in *protege  
>> 4.1*. After what i realized that *protege 4.1* was pointing to the  
>> version online while *protege 3.4.8* via the an import trough the  
>> repository mechanism was pointing to the one in the folder / 
>> *{plugins/edu.stanford.smi.protegex.owl/}*/
>>
>> Hence please could you let me know what is the current status of  
>> the */Duration class/* and its subsequent property that is*/ 
>> hasCount/*.
>>
>>
>> Many thanks,
>>
>> -M-
>>
>>
>> On Feb 13, 2012, at 7:41 PM, Martin O'Connor wrote:
>>
>>>
>>> The temporal built-in library in the SWRLTab works only with the  
>>> Jess back end [1]. It is not supported by other reasoners, such  
>>> as, for example, Pellet. I suspect that Pellet is not recognizing  
>>> the built-ins it contains.
>>>
>>> Martin
>>>
>>> [1] http://protege.cim3.net/cgi-bin/wiki.pl?SWRLJessBridge
>>>
>>> On 2/10/2012 1:19 PM, Maatary Daniel OKOUYA wrote:
>>>>
>>>> hi everyone,
>>>>
>>>> I'm testing the SWRL Tab on protege 3.4.7
>>>>
>>>> I have create an ontology A in which i import the temporal so  
>>>> that i can use the temporal builtin in my ontology.
>>>>
>>>> I have created the classes TimeEvent and elapsedTimeEvent as  
>>>> subclass of extendProposition
>>>>
>>>> Then i have asserted TimeEvent(TimeEvent_1),  
>>>> hasValidTime(validInstant_1) , hastime(validInstant_1,  
>>>> somedate1), validInstant(validInstant_2), hastime(validInstant_2,  
>>>> somedate2)
>>>>
>>>> However when i  write the folllowing rule:
>>>>
>>>> TimeEvent(?x) ∧ p1:hasValidTime(?x, ?vt1) ∧ p1:before(?vt1,  
>>>> ValidInstant_2) → elapsedTimeEvent(?x)
>>>>
>>>> *It doesn't work. I have an error that says : cannot convert  
>>>> DefaultSWRLImpl(rule1 of [DefaultOWLNamedCLASS(http://www.3.org/2003/11/swrl#impl 
>>>> )])*
>>>>
>>>> Does any one has an idea of what might be the problem ?
>>>>
>>>> Many thanks,
>>>> in advance
>>>>
>>>> -m-
>>>>
>>>>
>>>> _______________________________________________
>>>> protege-owl mailing list
>>>> protege-owl <at> lists.stanford.edu <mailto: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-owl mailing list
>>> protege-owl <at> lists.stanford.edu <mailto: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-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-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-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