[protege-discussion] SQWRL - Querying the Inferred Model in Protégé

[Tania Tudorache]

Karim,

You have posted your question on the wrong mailing list. This mailing 
list is only used for Protege frames related topics.

Please repost your question on the Protege-OWL mailing list:

http://protege.stanford.edu/community/lists.html

Thanks,
Tania

Karim Salhi wrote:
>
> Hello,
>
> I am developing an OWL ontology using Protégé 3.4. I have successfully 
> installed the SWRL Tab and I am using SQWRL to query my model. This 
> works fine except that the queries always execute on the asserted model.
>
> Is there a way to have SQWRL execute on the inferred model ?
>
> Example :
>
> _Class definition :_
>
> o Gender ≡ Male È Female
>
> o Male ( Ø Female )
>
> o Female (Ø Male)
>
> o Person ≡ Man È Woman
>
> o Man ≡ Person ∩ hasSex $ Male ∩ hasSex " Male
>
> o Woman ≡ Person ∩ hasSex $ Female ∩ hasSex " Female
>
> _Individuals:_
>
> o Man_1 Î Man
>
> o Person_1 Î Person
>
> o hasSex ( Person_1, Male)
>
> Using Pellet from Protégé, I get the inferred individuals:
>
> Person (1/2)
>
> o Person_1
>
> o Man_1 ….. Inferred
>
> Man(1/2)
>
> o Man_1
>
> o Person_1 ….. Inferred
>
> _SQWRL :_
>
> Person(?x) → sqwrl:select(?x)
>
> o Person_1
>
> o Man_1
>
> Man(?x) → sqwrl:select(?x)
>
> o Man_1
>
> o (Person_1 does not show up in this query ) ß This is what I want to fix
>
> Thanks in advance for any suggestion of how I could fix this issue.
>
> Best Regards,
>
> Karim Salhi
>
> *Netaxis*
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>