Pages that link to "Item:Q1694573"

The following pages link to The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573):

Displaying 9 items.

• OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
• The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
• ReAD: AD-based modular ontology classification (Q2055795) (← links)
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
• Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
• Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
• Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)
• Ontology-mediated probabilistic model checking (Q6536352) (← links)
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited (Q6545515) (← links)