Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

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

Martin O'Connor martin.oconnor at stanford.edu
Tue Feb 14 09:48:42 PST 2012


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



More information about the protege-owl mailing list