Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development
Research output: Journal contributions › Conference article in journal › Research › peer-review
Authors
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 language | English |
---|---|
Book series | CEUR Workshop Proceedings |
Issue number | 1207 |
Pages (from-to) | 44-50 |
Number of pages | 7 |
ISSN | 1613-0073 |
Publication status | Published - 2014 |
Event | 3rd International Workshop on OWL Reasoner Evaluation, ORE 2014 - Co-located with the Vienna Summer of Logic - VSL 2014 - Vienna, Austria Duration: 13.07.2014 → 13.07.2014 Conference number: 3 |
- Benchmark, Description Logics, FaCT++, HermiT, Ontology, OWL 2 reasoners, TReasoner
- Informatics
- Business informatics