… easy to prepare reasoners with OWL API support for the competition and we explicitly
encourage OWL API support as it supports access to the reasoners by a plethora of tools. OWL API …

… The reasoners under investigation in this paper are designed to implement key reasoning
services for OWL, … Since 2013, the ORE reasoner competition tries to establish methodological …

… The OWL reasoner evaluation (ORE) [17] workshop encouraged the reasoned developers …
reasoners on OWL ontologies. The categorization, stability, and other factors for the reasoner …

… For instance, consider the statement saying (informally): “If a document has a creation
date, this is … in two major branches for knowledge modeling and reasoning: OWL and RDF/RDFS. …

… In Informal Proceedings of the 2nd International Workshop on … mal Proceedings of the 2nd
International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, …

… , in particular driven by the W3C standard OWL for the Semantic Web, led to highly expressive
general purpose DL reasoners based on tableau algorithms incorporating DL languages …

… In this paper we present TROvE (Tool for Rapid OWL Reasoner … Informal Proceedings of
the 2nd International Workshop on OWL Reasoner Evaluation (ORE2013), Ulm, Germany, July …

… OWL API [7] and supports numerous formats5. Semano enables the user to choose a reasoner
for … This is important as, depending on the ontology, the right choice of the reasoner has a …

… The QL profile of OWL2 provides a specific subset of the OWL language features to allow
for efficient query answering implemented through rewriting queries, eg in SPARQL Protocol …

… profile of OWL 2. One of the main appeals of EL is that basic reasoning tasks can be
performed in polynomial time with respect to the size of the ontology, enabling reasoningsupported …