add ulo:realizes
Claudio remarks:
3. ulo:realizes is in the paper but not in OWL. I have used
ulo:instance-of for Coq with the semantics described for
ulo:realizes
I am not sure what we even mean by ulo:realizes
Claudio remarks:
3. ulo:realizes is in the paper but not in OWL. I have used
ulo:instance-of for Coq with the semantics described for
ulo:realizes
I am not sure what we even mean by ulo:realizes