planned process under realizable

Question

planned process under realizable

Closed this issue 3 years ago · 2 comments

It looks like planned process is inferred under realizable, which looking into Ontobee seems to be derived from a garbled axiom: "plan subClassOf : _:vb288756238 only planned process"

I suspect that this axiom infers plan as to both a realizable and a planned process, which in turn infers planned process as a realizable.

Answer 1 · 2021-09-13T15:24:14.000Z

It looks like 'realizes' has domain and range switched.

Answer 2 · 2021-09-13T15:33:31.000Z

I suck at all things github + I am not clear if for COB I should have run additional scripts / checks other than running Hermit in Protege on cob-edit.owl.