ArticleJournal of automated reasoning2017
The OWL Reasoner Evaluation (ORE) 2015 Competition Report.
Bijan Parsia et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.
6 papers cite it
this papercites it
ArticleJournal of automated reasoning2017
Bijan Parsia et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.