1. //
  2. Start
  3. //
  4. Publikationen
  5. Evaluating OWL 2 reasoners in the contex...
  6. Formate
  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

Standard

Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development. / Kropotin, Alexander A.
in: CEUR Workshop Proceedings, Nr. 1207, 2014, S. 44-50.

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

Harvard

Kropotin, AA 2014, 'Evaluating OWL 2 reasoners in the context of checking entity-relationship diagrams during software development', CEUR Workshop Proceedings, Nr. 1207, S. 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 -

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. Problem Framing Workshop with Local NGOs
  2. From Archives to Activism: Using Data to Challenge Structures in Art Collections
  3. Maximum-Likelihood-Based Panel Cointegration Testing
  4. Detecting and tracking coherent sets in nonautonomous flows
  5. Trajectory-based Lagrangian approaches for the extraction and characterization of coherent structures
  6. Methods and Methodologies for Researching Globalization and Development - 2015
  7. Presentation of the paper entitled: "Classical PI Controllers with Anti-Windup Techniques Applied on Level Systems: An Interesting Case Study"
  8. Negotiating Expected Outcomes: Value Creation in Risky Contexts
  9. Revisiting the concept of the script in institutional theory
  10. How, when, and why do negotiators use reference points? A qualitative interview study with negotiation experts.
  11. Memory Acts: Memory without Representation.: Theoretical and Methodological Suggestions
  12. The Domestication Approach Revisited in the Context of Digitization, Mobilization and Mediatization
  13. Co-supervisor of the dissertation "Multi-trophic interactions and functional diversity in biodiversity experiments."
  14. “Visual Rhetoric as a three-dimensional practice. Theorizing the interconnections between the visual rhetorical objects and the process of spectatorship”
  15. Learning to rate player actions in multi-agent scenarios
  16. Preliminary selection of experimental techniques in Subtask D

Publikationen

  1. AGDISTIS - Graph-based disambiguation of named entities using linked data
  2. Using transition management concepts for the evaluation of intersecting policy domains ('grand challenges')
  3. Structure and dynamics laboratory testing of an indirectly controlled full variable valve train for camless engines
  4. Data based analysis of order processing strategies to support the positioning between conflicting economic and logistic objectives
  5. Efficient Order Picking Methods in Robotic Mobile Fulfillment Systems
  6. Linux-based Embedded System for Wavelet Denoising and Monitoring of sEMG Signals using an Axiomatic Seminorm
  7. Multi-Parallel Sending Coils for Movable Receivers in Inductive Charging Systems
  8. Performance and Comfort when Using Motion-Controlled Tools in Complex Tasks
  9. Machine Learning and Knowledge Discovery in Databases
  10. Problem solving in mathematics education
  11. A two-stage Kalman estimator for motion control using model predictive strategy
  12. Unity and diversity in the law of state responsibility
  13. Combining linked data and statistical information retrieval
  14. Solving mathematical problems with dynamical sketches
  15. Essentializing the binary self
  16. Multi-view learning with dependent views
  17. An application of multiple behavior SIA for analyzing data from student exams
  18. Promising practices for dealing with complexity in research for development
  19. Perfect anti-windup in output tracking scheme with preaction
  20. Correlation between mechanical behaviour and microstructure in the Mg-Ca-Si-Sr system for degradable biomaterials based on thermodynamic calculations
  21. Proxies
  22. Agency and structure in a sociotechnical transition
  23. Proceedings of TextGraphs-17: Graph-based Methods for Natural Language Processing
  24. Primary Side Circuit Design of a Multi-coil Inductive System for Powering Wireless Sensors
  25. GPU-accelerated meshfree computational framework for modeling the friction surfacing process
  26. A PHENOMENOGRAPHICAL STUDY OF CHILDRENS’ SPATIAL THOUGHT WHILE USING MAPS IN REAL SPACES
  27. Design and Control of an Inductive Power Transmission System with AC-AC Converter for a Constant Output Current
  28. Introducing a multivariate model for predicting driving performance
  29. Children's use of spatial skills in solving two map-reading tasks in real space.
  30. Evaluating entity annotators using GERBIL
  31. Managing complexity in automative production