Reasoning in basic description logics and description logics with modal operators
From MaRDI portal
Publication:3069418
Recommendations
Cited in
(17)- Embedding-based approaches to paraconsistent and temporal description logics
- \(\mathcal {BCDL}\): Basic constructive description logic
- DL-Lite with temporalised concepts, rigid axioms and roles
- LTL over description logic axioms
- scientific article; zbMATH DE number 1405450 (Why is no real title available?)
- Disjunction in modal description logics
- A model of modal description logic
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
- Complexity of branching temporal description logics
- A Correspondence between Temporal Description Logics
- A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
- scientific article; zbMATH DE number 1400210 (Why is no real title available?)
- Sequential description logic
- scientific article; zbMATH DE number 1765666 (Why is no real title available?)
- Towards contingent world descriptions in description logics
- A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it
- A parallel deduction for description logics with \(\mathcal{ALC}\) language
This page was built for publication: Reasoning in basic description logics and description logics with modal operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069418)
