A Characterization Theorem for a Modal Description Logic

doi 10.24963/ijcai.2017/181
Full Text
Abstract

Available in full text

Date
Authors
Publisher

International Joint Conferences on Artificial Intelligence Organization