add ulo:coersion?
Claudio proposes.
1. in the paper we talk about Coq specific ulo:coercion, etc.
but a) they are not in the OWL files an b) I have not
exported them and I won't in the next few hours.
What should we do with them?
Claudio proposes.
1. in the paper we talk about Coq specific ulo:coercion, etc.
but a) they are not in the OWL files an b) I have not
exported them and I won't in the next few hours.
What should we do with them?