Login / Signup
Tom Friese
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Owl Ontologies
Dl Lite
Semantic Web
Theorem Prover
Top Venues
Description Logics
CoRR
</>
Publications
</>
Christian Alrabbaa
,
Stefan Borgwardt
,
Tom Friese
,
Patrick Koopmann
,
Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee.
Description Logics
(2023)
Christian Alrabbaa
,
Stefan Borgwardt
,
Tom Friese
,
Patrick Koopmann
,
Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee (Technical Report).
CoRR
(2023)
Christian Alrabbaa
,
Stefan Borgwardt
,
Tom Friese
,
Patrick Koopmann
,
Julián Méndez
,
Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.
Description Logics
(2022)
Christian Alrabbaa
,
Stefan Borgwardt
,
Tom Friese
,
Patrick Koopmann
,
Julián Méndez
,
Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version).
CoRR
(2022)