Replace OWL restrictions with "FunctionalProperty"

[np00]

I commented them out for now. If we decide to use owl:restriction(s), we have to define them as either subclass or equivalentclass. But I would prefer to go with simply FuntionalProperty(s).

See here:
https://www.w3.org/TR/owl-ref/#FunctionalProperty-def