1. //
  2. Start
  3. //
  4. Publications
  5. Evaluating OWL 2 reasoners in the contex...
  6. Output formats
  7. //

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

Harvard

Kropotin, AA 2014, 'Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development', CEUR Workshop Proceedings, no. 1207, pp. 44-50. <http://ceur-ws.org/Vol-1207/paper_8.pdf>

APA

Kropotin, A. A. (2014). Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development. CEUR Workshop Proceedings, (1207), 44-50. http://ceur-ws.org/Vol-1207/paper_8.pdf

Vancouver

Kropotin AA. Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development. CEUR Workshop Proceedings. 2014;(1207):44-50.

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 -

Related by journal

A focus group for operationalizing software sustainability with the MEASURE platform

Condori-Fernandez, N., Bagnato, A. & Kern, E., 2018, In: CEUR Workshop Proceedings. 2286, p. 7-18 12 p.

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

Data-Driven flood detection using neural networks

Nogueira, K., Fadel, S. G., Dourado, I. C., De Werneck, R. O., Munoz, J. A., Penatti, O. A. B., Calumby, R. T., Li, L. T., Santos, J. A. D. & Torres, R. D. S., 2017, In: CEUR Workshop Proceedings. 1984, 3 p.

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

Feature Extraction and Aggregation for Predicting the Euro 2016

Tavakol, M., Zafartavanaelmi, H. & Brefeld, U., 09.2016, In: CEUR Workshop Proceedings. 1842, 1842, 7 p.

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

Links

Recently viewed

Activities

  1. Trajectory-based computational study of coherent behavior in flows
  2. From Text to Data: AI and Human Expertise in Provenance Linked Open Data
  3. Trajectory-based Lagrangian approaches for the extraction and characterization of coherent structures
  4. Presentation of the paper entitled "Comparison of Backpropagation and Kalman Filter-based Training for Neural Networks"
  5. Plenary lecture entitled: "Wavelet Packets for Applications in Signal Processing and Control Systems"
  6. Short course on numerical methods for stochastic processes
  7. I Am Behind the Screen: Understanding the Invisible Work of Content Moderators on Digital Platforms
  8. Nordic Seminar on Computational Mechanics - NSCM 2016
  9. Presentation of the paper entitled: "Classical PI Controllers with Anti-Windup Techniques Applied on Level Systems: An Interesting Case Study"
  10. 27st IEEE International Conference on Methods and Models in Automation an Robotics (MMAR)
  11. It's Time to Talk About Time Shaping Competence: A Framework for Addressing “Time” in ESE
  12. Towards a fully-automated adaptive e-learning environment: A predictive model for difficulty generating factors in gap-filling activities that target English tense-aspect-mood
  13. Fuzzy based control of a nonholonomic car-like robot for drive assistant systems
  14. SON 2020+2: International Workshop on Dynamics, Optimization, and Computation
  15. Unit Root & Cointegration Testing Conference 2005

Publications

  1. Anomaly detection in formed sheet metals using convolutional autoencoders
  2. Control of a Sun Tracking Robot Based on Adaptive Sliding Mode Control with Kalman Filtering and Model Predictive Control
  3. Anatomy of Haar Wavelet Filter and Its Implementation for Signal Processing
  4. Introducing a multivariate model for predicting driving performance
  5. Reading and Calculating in Word Problem Solving
  6. 'SPREAD THE APP, NOT THE VIRUS’ – AN EXTENSIVE SEM-APPROACH TO UNDERSTAND PANDEMIC TRACING APP USAGE IN GERMANY
  7. Simultaneous Constrained Adaptive Item Selection for Group-Based Testing
  8. Inversion of fuzzy neural networks for the reduction of noise in the control loop
  9. Age-related differences in processing visual device and task characteristics when using technical devices
  10. Enhancing Performance of Level System Modeling with Pseudo-Random Signals
  11. Neural Combinatorial Optimization on Heterogeneous Graphs
  12. Transformer with Tree-order Encoding for Neural Program Generation
  13. Lyapunov Convergence Analysis for Asymptotic Tracking Using Forward and Backward Euler Approximation of Discrete Differential Equations
  14. Mathematics in Robot Control for Theoretical and Applied Problems
  15. PI and Fuzzy Controllers for Non-Linear Systems
  16. Analysis And Comparison Of Dispatching RuleBased Scheduling In Dual-Resource Constrained Shop-Floor Scenarios
  17. Exploration strategies, performance, and error consequences when learning a complex computer task
  18. Lessons learned for spatial modelling of ecosystem services in support of ecosystem accounting
  19. How to support synchronous net-based learning discourses
  20. Construct Objectification and De-Objectification in Organization Theory
  21. Development and validation of a method for the determination of trace alkylphenols and phthalates in the atmosphere
  22. Recurrence quantificationanalysis as a general-purpose tool for bridging the gap between qualitative and quantitative analysis