Pages that link to "Item:Q1380409"
From MaRDI portal
The following pages link to Using automata theory for characterizing the semantics of terminological cycles (Q1380409):
Displayed 9 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- Pathology of collective doxa. Automata models (Q1855026) (← links)
- The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics (Q2938484) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- Description Logics (Q3638996) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)