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

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

Publikation: Beiträge in Zeitschriften › Konferenzaufsätze in Fachzeitschriften › Forschung › begutachtet

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.

OriginalspracheEnglisch
BuchreihenCEUR Workshop Proceedings
Ausgabenummer1207
Seiten (von - bis)44-50
Anzahl der Seiten7
ISSN1613-0073
PublikationsstatusErschienen - 2014
Veranstaltung3rd International Workshop on OWL Reasoner Evaluation, ORE 2014 - Co-located with the Vienna Summer of Logic - VSL 2014 - Vienna, Österreich
Dauer: 13.07.2014 → 13.07.2014
Konferenznummer: 3

In der gleichen Zeitschrift

A focus group for operationalizing software sustainability with the MEASURE platform

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

Publikation: Beiträge in Zeitschriften › Konferenzaufsätze in Fachzeitschriften › Forschung › begutachtet

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

Publikation: Beiträge in Zeitschriften › Konferenzaufsätze in Fachzeitschriften › Forschung › begutachtet

Feature Extraction and Aggregation for Predicting the Euro 2016

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

Publikation: Beiträge in Zeitschriften › Konferenzaufsätze in Fachzeitschriften › Forschung › begutachtet

Links

Zuletzt angesehen

Aktivitäten

  1. Presentation of the paper entitled: "Combining a PI Controller with an Adaptive Feedforward Control in PMSM"
  2. Event History Analysis and Applications Using STATA - 2013
  3. What we know about conceptual learning in open inquiry settings in science education
  4. Using a Longitudinal Mixed-Methods Approach in HESD Research: Reflections on Pitfalls and Added Value
  5. A Garbage Can Model of Institutional Innovation: Field Transformation through Issue Framing Processes in the Interstitial Space, where Problems and Solutions Meet
  6. Quality of reading instruction in language classrooms: Subject specific analysis of teaching quality
  7. Cluster-based Extraction of Finite-time Coherent Sets from Trajectory Data
  8. Orientation workshop on "historical research projects using geographical data and GIS technology" - 2013
  9. Independent local lists and local parties - Challengers from Bottom Up? - 2009

Publikationen

  1. The elicitation process in developing of case library for Case-Based Reasoner system whilst consideration for validating electronic communication technologies
  2. Concept for Process Parameter-Based Inline Quality Control as a Basis for Pairing in a Production Line
  3. Using the flatness of DC-Drives to emulate a generator for a decoupled MPC using a geometric approach for motion control in Robotino
  4. A discrete-time fractional order PI controller for a three phase synchronous motor using an optimal loop shaping approach
  5. Design and Control of an Inductive Power Transmission System with AC-AC Converter for a Constant Output Current
  6. A Control Scheme for PMSMs using Model Predictive Control and a Feedforward Action in the Presence of Saturated Inputs
  7. Intersection tests for the cointegrating rank in dependent panel data
  8. PLM ‑supported automated process planning and partitioning for collaborative assembly processes based on a capability analysis
  9. GPU-accelerated meshfree computational framework for modeling the friction surfacing process
  10. Dispatching rule selection with Gaussian processes
  11. A model predictive control in Robotino and its implementation using ROS system
  12. A transfer operator based computational study of mixing processes in open flow systems
  13. Analysis and comparison of two finite element algorithms for dislocation density based crystal plasticity
  14. Optimizing sampling of flying insects using a modified window trap
  15. Interpreting Strings, Weaving Threads
  16. A New Framework for Production Planning and Control to Support the Positioning in Fields of Tension Created by Opposing Logistic Objectives
  17. Human–learning–machines: introduction to a special section on how cybernetics and constructivism inspired new forms of learning
  18. Exploration strategies, performance, and error consequences when learning a complex computer task
  19. The Use of Genetic Algorithm for PID Controller Auto-Tuning in ARM CORTEX M4 Platform
  20. Lyapunov stability analysis to set up a PI controller for a mass flow system in case of a non-saturating input
  21. Empowering materials processing and performance from data and AI
  22. Volume of Imbalance Container Prediction using Kalman Filter and Long Short-Term Memory
  23. Changing the Administration from within:
  24. Using cross-recurrence quantification analysis to compute similarity measures for time series of unequal length with applications to sleep stage analysis
  25. Contributions of declarative and procedural memory to accuracy and automatization during second language practice
  26. Using Decision Trees and Reinforcement Learning for the Dynamic Adjustment of Composite Sequencing Rules in a Flexible Manufacturing System
  27. A fast sequential injection analysis system for the simultaneous determination of ammonia and phosphate
  28. On the Functional Controllability Using a Geometric Approach together with a Decoupled MPC for Motion Control in Robotino
  29. On the Power and Performance of a Doubly Latent Residual Approach to Explain Latent Specific Factors in Multilevel-Bifactor-(S-1) Models
  30. The role of learners’ memory in app-based language instruction: the case of Duolingo.
  31. Using learning protocols for knowledge acquisition and problem solving with individual and group incentives
  32. A model predictive control for an aggregate actuator with a self-tuning initial condition procedure in combustion engines
  33. An extended analytical approach to evaluating monotonic functions of fuzzy numbers
  34. FaST: A linear time stack trace alignment heuristic for crash report deduplication
  35. Geographical patterns in prediction errors of species distribution models
  36. Development and validation of a method for the determination of trace alkylphenols and phthalates in the atmosphere