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

Research output: Journal contributionsConference article in journalResearchpeer-review

Authors

  • 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
Book seriesCEUR Workshop Proceedings
Issue number1207
Pages (from-to)44-50
Number of pages7
ISSN1613-0073
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

Recently viewed

Publications

  1. A geometric algorithm for the output functional controllability in general manipulation systems and mechanisms
  2. Comparing the Sensitivity of Social Networks, Web Graphs, and Random Graphs with Respect to Vertex Removal
  3. Reading and Calculating in Word Problem Solving
  4. Microstructural development of as-cast AM50 during Constrained Friction Processing: grain refinement and influence of process parameters
  5. Classical PI Controllers with Anti-Windup Techniques Applied on Level Systems
  6. Constrained Independence for Detecting Interesting Patterns
  7. A localized boundary element method for the floating body problem
  8. Guided discovery learning with computer-based simulation games
  9. Enabling Road Condition Monitoring with an on-board Vehicle Sensor Setup
  10. Some model properties to control a permanent magnet machine using a controlled invariant subspace
  11. A Gait Pattern Generator for Closed-Loop Position Control of a Soft Walking Robot
  12. Holistic and scalable ranking of RDF data
  13. Multi-view discriminative sequential learning
  14. The impact of goal focus, task type and group size on synchronous net-based collaborative learning discourses
  15. Mathematics in Robot Control for Theoretical and Applied Problems
  16. Interaction-Dominant Causation in Mind and Brain, and Its Implication for Questions of Generalization and Replication
  17. Soil conditions modify species diversity effects on tree functional trait expression
  18. On the Inclusion of Parameter Uncertainties into Engineering Design Computations
  19. Soft Optimal Computing to Identify Surface Roughness in Manufacturing Using a Gaussian and a Trigonometric Regressor
  20. A Hybrid Actuator and its Control Using a Cascade Sliding Mode Technique
  21. Enacting migration through data practices
  22. Self-regulation in error management training: emotion control and metacognition as mediators of performance effects
  23. Lyapunov approach for a pi-controller with anti-windup in a permanent magnet synchronous motor using chopper control
  24. Mechanical characterization of as-cast AA7075/6060 and CuSn6/Cu99.5 compounds using an experimental and numerical push-out test
  25. Comparison of EKF and TSO for Health Monitoring of a Textile-Based Heater Structure and its Control
  26. The structure of emotions in learning situations
  27. Crises at Work: Potentials for Change?
  28. An Optimal and Stabilising PI Controller with an Anti-windup Scheme for a Purification Process of Potable Water
  29. Direct parameter specification of an attention shift: Evidence from perceptual latency priming
  30. Automatic generation of periodic representative volume elements for matrix-inclusion composites and their efficiency in multiscaling
  31. Confidence levels and likelihood terms in IPCC reports
  32. How many organic compounds are graph-theoretically nonplanar?