Последовательная онтология не может быть реализована с помощью HERMIT

Question

Для моего эксперимента мне нужно материализовать онтологию dbpedia, которая состоит из TBox / schema и ABox / data.

Для этого я объединяю онтологию / TBox / схему dbpedia (http://downloads.dbpedia.org/2016-04/dbpedia_2016-04.owl) с частью ABox / data из графа знаний DBPedia (я только что взял 2% данных в http://downloads.dbpedia.org/2016-04/core-i18n/en/mappingbased_objects_en.ttl.bz2).

Прежде чем материализовать этот объединенный файл, я сначала запустил проверку непротиворечивости, используя рассуждение HerMit. Объединенный файл был согласованным.

Но когда я запустил службу материализации с помощью рассуждения HerMit (я использовал код из https://github.com/owlcs/owlapi/issues/643),, я обнаружил эту ошибку: метод сравнения нарушает его общий контракт! Когда я отлаживал код, возникала ошибка, когда компилятор вызывал этот процесс: manager.saveOntology(inferredAxiomsOntology,outputStream) Довольно странно, что последовательная онтология не может быть реализована мыслителем.

Есть идеи, как решить эту ошибку? (Объединенный файл можно загрузить с https://www.dropbox.com/s/l689hejgyv2xn7l/DBPRule1Ite1.owl.zip?dl=0)

Большое спасибо.

Answer 1

Вам необходимо использовать более новую версию библиотек.Найденная ошибка была исправлена ​​в начале серии V4, в 2014 году.

Вы можете использовать HermiT 1.3.8.413 (который использует OWLAPI 4.1.3) или HermiT 1.4.1.513 (который использует OWLAPI 5.1.3).).Оба доступны в Maven Central:

http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22net.sourceforge.owlapi%22%20AND%20a%3A%22org.semanticweb.hermit%22