Support owl:SymmetricProperty inference

[mmisw]

From caru...@gmail.com on August 25, 2010 11:09:57

Note that the owl:Symmetric property is not supported by AllegroGraph's inference capability; see http://www.franz.com/agraph/allegrograph/doc/reasoner-tutorial.html See related issue #175 This is a significant limitation.

The implementation strategy to provide this support is:

When initializing the AG triple store:

• apply the owl:Symmetric inference using the reasoner mechanisms in Jena
• feed the inferred triples in the AG triple store. (in other words, materialize the inferred symmetric triples in the AG triple store using the Jena reasoner capabilities).

Original issue: http://code.google.com/p/mmisw/issues/detail?id=275

[mmisw]

From caru...@gmail.com on August 25, 2010 19:38:57

Note also that [(P owl:inverseOf P) iff (P rdf:type owl:SymmetricProperty)], so the symmetric property can be expressed in terms of owl:inverseOf, which is supported by the AG reasoner. However, although P owl:inverseOf Q is working as expected for inference purposes (that is, when applied on different properties P and Q), there seems to be a problem when owl:inverseOf is applied to indicate that a property is inverse of itself. Not sure whether this is a known feature/bug/limitation. I've reported the issue to the AG people.

[mmisw]

From caru...@gmail.com on August 26, 2010 16:30:36

I just reproduced problem with AG 3.3 (btw, ORR is using AG 3.2).

AG folks acknowledged report and are looking into the issue.

Summary: Support owl:SymmetricProperty inference

[mmisw]

From caru...@gmail.com on March 29, 2011 11:18:34

From 2011-03-07 email from Franz Inc:

"Thanks for your patience with respect to our support for owl:SymmetricProperty. While AllegroGraph still does not support the property. We are planning to include support for it in either version 4.2.2 or version 4.3. The first of these will be out in a few months time and the second should be available by SemTech."

(Also a note re. the previous comment: ORR is actually using AG 3.3 since 2010-08-26, see http://marinemetadata.org/mmiorrdeplmtech/agraph )

[mmisw]

From caru...@gmail.com on June 09, 2011 08:30:27

Email from Franz Inc (2011-06-09):

"Thanks for your patience with this issue! AllegroGraph v4.3 has support for owl:SymmetricProperty and is currently in final testing."

[mmisw]

From jgrayb...@ucsd.edu on June 09, 2011 11:07:15

sweet

[mmisw]

From Aymeric....@gmail.com on November 17, 2011 06:21:36

It seems that there the AG reasoner is bugged when inference applied to inherited properties. I've reported the issue to the AG people.

[mmisw]

From caru...@gmail.com on November 17, 2011 08:41:05

Hi Aymeric,

Thanks for the note! We are planning on deploying AG v4.3 soon to take advantage of its improvements including support for owl:SymmetricProperty. Would you mind telling us a bit more about the issues you mention (or provide pointers)?

Thanks,

Carlos

[mmisw]

From caru...@gmail.com on January 03, 2012 16:53:51

Just tested AllegroGraph 4.4 and verified that the inference on owl:SymmetricProperty now works as expected. For example,

From the assertions: ex:hasSibling rdf:type owl:SymmetricProperty ex:AAA ex:hasSibling ex:BBB

(or, equivalently, ex:hasSibling owl:inverseOf ex:hasSibling ex:AAA ex:hasSibling ex:BBB )

it is inferred that: ex:BBB ex:hasSibling ex:AAA

This issue can be marked completed once we enable this new AG version in the ORR. Note, however, that the new AG version 4.x is incompatible with 3.x ( http://www.franz.com/agraph/support/documentation/current/convert3to4.html ) so additional code adjustments to accommodate the new API will be required.

[mmisw]

From caru...@gmail.com on April 02, 2012 14:35:05

Fixed. Using AllegroGraph 4.4 in newer versions of the Ont service that have been developed as part of the ongoing migration of the mmisw.org system to a new hosting with improved infrastructure.

MMI Ontology and Term URI Resolver. Version 2.0.23.beta (201204021355)

Status: Fixed
Labels: triplestore