MASTRO
From MaRDI portal
Cited in
(16)- 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
- ContentCVS
- PAGOdA
- Grail
- CEX
- Ontop
- Graal
- Polyanna
- SemMF
- 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
- DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
This page was built for software: MASTRO
