Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development

Research output: Journal contributionsConference article in journalResearchpeer-review


  • Alexander A. Kropotin

This paper evaluates the performances of the OWL 2 reasoners Her-miT, FaCT++ and TReasoner in the context of an ontological decision support system in designing entity-relationship diagrams during software development. First, I described a developed ontology which is the knowledge base of the de-veloped application for designing databases. In the first set of experiments I compared how the classification and realization time of the DBOM ontology varied when increasing the ABox with ERD elements individuals. In the second set of experiments the consistency checking time of the DBOM ontology was estimated by increasing the ABox with ERD elements individuals.

Original languageEnglish
JournalCEUR Workshop Proceedings
Issue number1207
Pages (from-to)44-50
Number of pages7
Publication statusPublished - 2014
Event3rd International Workshop on OWL Reasoner Evaluation, ORE 2014 - Co-located with the Vienna Summer of Logic - VSL 2014 - Vienna, Austria
Duration: 13.07.201413.07.2014
Conference number: 3