Publications (25)
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)
Mathew Joseph, Gabriel Kuper, Till Mossakowski +1
The proliferation of contextualized knowledge in the Semantic Web (SW) has led to the popularity of knowledge formats such as \emph{quads} in the SW community. A quad is an extensi…
Small ball probabilities and a support theorem for the stochastic heat equation
Siva Athreya, Mathew Joseph, Carl Mueller
We consider the following stochastic partial differential equation on where we consider to be the circle with end points identified: \begin{…
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)
Mathew Joseph, Gabriel Kuper, Luciano Serafini
The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a sta…
Remarks on non-linear noise excitability of some stochastic heat equations
Mohammud Foondun, Mathew Joseph
We consider nonlinear parabolic SPDEs of the form on the interval , where denotes space-time white noise, is Lipschitz cont…
Semi-discrete semi-linear parabolic SPDEs
Nicos Georgiou, Mathew Joseph, Davar Khoshnevisan +1
Consider an infinite system \[\partial_tu_t(x)=(\mathscr{L}u_t)(x)+ Ï\bigl(u_t(x)\bigr)\partial_tB_t(x)\] of interacting Itô diffusions, started at a nonnegative deterministic bo…
Blowup for the multiplicative stochastic heat equation with superlinear drift
Mathew Joseph, Shubham Ovhal
We consider the stochastic heat equation with multiplicative white noise: , both on and . In the case of $[0,1…