From tableaux to automata for description logics F Baader, J Hladik, C Lutz, F Wolter Fundamenta Informaticae 57 (2-4), 247-279, 2003 | 68 | 2003 |
Automata can show PSPACE results for description logics F Baader, J Hladik, R Penaloza Information and Computation 206 (9-10), 1045-1056, 2008 | 49 | 2008 |
Tableau systems for SHIO and SHIQ J Hladik, J Model 2004 International Workshop on Description Logics, 168, 2004 | 33 | 2004 |
Implementation and optimisation of a tableau algorithm for the guarded fragment J Hladik Automated Reasoning with Analytic Tableaux and Related Methods …, 2002 | 29 | 2002 |
A Tableau System for the Description Logic SHIO. J Hladik IJCAR Doctoral Programme 106, 2004 | 24 | 2004 |
Using OWL DL Reasoning to Decide about authorization in RBAC. M Knechtel, J Hladik, F Dau OWLED 8, 30, 2008 | 23 | 2008 |
RBAC authorization decision with DL reasoning M Knechtel, J Hladik, F Dau Proceedings of the IADIS international conference WWW/Internet, 169-176, 2008 | 22 | 2008 |
An innovative virtual enterprise approach to agile micro and SME-based collaboration networks T Münch, R Buchmann, J Pfeffer, P Ortiz, C Christl, J Hladik, J Ziegler, ... Collaborative Systems for Reindustrialization: 14th IFIP WG 5.5 Working …, 2013 | 20 | 2013 |
Integrating industrial middleware in linked data collaboration networks M Graube, L Urbas, J Hladik 2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016 | 16 | 2016 |
Linked data as enabler for mobile applications for complex tasks in industrial settings M Graube, J Ziegler, L Urbas, J Hladik 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 16 | 2013 |
Comvantage: Mobile enterprise collaboration reference framework and enablers for future internet information interoperability A Salmen, T Münch, S Buzin, J Hladik, W Altmann, C Weber, ... The Future Internet: Future Internet Assembly 2013: Validated Results and …, 2013 | 13 | 2013 |
To and fro between tableaus and automata for description logics J Hladik Dresden University of Technology, Germany, 2007 | 12 | 2007 |
PSPACE automata for description logics J Hladik, R Penaloza Proceedings of the 2006 International Workshop on Description Logics (DL'06 …, 2006 | 12 | 2006 |
A translation of looping alternating automata into description logics J Hladik, U Sattler Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003 | 11 | 2003 |
A Generator for Description Logic Formulas. J Hladik Description Logics, 2005 | 10 | 2005 |
Implementation and operation of collaborative manufacturing networks J Ziegler, R Buchmann, M Graube, J Hladik, T Münch, P Ortiz, J Pfeffer, ... Collaborative Systems for Smart Networked Environments: 15th IFIP WG 5.5 …, 2014 | 8 | 2014 |
Collaboration and interoperability within a virtual enterprise applied in a mobile maintenance scenario T Münch, J Hladik, A Salmen, W Altmann, R Buchmann, D Karagiannis, ... Revolutionizing Enterprise Interoperability through Scientific Foundations …, 2014 | 6 | 2014 |
Using mobile technology for inter-organisational collaboration and end-customer integration C Christl, J Hladik, M Graube, R Willfort, L Urbas Proceedings of the 13th International Conference on Knowledge Management and …, 2013 | 6 | 2013 |
Improving Industrial Collaboration with Linked Data, OWL. J Hladik, C Christl, F Haferkorn, M Graube OWLED, 2013 | 4 | 2013 |
Reasoning about Nominals with FaCT and RACER. J Hladik Description Logics, 2003 | 4 | 2003 |