LETHE: Saturation−Based Reasoning for Non−Standard Reasoning Tasks
Patrick Koopmann and Renate Schmidt
Book Title
Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE)
Publisher
CEUR−WS.org
Year
2015
Patrick Koopmann and Renate Schmidt