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] [SWRLTAB in protege 3.4.7]

Martin O'Connor martin.oconnor at stanford.edu
Mon Feb 13 10:41:40 PST 2012


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



More information about the protege-owl mailing list