Homepage of Julian Mendez

Julian Alfredo Mendez, M.Sc.
Room INF 3030
Nöthnitzer Str. 46
D-01187 Dresden
Tel.: +49-351-46339209
Fax: +49-351-46337959
email: email

Dresden University of Technology
Faculty of Computer Science
Institute for Theoretical Computer Science
D-01062 Dresden

Publications

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 CEUR-WS, 2009.
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, volume 745. CEUR, 2011.
Bibtex entry Abstract Paper (PDF)

OntoComP: a Protégé 4 plugin for completing OWL ontologies.
CEL Plug-in: a classifier for the description logic EL⁺, Java-Lisp implementation
jcel: a classifier for the description logic EL⁺ fully implemented in Java
uel: unifier for the description logic EL

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.
Abstract Paper (PDF)