Я хочу знать время, проведенное Reasoner, чтобы получить все выводы. Как это получить? Также хотите получить всю статистическую информацию об общих задачах, выполняемых аргументом.OWLAPI: Статистика о логической задаче
Каковы факторы, влияющие на производительность разумного пользователя?
Reasoners не вычисляют «все» выводы - они вычисляют выводы, необходимые для конкретной задачи.
Факторы, влияющие на производительность искателя, много, и как прогнозировать производительность над любой онтологией является открытым вопросом исследования. Вы можете посмотреть результаты конкурса ORE для сравнения нескольких аргументов.
https://www.w3.org/community/owled/ore-2015-workshop/competition/
есть ли способ, чтобы получить статистику (время, нет. Задач, выполняемых Reasoner) информации для мыслителя? – SuhasD
Да. Результаты рудного соревнования содержат эти данные. Используемая структура является открытым исходным кодом, ее можно повторно использовать для выбора онтологии и рассуждения. – Ignazio