Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in

MASTRO

From MaRDI portal
(Redirected from Software:51265)
Jump to:navigation, search



swMATH35563MaRDI QIDQ51265FDOQ51265


Author name not available (Why is that?)

Official website: http://www.inf.unibz.it/~calvanese/papers/calv-etal-SWJ-2011.pdf




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
  • Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna
  • ContentCVS
  • PAGOdA
  • Grail
  • CEX
  • Ontop
  • Graal
  • Logical foundations of information disclosure in ontology-based data integration
  • Polyanna
  • SemMF
  • DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries


This page was built for software: MASTRO

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=MASTRO&oldid=56397462"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 07:25. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki