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. Taking ICALL to task: Blending form-focus & task-based foreign language learning
  4. Using a Longitudinal Mixed-Methods Approach in HESD Research: Reflections on Pitfalls and Added Value
  5. I Am Behind the Screen: Understanding the Invisible Work of Content Moderators on Digital Platforms
  6. A Garbage Can Model of Institutional Innovation: Field Transformation through Issue Framing Processes in the Interstitial Space, where Problems and Solutions Meet
  7. Drafts in Action. Concepts and Practices of Artistic Intervention
  8. “Visual Rhetoric as a three-dimensional practice. Theorizing the interconnections between the visual rhetorical objects and the process of spectatorship”
  9. Quality of reading instruction in language classrooms: Subject specific analysis of teaching quality
  10. Cluster-based Extraction of Finite-time Coherent Sets from Trajectory Data
  11. Data-efficient Pattern Detection in Elite Soccer
  12. Discerning aspects of memory: The ethics of memory in (post)global and transnational contexts
  13. Orientation workshop on "historical research projects using geographical data and GIS technology" - 2013
  14. Improving the quality of selecting applicants for university student programs
  15. Review in Application Process for External University
  16. Thematic and Task-Based Categorization of K-12 GenAI Usages with Hierarchical Topic Modeling
  17. Detection time analysis of propulsion system fault effects in a hexacopter

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. Dynamic Lot Size Optimization with Reinforcement Learning
  4. Latent structure perceptron with feature induction for unrestricted coreference resolution
  5. Design and Control of an Inductive Power Transmission System with AC-AC Converter for a Constant Output Current
  6. PLM ‑supported automated process planning and partitioning for collaborative assembly processes based on a capability analysis
  7. NH4+ ad-/desorption in sequencing batch reactors
  8. Unidimensional and Multidimensional Methods for Recurrence Quantification Analysis with crqa
  9. A model predictive control in Robotino and its implementation using ROS system
  10. Optimizing sampling of flying insects using a modified window trap
  11. Interpreting Strings, Weaving Threads
  12. A New Framework for Production Planning and Control to Support the Positioning in Fields of Tension Created by Opposing Logistic Objectives
  13. Finding Similar Movements in Positional Data Streams
  14. Parking space management through deep learning – an approach for automated, low-cost and scalable real-time detection of parking space occupancy
  15. The Use of Genetic Algorithm for PID Controller Auto-Tuning in ARM CORTEX M4 Platform
  16. Framework for the Parallelized Development of Estimation Tasks for Length, Area, Capacity and Volume in Primary School - A Pilot Study
  17. Changing the Administration from within:
  18. Using cross-recurrence quantification analysis to compute similarity measures for time series of unequal length with applications to sleep stage analysis
  19. Stepwise-based optimizing approaches for arrangements of loudspeaker in multi-zone sound field reproduction
  20. Contributions of declarative and procedural memory to accuracy and automatization during second language practice
  21. On the Functional Controllability Using a Geometric Approach together with a Decoupled MPC for Motion Control in Robotino
  22. On the Power and Performance of a Doubly Latent Residual Approach to Explain Latent Specific Factors in Multilevel-Bifactor-(S-1) Models
  23. Modeling and numerical simulation of multiscale behavior in polycrystals via extended crystal plasticity
  24. Using learning protocols for knowledge acquisition and problem solving with individual and group incentives
  25. An extended analytical approach to evaluating monotonic functions of fuzzy numbers
  26. FaST: A linear time stack trace alignment heuristic for crash report deduplication
  27. Age effects on controlling tools with sensorimotor transformations
  28. Age effects on controlling tools with sensorimotor transformations
  29. Predicting the Difficulty of Exercise Items for Dynamic Difficulty Adaptation in Adaptive Language Tutoring