search

thahmann / macleod

Ontology development environment for Common Logic (CL)
Other
23 stars 9 forks source link

Implement OWL pattern "ObjectHasSelf" #45

Open thahmann opened 3 years ago

thahmann commented 3 years ago

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)]