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. From Text to Data: AI and Human Expertise in Provenance Linked Open Data
  2. Plenary lecture entitled: "Wavelet Packets for Applications in Signal Processing and Control Systems"
  3. Efficient Order Picking Methods in Robotic Mobile Fulfillment Systems
  4. Presentation of the paper entitled: "Combining a PI Controller with an Adaptive Feedforward Control in PMSM"
  5. What we know about conceptual learning in open inquiry settings in science education
  6. How, when, and why do negotiators use reference points? A qualitative interview study with negotiation experts.
  7. Drafts in Action. Concepts and Practices of Artistic Intervention
  8. Understanding Corruptive Behaviour by Means of Experiments
  9. Quality of reading instruction in language classrooms: Subject specific analysis of teaching quality
  10. A shift of mindset? Rethinking our (learning) objectives
  11. Serial Despite Itself: "Pan" Between Deep and Differentiated Time
  12. Institutionalizing transdisciplinary learning on different levels
  13. Coding feedback in an online- and video-based learning environment during a field experience

Publications

  1. Control of a Sun Tracking Robot Based on Adaptive Sliding Mode Control with Kalman Filtering and Model Predictive Control
  2. Anomaly detection in formed sheet metals using convolutional autoencoders
  3. Framework for setting up and operating biobanks
  4. Perfect anti-windup in output tracking scheme with preaction
  5. Introducing a multivariate model for predicting driving performance
  6. Semantic Parsing for Knowledge Graph Question Answering with Large Language Models
  7. Reading and Calculating in Word Problem Solving
  8. Selection and Recognition of Statistically Defined Signals in Learning Systems
  9. Inversion of fuzzy neural networks for the reduction of noise in the control loop
  10. Age-related differences in processing visual device and task characteristics when using technical devices
  11. Evaluating the construct validity of Objective Personality Tests using a multitrait-multimethod-Multioccasion-(MTMM-MO)-approach
  12. A denoising procedure using wavelet packets for instantaneous detection of pantograph oscillations
  13. Managing Business Process in Distributed Systems: Requirements, Models, and Implementation
  14. Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development
  15. The elicitation process in developing of case library for Case-Based Reasoner system whilst consideration for validating electronic communication technologies
  16. A multi input sliding mode control for Peltier Cells using a cold-hot sliding surface
  17. Design and Control of an Inductive Power Transmission System with AC-AC Converter for a Constant Output Current
  18. On robustness properties in permanent magnet machine control by using decoupling controller
  19. Construct Objectification and De-Objectification in Organization Theory
  20. Vision-Based Deep Learning Algorithm for Detecting Potholes
  21. Methodologies for Noise and Gross Error Detection using Univariate Signal-Based Approaches in Industrial Application
  22. A model predictive control in Robotino and its implementation using ROS system
  23. Analysis and comparison of two finite element algorithms for dislocation density based crystal plasticity
  24. A New Framework for Production Planning and Control to Support the Positioning in Fields of Tension Created by Opposing Logistic Objectives
  25. Finding Similar Movements in Positional Data Streams
  26. Empowering materials processing and performance from data and AI
  27. Integrating errors into the training process
  28. Modeling Effective and Ineffective Knowledge Communication and Learning Discourses in CSCL with Hidden Markov Models
  29. Stepwise-based optimizing approaches for arrangements of loudspeaker in multi-zone sound field reproduction
  30. Using Decision Trees and Reinforcement Learning for the Dynamic Adjustment of Composite Sequencing Rules in a Flexible Manufacturing System
  31. Changes of Perception
  32. Real-time RDF extraction from unstructured data streams
  33. A Quadrant Approach of Camera Calibration Method for Depth Estimation Using a Stereo Vision System
  34. DialogueMaps: Supporting interactive transdisciplinary dialogues with a web-based tool for multi-layer knowledge maps
  35. A sufficient asymptotic stability condition in generalised model predictive control to avoid input saturation