Vol-3262⫷ Vol-3263 ⫸Vol-3264
urn:nbn:de:0074-3263-0


Vol-3263/paper-1⫷Vol-3263/paper-2⫸Vol-3263/paper-3
Christian AlrabbaaStefan BorgwardtTom FriesePatrick KoopmannJulián Méndez 0001Alexej Popovic

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne