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-discussion] SQWRL - Querying the Inferred Model in Protégé

Tania Tudorache tudorache at stanford.edu
Mon Apr 20 16:25:47 PDT 2009


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 
>   




More information about the protege-discussion mailing list