search

dgu123 / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

OWL API reasoner interface lacks getDataPropertyValues() #55

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
I know that FaCT++ has only limited datatype support. Accessing the reasoner by 
the OWL API v3.4 and v3.2 I tried to use getDataPropertyValues() which should 
return a set of values corresponding to the individual and a given data 
property. FaCT++ always returns an empty set.

Now I've seen that getDataPropertyValues() is marked as TODO: 
http://code.google.com/p/factplusplus/source/browse/trunk/FaCT%2B%2B.OWLAPIv3/sr
c/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java#608

As for example adding a second value to a functional data property leads to an 
inconsistency, FaCT++ seems to be aware of the value. So I guess the "missing 
part" is essentially the wrapping up into an OWLLiteral?

Anyway: Thanks for the great FaCT++ reasoner!

Original issue reported on code.google.com by domly...@googlemail.com on 17 Apr 2013 at 9:27