논문상세정보
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution
Hustadt, U.
Motik, B.
Sattler, U.
2004년
