Ontology development environment for Common Logic (CL)
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
thahmann opened this issue 3 years ago · comments
initially proposed, but currently not implemented: SubClassOf(C ObjectHasSelf(R)) has FF-PCNF form \forall x [-C(x) | R(x, x)] and SubClassOf(ObjectHasSelf(R) C) has FF-PCNF form \forall x [-R(x, x) | C(x)]