Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Christian Alrabbaa
Researcher
PaperFinding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)Authorship / preprint / 2022PaperEvonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended VersionAuthorship / preprint / 2022PaperOn the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)Authorship / preprint / 2022PaperExplaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)Authorship / preprint / 2022PaperFinding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)Authorship / preprint / 2022PaperFinding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)Authorship / preprint / 2020