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 5 items.
- On bisimulations for description logics (Q527171) (← 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)
- A simple logic of concepts (Q6156201) (← links)
