A Characterization Theorem for a Modal Description Logic

Paul Wild, Lutz Schröder

Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents. E.g., the logic S5-ALC combi…