[protege-discussion] Question

[s_zhuyingyu]

Hi All,
    I have constructed an ontology and some rules with protege, then I try to do some inferences there with the ABox build-in. But it does not work. Would  you please get me some helps?

the ontology is constructed like this:
    owl:thing
       |--- Father(John)
       |--- Son (Jay,Jack)             *John,Jay,Jack are individuals

object proterties are below:
    hasSon  [domain:Father,  range:Son]
       |--- hasBrilliantSon [domain:Father,  range:Son]

datatype proterty is below:
    hasComment[domain:Father,  range:string]


John--------hasBrilliantSon------->Jay
John--------hasBrilliantSon------->Jack

rule is below:
    abox:hasNumberOfProperties(2, John, hasSon) → hasComment(John, "great")


It seems that when I run Jess, I will get a result below:
    John--------hasComment--------->"great"

However, I could not get such a result, could please help me? 




s_zhuyingyu
2005-04-10
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20070410/6d6faa35/attachment.html>