Login / Signup
Alexej Popovic
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Reasoning Problems
Theorem Prover
Rule Language
Dl Lite
Top Venues
Description Logics
CoRR
</>
Publications
</>
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)