void LogicFeatures :: writeState ( void ) const { CHECK_LL_RETURN(llAlways); LL << "\nLoaded KB used DL with following features:\nKB contains "; if ( !hasInverseRole () ) LL << "NO "; LL << "inverse role(s)\nKB contains "; if ( !hasRoleHierarchy () ) LL << "NO "; LL << "role hierarchy\nKB contains "; if ( !hasTransitiveRole () ) LL << "NO "; LL << "transitive role(s)\nKB contains "; if ( !hasTopRole () ) LL << "NO "; LL << "top role expressions\nKB contains "; if ( !hasSomeAll () ) LL << "NO "; LL << "quanitifier(s)\nKB contains "; if ( !hasFunctionalRestriction () ) LL << "NO "; LL << "functional restriction(s)\nKB contains "; if ( !hasNumberRestriction () ) LL << "NO "; else if ( hasQNumberRestriction () ) LL << "qualified "; LL << "number restriction(s)\nKB contains "; if ( !hasSingletons() ) LL << "NO "; LL << "nominal(s)\n"; }
void DlSatTester :: logFinishEntry ( bool res ) const { CHECK_LL_RETURN(llGTA); // useless but safe LL << "]"; if ( res ) LL << " Clash" << getClashSet(); #ifdef __DEBUG_FLUSH_LL LL.flush (); #endif }
void DlSatTester :: logStartEntry ( void ) const { CHECK_LL_RETURN(llGTA); // useless but safe logIndentation(); LL << "("; curNode->logNode (); LL << "," << curConcept << "){"; if ( isNegative (curConcept.bp()) ) LL << "~"; const DLVertex& v = DLHeap[curConcept]; LL << v.getTagName(); if ( const TNamedEntry* entry = v.getConcept() ) LL << "(" << entry->getName() << ")"; LL << "}:"; }
void modelCacheIan :: logCacheEntry ( unsigned int level ) const { CHECK_LL_RETURN(level); LL << "\nIan cache: posDConcepts = "; posDConcepts.print(LL); LL << ", posNConcepts = "; posNConcepts.print(LL); LL << ", negDConcepts = "; negDConcepts.print(LL); LL << ", negNConcepts = "; negNConcepts.print(LL); #ifdef RKG_USE_SIMPLE_RULES LL << ", extraDConcepts = "; extraDConcepts.print(LL); LL << ", extraNConcepts = "; extraNConcepts.print(LL); #endif LL << ", existsRoles = "; existsRoles.print(LL); LL << ", forallRoles = "; forallRoles.print(LL); LL << ", funcRoles = "; funcRoles.print(LL); }
void DlSatTester :: logIndentation ( void ) const { CHECK_LL_RETURN(llGTA); // useless but safe LL << "\n" << std::setw(getCurLevel()) << "["; }