Set<Atom> negativeFacts=new HashSet<Atom>();
Set<DatatypeRestriction> allUnknownDatatypeRestrictions=new HashSet<DatatypeRestriction>();
for (OWLObjectPropertyExpression[] inclusion : axioms.m_simpleObjectPropertyInclusions) {
OWLObjectPropertyExpression sub=inclusion[0];
OWLObjectPropertyExpression sup=inclusion[1];
ClauseType clauseType;
if (sub.isAnonymous()!=sup.isAnonymous())
clauseType=ClauseType.INVERSE_OBJECT_PROPERTY_INCLUSION;
else
clauseType=ClauseType.OBJECT_PROPERTY_INCLUSION;
Atom subRoleAtom=getRoleAtom(inclusion[0],X,Y);