Reasoning over vague concepts
From MaRDI portal
Recommendations
Cites work
- A tableau algorithm for description logics with concrete domains and general TBoxes
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Consistency reasoning in lattice-based fuzzy description logics
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- OWL 2 profiles: an introduction to lightweight ontology languages
Cited in
(2)
This page was built for publication: Reasoning over vague concepts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814378)