def run_reasoner(self, reasoner, ontology, logger):
stats = reasoner.classify(ontology.path,
timeout=Reasoners.CLASSIFICATION_TIMEOUT,
mode=TestMode.MEMORY)
logger.log('{}: {}'.format(
ontology.syntax, fileutils.human_readable_bytes(stats.max_memory)))
return [stats.max_memory]
def run_reasoner(self, reasoner, ontology, logger):
results = reasoner.consistency(ontology.path,
timeout=Reasoners.CONSISTENCY_TIMEOUT,
mode=TestMode.MEMORY)
stats = results.stats
logger.log('{}: {}'.format(
ontology.syntax, fileutils.human_readable_bytes(stats.max_memory)))
return [stats.max_memory]
def run_reasoner(self, reasoner, ontology, logger):
stats = reasoner.classify(ontology.path,
timeout=Reasoners.CLASSIFICATION_TIMEOUT)
human_readable_memory = fileutils.human_readable_bytes(
stats.max_memory)
logger.log(
'Parsing {:.0f} ms | Classification {:.0f} ms | Memory {}'.format(
stats.parsing_ms, stats.reasoning_ms, human_readable_memory))
return [stats.parsing_ms, stats.reasoning_ms, stats.max_memory]
def run_reasoner(self, reasoner, ontology, logger):
stats = reasoner.consistency(
ontology.path, timeout=Reasoners.CONSISTENCY_TIMEOUT).stats
human_readable_memory = fileutils.human_readable_bytes(
stats.max_memory)
logger.log(
'Parsing {:.0f} ms | Consistency {:.0f} ms | Memory {}'.format(
stats.parsing_ms, stats.reasoning_ms, human_readable_memory))
return [stats.parsing_ms, stats.reasoning_ms, stats.max_memory]
def run_reasoner(self, reasoner, resource, request, logger):
stats = reasoner.abduction_contraction(
resource,
request,
timeout=Reasoners.ABDUCTION_CONTRACTION_TIMEOUT,
mode=TestMode.MEMORY)
logger.log('Max memory: {}'.format(
fileutils.human_readable_bytes(stats.max_memory)))
return [stats.max_memory]
def run_reasoner(self, reasoner, resource, request, logger):
stats = reasoner.abduction_contraction(
resource, request, timeout=Reasoners.ABDUCTION_CONTRACTION_TIMEOUT)
logger.log(('Resource parsing {:.0f} ms | '
'Request parsing {:.0f} ms | '
'Reasoner init {:.0f} ms | '
'Reasoning {:.0f} ms | '
'Max memory: {}').format(
stats.resource_parsing_ms, stats.request_parsing_ms,
stats.init_ms, stats.reasoning_ms,
fileutils.human_readable_bytes(stats.max_memory)))
return [
stats.resource_parsing_ms, stats.request_parsing_ms, stats.init_ms,
stats.reasoning_ms, stats.max_memory
]