Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.

Ullrich Hustadt, Boris Motik, Ulrike Sattler

Browse the full ECAI paper archive.