( en | de | ru )

 

Disambiguation of "Alrabbaa, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources.

, , , , , and . (May 2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Döring

Die Expression der E3 Ligasen Murf - 1 und MafBx nach Induktion einer Herzinsuffizienz, Einfluss von körperlichem Training. Uni Leipzig, (2009)
 

Other publications of authors with the same name

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures., , , , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 291-308. Springer, (2021)Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging., , , , , and . Comput. Graph. Forum, (September 2023)Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources., , , , and . (May 2020)Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)., , , and . CoRR, (2022)Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams., , , and . VOILA@ISWC, volume 2778 of CEUR Workshop Proceedings, page 28-40. CEUR-WS.org, (2020)Explaining Non-Entailment by Model Transformation for the Description Logic EL., and . IJCKG, page 1-9. ACM, (2022)On the Complexity of Finding Good Proofs for Description Logic Entailments., , , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)., , , , and . CoRR, (2020)Why Not? Explaining Missing Entailments with Evee., , , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models., , , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 167-182. Springer, (2022)