public IncompletenessMonitor getReasonerIncompletenessMonitor ( final IncompletenessMonitor ... additionalMonitors ) { final List < IncompletenessMonitor > monitors = new ArrayList < IncompletenessMonitor > ( additionalMonitors . length + 1 ) ; monitors . add ( getIncompletenessDueToStatedAxiomsMonitor ( ) ) ; monitors . addAll ( Arrays . asList ( additionalMonitors ) ) ; return new DelegatingIncompletenessMonitor ( monitors ) { @ Override public boolean logNewIncompletenessReasons ( final Logger logger ) { final boolean result = super . logNewIncompletenessReasons ( logger ) ; if ( result ) { LoggerWrap . log ( logger , LogLevel . WARN , MARKER_ , "Reasoning may be incomplete! See log level INFO for more details." ) ; } return result ; } } ; }
Combines the provided partial incompleteness monitors into the top - level monitor for reasoning tasks .