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. Ambiguity machine. The art and politics of disorganizing urban space
  2. Navigating Object Ambiguity for Creativity in Artistic and Scientific Experiments
  3. Conference on Participatory Approaches in Science & Technology - PATH 2006
  4. Computer Simulation as media of knowledge production in the practice of quantum theory
  5. Transdisciplinary boundary-work: Exploring entities, identities and boundaries
  6. Towards a Research Program in Design, Inovation and Aesthetics
  7. Organized Creativity - Introduction to the 1st Annual Conference
  8. Computersimulation als Erkenntnismethode
  9. Balancing Acts
  10. Trajectory based Analysis and visualisation of coherent flow structures in stirred tank reactors
  11. Spaces of Co-creation: Cities and Creativity
  12. Implementing Sustainability Strategies Through Accounting Controls: An Exploration of Practices in Seven Multinational Corporations
  13. Presentation of the paper entitled "Design of a Real Time Path of Motion Control for Manufacturing Applications"
  14. Session "The technological cause of entropy"

Publikationen

  1. Advances in Dynamics, Optimization and Computation
  2. Hypertext
  3. Advantages and Disadvanteges of Different Text Coding Procedures for Research and Practice in a School Context
  4. Semantic Parsing for Knowledge Graph Question Answering with Large Language Models
  5. Different kinds of interactive exercises with response analysis on the web
  6. Closed-form Solution for the Direct Kinematics Problem of the Planar 3-RPR Parallel Mechanism
  7. Construct Objectification and De-Objectification in Organization Theory
  8. Multi-view discriminative sequential learning
  9. Web-scale extension of RDF knowledge bases from templated websites
  10. Dispatching rule selection with Gaussian processes
  11. Homogenization methods for multi-phase elastic composites with non-elliptical reinforcements
  12. Towards a Bayesian Student Model for Detecting Decimal Misconceptions
  13. Foundations and applications of computer based material flow networks for einvironmental management
  14. Artificial Intelligence Algorithms for Collaborative Book Recommender Systems
  15. Learning from Erroneous Examples: When and How do Students Benefit from them?
  16. Study on the effects of tool design and process parameters on the robustness of deep drawing
  17. Adjustable automation and manoeuvre control in automated driving
  18. Backstepping-based Input-Output Linearization of a Peltier Element for Ice Clamping using an Unscented Kalman Filter
  19. Situated multiplying in primary school
  20. Oddih
  21. Performance of process-based models for simulation of grain N in crop rotations across Europe
  22. Passive Rotation of Rotational Joints and Its Computation Method
  23. Exploiting ConvNet diversity for flooding identification
  24. Denoising and harmonic detection using nonorthogonal wavelet packets in industrial applications
  25. Modellieren in der Sekundarstufe
  26. Making mutual learning tangible
  27. The effect of yield surface curvature change by cross hardening on forming limit diagrams of sheets
  28. Challenges for postdocs in Germany and beyond:
  29. Sustainable Consumption - Mapping the Terrain
  30. Implementing aspects of inquiry-based learning in secondary chemistry classes: a case study
  31. Integrating resilience thinking and optimisation for conservation
  32. An Integrative Framework of Environmental Management Accounting
  33. A robust model predictive control using a feedforward structure for a hybrid hydraulic piezo actuator in camless internal combustion engines
  34. Comparative study on the dehydrogenation properties of TiCl4-doped LiAlH4 using different doping techniques
  35. Evaluating a Bayesian Student Model of Decimal Misconceptions
  36. Design of Reliable Remobilisation Finger Implants with Geometry Elements of a Triple Periodic Minimal Surface Structure via Additive Manufacturing of Silicon Nitride