TAxiom*
TAxiom :: simplifyCN ( TBox& KB ) const
{
for ( const auto& C: Disjuncts )
{
if ( InAx::isPosNP(C,KB) )
return simplifyPosNP(C);
else if ( InAx::isNegNP(C,KB) )
return simplifyNegNP(C);
}
return nullptr;
}
TAxiom*
TAxiom :: simplifyCN ( TBox& KB ) const
{
for ( const_iterator i = begin(), i_end = end(); i != i_end; ++i )
{
const DLTree* p = *i;
if ( InAx::isPosNP(p,KB) )
return simplifyPosNP(p);
else if ( InAx::isNegNP(p,KB) )
return simplifyNegNP(p);
}
return NULL;
}
