Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets.

Shirly Stephen, Torsten Hahmann

Browse the full AAAI paper archive.