[Pellet-users] Problems with Pellet and DIG

[michele.baggi at dimi.uniud.it]

Hallo,
I'm a PhD student at the University of Siena - Italy and I'm using the
Pellet reasoner for a projet of semantic filtering of XML documents. To
interface Pellet I use the DIG Interface 1.0, but I noticed a problem with
the number restriction construct, when querying a loaded ontology.

I loaded the following ontology:
Concepts: Prof, PhD
Individuals: A, B, C, D, E
Instances: A -> Prof,   B, C, D, E -> PhD
Role: hasPhd
Associations: hasPhD(A, B), hasPhD(A, C), hasPhD(A, D), hasPhD(A, E).

In attachment there is a file containing the DIG Tell statement for the
ontology I just here briefly described.

I tried to query this ontology using the following DIG ask statement:

<asks xmlns= ... >
  <instance id="example1">
    <individual name="A"/>
    <and>
     <catom name="Prof"/>
     <atleast num="3">
       <ratom name="hasPhD"/>
       <catom name="PhD"/>
     </atleast>
    </and>
  </instance>
</asks>

which asks for individual instances of concept "Prof" which are related to
at least 3 individual instances of concept "PhD",
and I get an empty list as answer, while I think it will return the
individual "A".

Any suggestion will be appreciated,
I wish everybody a good weekend.
Michele
-------------- next part --------------
A non-text attachment was scrubbed...
Name: onto.xml
Type: text/xml
Size: 1269 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080517/564ce9db/attachment.bin