Julián Méndez

According to our database, Julián Méndez authored at least 21 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging.

Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt

Comput. Graph. Forum, September, 2023

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Fantastic Hybrid User Interfaces and How to Define Them.

Marc Satkowski, Julián Méndez

Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2023

How Does Explainability Look in Hybrid User Interfaces?

Julián Méndez, Marc Satkowski, Rufat Rzayev

Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2023

2022

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt

IEEE Trans. Vis. Comput. Graph., 2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version).

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic

CoRR, 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez

CoRR, 2022

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

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.

Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang

Proceedings of the Computational Models of Argument, 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description).

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2015

The Bayesian Ontology Reasoner is BORN!

Ismail Ilkan Ceylan, Julian Mendez, Rafael Peñaloza

Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

2014

Introducing Wikidata to the Linked Data Web.

Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, Denny Vrandecic

Proceedings of the Semantic Web - ISWC 2014, 2014

Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling.

Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, 2014

2013

Towards Predictive Self-optimization by Situation Recognition.

Sebastian Götz, René Schöne, Claas Wilke, Julian Mendez, Uwe Aßmann

Softwaretechnik-Trends, 2013

Situation recognition for service management systems using OWL 2 reasoners.

Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context.

Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

2012

jcel: A Modular Rule-based Reasoner.

Julian Mendez

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

UEL: Unification Solver for EL.

Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska

Proceedings of the 2012 International Workshop on Description Logics, 2012

UEL: Unification Solver for the Description Logic ℇℒ - System Description.

Franz Baader, Julian Mendez, Barbara Morawska

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Implementing Completion-Based Inferences for the EL-family.

Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2009

Reintroducing CEL as an OWL 2 EL Reasoner.

Julian Mendez, Boontawee Suntisrivaraporn

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009