Reasoning about data property

Posted by jayson on
URL: http://owlready.306.s1.nabble.com/Reasoning-about-data-property-tp1970.html

Hello together,

I would like to do some reasoning based on data properties and I already read this old post (http://owlready.8326.n8.nabble.com/Reasoning-with-data-properties-td600.html) but could not figure it out so far.

What I am trying to accomplish is to restrict a class using a data property and reason about it.
Using the Manchester syntax (part of it), this would look like

Equivalent To: SubstanceProperty and (substanceHasFlashpoint some xsd:float[>= 55.f])

This is what i tried so far:

with onto:
        class Substance(Thing):
                pass
               
        class SubstanceProperty(Thing):
                pass
               
        class substanceHasFlashpoint(Substance >> float, FunctionalProperty):
        pass
               
        class HighlyFlammable(SubstanceProperty):
                equivalent_to = [SubstanceProperty & substanceHasFlashpoint.some([>= "55.0"^^decimal])]

There seems to be a syntax issue and I was not able to make it work.

Alternatively would this be easier to acomplish by using SWRL ?


Thank you for your time,
Jayson