Satisfiability Checking and Query Answering for Large Ontologies.

Christoph Weidenbach, Patrick Wischnewski

Browse the full CADE paper archive.