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

mbikinyi brat mbikinyi_brat at
Wed Oct 1 11:00:02 PDT 2008

Dear All,
I am working on the example family.swrl.owl in protege 3.4. with link
1) When I click on  OWL+SWRL→Jess, I obtained a successful results below in blue. 
SWRL rule and relevant OWL knowledge successfully converted to Jess knowledge.
Number of SWRL rules exported to Jess: 14
Number of OWL classes exported to Jess: 18
Number of OWL individuals exported to Jess: 20
Number of OWL axioms exported to Jess: 103
Look at the "Jess Rules" tab for the Jess rules.
Look at the "Imported Jess Classes" tab for the Jess class definitions.
Look at the "Imported Jess Properties" tab for the Jess property assertions.
Look at the "Imported Jess Individuals" tab for the Jess individual assertions.
Press the "Run Jess" button to run the Jess rule engine.
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??
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) ?



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list