.

View on GitHub

Homepage of Julian Mendez

TU Dresden - Faculty of Computer Science - Chair of Automata Theory

Julian Alfredo Mendez, M.Sc.
Andreas-Pfitzmann-Bau (APB)
Nöthnitzer Str. 46
D-01187 Dresden
Fax: +49 351 463 37959
email: julian . mendez at tu-dresden . de
Postal address:
Dresden University of Technology
Faculty of Computer Science
Institute of Theoretical Computer Science
D-01062 Dresden
Germany

Publications

  • Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, Denny Vrandečić. Introducing Wikidata to the Linked Data Web. In Proceedings of the 13th International Semantic Web Conference. Springer 2014.
  • Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, and Anni-Yasmin Turhan: Situation Recognition for Service Management Systems Using OWL 2 Reasoners. In Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, pages 31—36. San Diego, California, IEEE Computer Society, March 2013. BibTeX entry   Abstract   Paper (PDF)   ©IEEE Press
  • Sebastian Goetz, Julian Mendez, Veronika Thost, and Anni-Yasmin Turhan: OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. In Kavitha Srinivas and Simon Jupp, editors, Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013. To appear. BibTeX entry   Abstract   Paper (PDF)
  • Sebastian Götz, René Schöne, Claas Wilke, Julian Mendez, and Uwe Aßmann: Towards Predictive Self-optimization by Situation Recognition. 2nd Workshop EASED@ BUIS 201311, 2013. BibTeX entry   Abstract   Paper (PDF)
  • Yue Ma and Julian Mendez: High Quality Data Generation: An Ontology Reasoning based Approach. In International Workshop on Artificial Intelligence for Big Data (in conjunction with IJCAI’13), 2013. To appear. BibTeX entry   Abstract
  • Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, and Barbara Morawska: *UEL: Unification Solver for *EL *. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, *Proceedings of the 25th International Workshop on Description Logics (DL’12), volume 846 of in CEUR Workshop Proceedings, pages 26—36, 2012. BibTeX entry   Abstract   Paper (PDF)
  • Franz Baader, Julian Mendez, and Barbara Morawska: UEL: Unification Solver for the Description Logic EL — System Description. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR’12), volume 7364 of in Lecture Notes in Artificial Intelligence, pages 45—51. Manchester, UK, Springer-Verlag, 2012. BibTeX entry   Abstract   Paper (PDF)   ©Springer-Verlag
  • Julian Mendez: jcel: A Modular Rule-based Reasoner. In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012), 858, 2012. BibTeX entry   Abstract   Paper (PDF)
  • Julian Mendez, Andreas Ecke, and Anni-Yasmin Turhan: Implementing completion-based inferences for the EL-family. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the international Description Logics workshop. CEUR, 2011. BibTeX entry   Abstract   Paper (PDF)
  • Julian Mendez and Boontawee Suntisrivaraporn: Reintroducing CEL as an OWL 2 EL Reasoner. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of in CEUR-WS, 2009. BibTeX entry   Abstract   Paper (PDF)

Projects

  • BORN: Bayesian Ontology Reasoner, for the description logic EL, fully implemented in Java
    • JProbLog: (auxiliary project) Java adapter for ProbLog
  • Wikidata Toolkit: an open source Java library for using data from Wikidata and other Wikibase sites
  • jcel: a classifier for the description logic EL+, fully implemented in Java
  • UEL: Unification Solver for EL
  • OntoComP: a Protégé 4 plug-in for completing OWL ontologies.
  • CEL Plug-in: a classifier for the description logic EL+, Java-Lisp implementation
    • jsexp: (auxiliary project) parser in Java for Lisp S-expressions

Auxiliary Projects

  • lat-parent: POM file used as parent of project parent POM files
  • genericantfile: generic Ant file to compile modules with Ivy
  • util: collection of modules containing utility classes

Collaborations

  • Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter: Query and Predicate Emptiness in Description Logics. In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010). AAAI Press, 2010. BibTeX entry   Abstract   Paper (PDF)

Master’s Thesis

Chair of Automata Theory