Corpus ID: 15077293

OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report

@inproceedings{Gonalves2013OWLRE,
  title={OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report},
  author={Rafael S Gonçalves and S. Bail and Ernesto Jim{\'e}nez-Ruiz and Nicolas Matentzoglu and B. Parsia and Birte Glimm and Y. Kazakov},
  booktitle={ORE},
  year={2013}
}
  • Rafael S Gonçalves, S. Bail, +4 authors Y. Kazakov
  • Published in ORE 2013
  • Computer Science, Engineering
  • The OWL reasoner evaluation (ORE) workshop brings together reasoner developers and ontology engineers in order to discuss and evaluate the performance and robustness of modern reasoners on OWL ontologies. In addition to paper submissions, the workshop featured a live and offline reasoner competition where standard reasoning tasks were tested: classification, consistency, and concept satisfiability. The reasoner competition is performed on several large corpora of reallife OWL ontologies… CONTINUE READING
    34 Citations

    Figures and Topics from this paper

    Predicting the Empirical Robustness of the Ontology Reasoners based on Machine Learning Techniques
    • 4
    • Highly Influenced
    • PDF
    Towards Unveiling the Ontology Key Features Altering Reasoner Performances
    • 7
    • PDF
    What Makes Ontology Reasoning so Arduous?: Unveiling the key ontological features
    • 12
    • Highly Influenced
    R2O2: An Efficient Ranking-Based Reasoner for OWL Ontologies
    • 9
    • PDF
    Empirical Investigation of Subsumption Test Hardness in Description Logic Classification
    • 1
    • PDF
    Module-based classification of OWL ontologies
    • 4
    Predicting Reasoner Performance on ABox Intensive OWL 2 EL Ontologies
    • 6
    • PDF

    References

    SHOWING 1-10 OF 33 REFERENCES
    jcel: A Modular Rule-based Reasoner
    • 44
    • PDF
    Pellet: A practical OWL-DL reasoner
    • 2,799
    • PDF
    OWL 2: The next step for OWL
    • 845
    • PDF
    A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner
    • 6
    • PDF
    A Corpus of OWL DL Ontologies
    • 27
    • PDF
    A novel approach to ontology classification
    • 87
    • PDF
    KB_Bio_101 : A Challenge for OWL Reasoners
    • 19
    • PDF
    FaCT++ Description Logic Reasoner: System Description
    • 1,132
    • PDF