Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution (2004)

by U Hustadt, B Motik, U Sattler
Venue:Proc. of the 16th European Conf. on Artificial Intelligence (ECAI 2004