MASTRO
From MaRDI portal
Software:51265
swMATH35563MaRDI QIDQ51265FDOQ51265
Author name not available (Why is that?)
Cited In (8)
- Query inseparability for \(\mathcal{ALC}\) ontologies
- Foundations of ontology-based data access under bag semantics
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Metamodeling and metaquerying in \texttt{OWL 2 QL}
- Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
- DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
- Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna
- Logical foundations of information disclosure in ontology-based data integration
This page was built for software: MASTRO
