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 02:12:13 PST 2012


Many thanks Matin,

Best,

-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



More information about the protege-owl mailing list