The following pages link to DESCRIPTION LOGICS OVER LATTICES (Q5291327):
Displayed 19 items.
- Generalized fuzzy rough description logics (Q454980) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Fuzzy description logics under Gödel semantics (Q962867) (← links)
- A formal framework for description logics with uncertainty (Q962955) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- Inconsistency-tolerant reasoning with OWL DL (Q2353974) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)
- The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics (Q2938484) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- All About Fuzzy Description Logics and Applications (Q2970307) (← links)
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES (Q3638811) (← links)
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS (Q4650066) (← links)
- SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS (Q4650073) (← links)