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

Alexander A. Kropotin

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

Standard

Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development. / Kropotin, Alexander A.
In: CEUR Workshop Proceedings, No. 1207, 2014, p. 44-50.

Research output: Journal contributions › Conference article in journal › Research › peer-review

Bibtex

@article{6b404d092fdc4d1c9d59dfa8193d6dbe,

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

abstract = "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.",

keywords = "Benchmark, Description Logics, FaCT++, HermiT, Ontology, OWL 2 reasoners, TReasoner, Informatics, Business informatics",

author = "Kropotin, {Alexander A.}",

year = "2014",

language = "English",

pages = "44--50",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

number = "1207",

note = "3rd International Workshop on OWL Reasoner Evaluation, ORE 2014 - Co-located with the Vienna Summer of Logic - VSL 2014, VSL ORE ; Conference date: 13-07-2014 Through 13-07-2014",

}

RIS

TY - JOUR

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

AU - Kropotin, Alexander A.

N1 - Conference code: 3

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Benchmark

KW - Description Logics

KW - FaCT++

KW - HermiT

KW - Ontology

KW - OWL 2 reasoners

KW - TReasoner

KW - Informatics

KW - Business informatics

UR - http://www.scopus.com/inward/record.url?scp=84922137494&partnerID=8YFLogxK

M3 - Conference article in journal

AN - SCOPUS:84922137494

SP - 44

EP - 50

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

IS - 1207

T2 - 3rd International Workshop on OWL Reasoner Evaluation, ORE 2014 - Co-located with the Vienna Summer of Logic - VSL 2014

Y2 - 13 July 2014 through 13 July 2014

ER -