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]

Maatary Daniel OKOUYA okouya_d at yahoo.fr
Tue Feb 14 03:02:21 PST 2012


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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20120214/aca73f4a/attachment.html>


More information about the protege-owl mailing list