MASTRO
From MaRDI portal
Software:51265
No author found.
Related Items (8)
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity ⋮ 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 ⋮ Metamodeling and metaquerying in \texttt{OWL 2 QL} ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Foundations of ontology-based data access under bag semantics
This page was built for software: MASTRO
