| Question asked
|
Great article; I'm glad to have had the ch … Great article; I'm glad to have had the chance to read it in this course. The findings of this journal article seem significant, particularly the differing decidable entailments that are NP, or P in the absence of blank nodes. Oracle has based their OWLSIF entailment on pD* (see http://www.w3.org/2007/OWL/wiki/OracleOwlPrime). Are you aware of any other major impacts this article has had in industry? or any other major impacts in academia? Also, (just out of curiosity) the authors mention that in pD*, there is no restriction on treating classes and properties as instances. While this is perhaps ideal in the logic world (and is also supported in OWL Full), are you aware of any great demand for this feature? ware of any great demand for this feature?
|
