A Characterization Theorem for a Modal Description Logic

arXiv1705.06214MaRDI QIDQ6286798FDOQ6286798

Publication date: 17 May 2017

Abstract: 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 combines the standard description logic ALC with an S5-modality that can be understood as an epistemic operator or as representing (undirected) change. This logic embeds into a corresponding modal first-order logic S5-FOL. We prove a modal characterization theorem for this embedding, in analogy to results by van Benthem and Rosen relating ALC to standard first-order logic: We show that S5-ALC with only local roles is, both over finite and over unrestricted models, precisely the bisimulation invariant fragment of S5-FOL, thus giving an exact description of the expressive power of S5-ALC with only local roles.

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Classical first-order logic (03B10) Logic in computer science (03B70)

This page was built for publication: A Characterization Theorem for a Modal Description Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6286798)