Search Mailing List Archives
[protege-owl] [SWRLTAB in protege 3.4.7]
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 . It is not supported by other
reasoners, such as, for example, Pellet. I suspect that Pellet is not recognizing the built-ins it contains.
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
> Does any one has an idea of what might be the problem ?
> Many thanks,
> in advance
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-owl