Pages that link to "Item:Q2510119"
From MaRDI portal
The following pages link to (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119):
Displaying 8 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- ASP Based Generation of Information Terms for Constructive ɛℒ (Q4686513) (← links)
- Logics in Artificial Intelligence (Q5394141) (← links)
- The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)