Reasoning in Collaboration Diagrams by Description Logics.

Hiroyuki Nakanishi, Takao Miura, Isamu Shioya

Browse the full CATA paper archive.