Pages that link to "Item:Q5172610"
From MaRDI portal
The following pages link to Decidability of Circumscribed Description Logics Revisited (Q5172610):
Displaying 9 items.
- Decidability and definability with circumscription (Q579240) (← links)
- Query answering in circumscribed OWL2 profiles (Q825008) (← links)
- Deciding inseparability and conservative extensions in the description logic (Q1041590) (← links)
- The descriptive complexity of decision problems through logics with relational fixed-point and capturing results (Q1744448) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- (Q4576256) (← links)
- (Q4707763) (← links)
- A Decidable Constructive Description Logic (Q4930754) (← links)