[Pellet-users] Symmetric Properties

[Georgios Meditskos]

Hi,

I tried to load and process the attached ontology from the UOBM 
benchmark with Pellet (1.5.1)  using the OWLAPI.
There are two symmetric properties, the hasSameHomeTownWith and the 
isFriendOf.
If I ask for the symmetric properties as:
reasoner.getKB().getSymmetricProperties()

nothing is returned. However, Pellet inferences that

inverseOf(hasSameHomeTownWith, hasSameHomeTownWith) and
inverseOf(isFriendOf, isFriendOf)

which are both right I assume, since if, for example,
x isFriendOf y, then due to the inverseOf relationship y isFriendOf x, 
since
if <p inverseOf q> and <x p y> then <y q x>.

Therefore, the semantics of symmetry are preserved, however the 
properties are not inferred as symmetric.
The only way of getting that these properties are symmetric is to 
traverse one by one all the properties of the ontology
and to ask if a specific property is symmetric 
(reasoner.getKB().isSymmetricProperty(p)).

Is there any issue about the completeness of the getSymmetricProperties 
function?

Thanks.







-------------- next part --------------
A non-text attachment was scrubbed...
Name: univ-bench-lite.owl
Type: text/xml
Size: 40301 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080427/50d176e5/attachment-0001.bin