RR 2017 - Fast ABox Consistency Checking

This page contains the datasets for the RR 2017 submission Fast ABox Consistency Checking using Incomplete Reasoning and Caching.

• DBpedia+
• Extended TBox including DOLCE-0
• 100000 ABoxes
• GoodRelations
• Link to TBox
• 5000 ABoxes

Code and RapidMiner workflows are available on request. Feel free to write to daniel [at] informatik.uni-mannheim.de.