Pages that link to "Item:Q1606296"
From MaRDI portal
The following pages link to Expressiveness of concept expressions in first-order description logics (Q1606296):
Displaying 9 items.
- On bisimulations for description logics (Q527171) (← links)
- On keys and functional dependencies as first-class citizens in description logics (Q928661) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Description Logics (Q3638996) (← links)
- Bisimilarity for paraconsistent description logics (Q5283396) (← links)
- Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\) (Q5498011) (← links)
- A simple logic of concepts (Q6156201) (← links)