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 Multivariate Method for Dynamic System Analysis
  2. A geometric algorithm for the output functional controllability in general manipulation systems and mechanisms
  3. Modified dynamic programming approach for offline segmentation of long hydrometeorological time series
  4. Analysis of Complexity Reduction in Kalman Filters Through Decoupling Control With Chattered Inputs in PMSM
  5. Homogenization modeling of thin-layer-type microstructures
  6. Multi-view learning with dependent views
  7. Machine Learning and Knowledge Discovery in Databases
  8. Comparing the Sensitivity of Social Networks, Web Graphs, and Random Graphs with Respect to Vertex Removal
  9. Reading and Calculating in Word Problem Solving
  10. Using Complexity Metrics to Assess Silent Reading Fluency
  11. Microstructural development of as-cast AM50 during Constrained Friction Processing: grain refinement and influence of process parameters
  12. A coding scheme to analyse global text processing in computer supported collaborative learning: What eye movements can tell us
  13. Classical PI Controllers with Anti-Windup Techniques Applied on Level Systems
  14. A Gait Pattern Generator for Closed-Loop Position Control of a Soft Walking Robot
  15. A two-stage Kalman estimator for motion control using model predictive strategy
  16. Dynamically adjusting the k-values of the ATCS rule in a flexible flow shop scenario with reinforcement learning
  17. Switching Dispatching Rules with Gaussian Processes
  18. Modeling of lateness distributions depending on the sequencing method with respect to productivity effects
  19. Multi-view discriminative sequential learning
  20. Segment Introduction
  21. Parameters Estimation of a Lotka-Volterra Model in an Application for Market Graphics Processing Units
  22. Estimation and interpretation of a Heckman selection model with endogenous covariates
  23. An analytical approach to evaluating bivariate functions of fuzzy numbers with one local extremum
  24. Learning from Erroneous Examples: When and How do Students Benefit from them?
  25. Alternating between Partial and Complete Organization
  26. The fuzzy relationship of intelligence and problem solving in computer simulations
  27. Modeling and simulation of size effects in metallic glasses with non-local continuum mechanics theory
  28. Frame-based Data Factorizations
  29. Representation for interactive exercises
  30. Problem solving in mathematics education
  31. On New Forms of Science Communication and Communication in Science
  32. AGDISTIS-agnostic disambiguation of named entities using linked open data
  33. Interaction-Dominant Causation in Mind and Brain, and Its Implication for Questions of Generalization and Replication
  34. Soil conditions modify species diversity effects on tree functional trait expression
  35. Soil conditions modify species diversity effects on tree functional trait expression
  36. Sharing in Christ's rule
  37. On the Inclusion of Parameter Uncertainties into Engineering Design Computations
  38. GERBIL - General entity annotator benchmarking framework