22 citations · 51 across the 6 of their papers we have counts for
6 papers
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese +3
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology edito…
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +3
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ont…
Implementation and first results of the KM3NeT real-time core-collapse supernova neutrino search
KM3NeT Collaboration, S. Aiello, A. Albert +242
The KM3NeT research infrastructure is under construction in the Mediterranean Sea. KM3NeT will study atmospheric and astrophysical neutrinos with two multi-purpose neutrino detecto…
Combined sensitivity of JUNO and KM3NeT/ORCA to the neutrino mass ordering
KM3NeT Collaboration, S. Aiello, A. Albert +275
This article presents the potential of a combined analysis of the JUNO and KM3NeT/ORCA experiments to determine the neutrino mass ordering. This combination is particularly interes…
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Tom Horak, Norine Coenen, Niklas Metzger +6
Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneo…
SN 2014J at M82: I. A middle-class type Ia supernova by all spectroscopic metrics
L. Galbany, M. E. Moreno-Raya, P. Ruiz-Lapuente +20
We present the intensive spectroscopic follow up of the type Ia supernova (SN Ia) 2014J in the starburst galaxy M82. Twenty-seven optical spectra have been acquired from January 22…