@Override public QueryResult execABoxQuery(final Query q) { _results = new QueryResultImpl(q); _kb = q.getKB(); final long satCount = _kb.getABox().getStats()._satisfiabilityCount; final long consCount = _kb.getABox().getStats()._consistencyCount; exec(q, new ResultBindingImpl(), true); if (_logger.isLoggable(Level.FINE)) { _logger.fine("Total satisfiability operations: " + (_kb.getABox().getStats()._satisfiabilityCount - satCount)); _logger.fine("Total consistency operations: " + (_kb.getABox().getStats()._consistencyCount - consCount)); _logger.fine("Results of ABox query : " + _results); } return _results; } }
@Override public QueryResult execABoxQuery(final Query q) { _results = new QueryResultImpl(q); _kb = q.getKB(); final long satCount = _kb.getABox().getStats()._satisfiabilityCount; final long consCount = _kb.getABox().getStats()._consistencyCount; exec(q, new ResultBindingImpl(), true); if (_logger.isLoggable(Level.FINE)) { _logger.fine("Total satisfiability operations: " + (_kb.getABox().getStats()._satisfiabilityCount - satCount)); _logger.fine("Total consistency operations: " + (_kb.getABox().getStats()._consistencyCount - consCount)); _logger.fine("Results of ABox query : " + _results); } return _results; } }
@Override public QueryResult execABoxQuery(final Query q) { _results = new QueryResultImpl(q); _kb = q.getKB(); final long satCount = _kb.getABox().getStats()._satisfiabilityCount; final long consCount = _kb.getABox().getStats()._consistencyCount; exec(q, new ResultBindingImpl(), true); if (_logger.isLoggable(Level.FINE)) { _logger.fine("Total satisfiability operations: " + (_kb.getABox().getStats()._satisfiabilityCount - satCount)); _logger.fine("Total consistency operations: " + (_kb.getABox().getStats()._consistencyCount - consCount)); _logger.fine("Results of ABox query : " + _results); } return _results; } }
exec(q2, newBinding, false);
exec(q2, newBinding, false);
exec(q2, newBinding, false);