The OWL reasoner evaluation (ORE) 2015 competition report

DOI10.1007/s10817-017-9406-8zbMath1425.68402OpenAlexW2404056264WikidataQ56895983 ScholiaQ56895983MaRDI QIDQ1694573

Nicolas Matentzoglu, Rafael S. Gonçalves, Andreas Steigmiller, Birte Glimm, Bijan Parsia

Publication date: 2 February 2018

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-017-9406-8

zbMATH Keywords

reasoningontologiesOWL

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (7)

OWL reasoning: subsumption test hardness and modularity ⋮ Efficient TBox Reasoning with Value Restrictions using the wer Reasoner ⋮ The OWL reasoner evaluation (ORE) 2015 competition report ⋮ ReAD: AD-based modular ontology classification ⋮ Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes ⋮ Enhancing probabilistic model checking with ontologies ⋮ Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL

Uses Software

• TPTP
• Pellet
• FaCT++
• Racer
• HermiT
• Konclude
• TrOWL
• Chainsaw
• RacerPro
• OpenStreetMap
• BioPortal
• ELepHant
• JFact
• ELK
• GitHub

Cites Work

• The CADE-14 ATP system competition
• The OWL reasoner evaluation (ORE) 2015 competition report
• Absorption for ABoxes
• HermiT: an OWL 2 reasoner
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures
• The Description Logic Handbook
• Unnamed Item
• Unnamed Item

This page was built for publication: The OWL reasoner evaluation (ORE) 2015 competition report