A model of modal description logic
From MaRDI portal
Recommendations
- Reasoning in basic description logics and description logics with modal operators
- scientific article; zbMATH DE number 1400210
- scientific article; zbMATH DE number 1405450
- A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
- scientific article; zbMATH DE number 1735887
Cited in
(6)- Modal correspondence for models
- ALC for CLA: towards description logic on concept lattices
- A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it
- A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
- Towards contingent world descriptions in description logics
- Theory and Applications of Relational Structures as Knowledge Instruments
This page was built for publication: A model of modal description logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3609627)
