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] Questions about SWRLJessTab

Martin O'Connor martin.oconnor at stanford.edu
Wed Oct 1 14:23:43 PDT 2008


mbikinyi brat wrote:

> Dear All,
> I am working on the example family.swrl.owl in protege 3.4. with link
> http://swrl.stanford.edu/ontologies/examples/family.swrl.owl
>
> 2) When I now go to rules to find the Jess knowledge I find the
> following below in red;
> Def-hasFather: hasParent(?x, ?y) ^ Person(?x) ^ Man(?y) ->
> hasFather(?x, ?y)
> Def-hasBrother: hasSibling(?x, ?y) ^ Person(?x) ^ Man(?y) ->
> hasBrother(?x, ?y)
> Def-hasSister: hasSibling(?x, ?y) ^ Person(?x) ^ Woman(?y) ->
> hasSister(?x, ?y)
> Def-hasSon: hasChild(?x, ?y) ^ Person(?x) ^ Man(?y) -> hasSon(?x, ?y)
> Def-hasDaughter: hasChild(?x, ?y) ^ Person(?x) ^ Woman(?y) ->
> hasDaughter(?x, ?y)
> Def-hasSibling: hasChild(?y, ?x) ^ hasChild(?y, ?z) ^
> differentFrom(?x, ?z) ^ Person(?y) -> hasSibling(?x, ?z)
> Def-hasNiece: hasSibling(?x, ?y) ^ hasDaughter(?y, ?z) ^ Person(?x) ->
> hasNiece(?x, ?z)
> Query-2: hasSon(?x, ?z) -> sqwrl:select(?x) ^ sqwrl:count(?z) ^
> sqwrl:orderByDescending(?z)
> Def-hasParent: hasConsort(?y, ?z) ^ hasParent(?x, ?y) ^ Person(?y) ->
> hasParent(?x, ?z)
> Def-hasAunt: hasParent(?x, ?y) ^ hasSister(?y, ?z) ^ Person(?x) ->
> hasAunt(?x, ?z)
> Def-hasMother: hasParent(?x, ?y) ^ Person(?x) ^ Woman(?y) ->
> hasMother(?x, ?y)
> Def-hasNephew: hasSibling(?x, ?y) ^ hasSon(?y, ?z) ^ Person(?x) ->
> hasNephew(?x, ?z)
> Query-1: hasSon(?x, ?z) -> sqwrl:select(?x, ?z)
> Def-hasUncle: hasParent(?x, ?y) ^ hasBrother(?y, ?z) ^ Person(?x) ->
> hasUncle(?x, ?z)
> Is this Jess knowledge?
> It does not seem like to me following the Jess syntax. Can someone
> clarify me please??
>
The SWRLTab does not represent the Jess encoding of SWRL rules. This
representation is for debugging only.

> 3) When I go to Jess→OWL, I obtain the results below in green
> Succesfully transferred inferred facts to OWL model.
> Number of individuals reclassified: 0
> Number of axioms inferred: 60
> How do I see the OWL knowledge (a copnvert from Jess knowledge) ?
> Regards,
> Nan
>
>
>
It will visible through the standard Protege-OWL tabs.

Martin



More information about the protege-owl mailing list