Implement OWL pattern "ObjectHasSelf" #45
Description
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)]
Metadata
Metadata
Assignees
Labels
No labels