Publications of Barbara Morawska

Journal Articles

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods of Computer Science, 12(4:1):1–28, 2016
Details Download

Franz Baader, Barbara Morawska
Unification in the Description Logic EL
Logical Methods in Computer Science, 6(3), 2010
Details Download

Proceedings Articles

Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and local disunification in EL
In Maribel Fernández, eds., Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA’15), volume 36 of Leibniz International Proceedings in Informatics, 40–56, 2015. Dagstuhl Publishing
Details Download

Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 33-44, 2014
Details Download

Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Temur Kutsia and Christophe Ringeissen, eds., Proceedings of the 28th International Workshop on Unification (UNIF'14), RISC-Linz Report Series No. 14-06, 22-26, 2014
Details Download

Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Carsten Lutz and Michael Thielscher, eds., Proceedings of the 37th German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 135-146, 2014. Springer
Details Download

Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Barbara Morawska and Konstantin Korovin, eds., Proceedings of the 27th International Workshop on Unification (UNIF'13), 2013
Details Download

Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 295-310, September 2013. Springer
Details Download

Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid EL-Unification is NP-Complete
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, 29-40, July 2013
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL Towards General TBoxes
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 568-572, 2012. AAAI Press
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 30-44, 2012. Springer
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 37-47, 2012
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-unifiers is Hard
In Silvio Ghilardi and Lawrence Moss, eds., Proceedings of the 9-th International Conference on Advances in Modal Logic (AiML'12), 2012
Details Download

Franz Baader, Julian Mendez, Barbara Morawska
UEL: Unification Solver for the Description Logic EL – System Description
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 45-51, 2012. Springer
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
In Michael Thielscher and Dongmo Zhang, eds., Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12), volume 7691 of Lecture Notes in Artificial Intelligence, 493-504, 2012. Springer
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family
In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., Proceedings of the 26th International Workshop on Unification (UNIF'12), 2012
Details Download

Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, Barbara Morawska
UEL: Unification Solver for EL
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 26-36, 2012
Details Download

Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
In Nikolaj Bjørner and Andrei Voronkov, eds., Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12), volume 7180 of Lecture Notes in Computer Science, 138-152, 2012. Springer
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Computing Local Unifiers in the Description Logic EL without the Top Concept
In Franz Baader and Barbara Morawska and Jan Otop, eds., Proceedings of the 25th International Workshop on Unification (UNIF'11), 2-8, 2011
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 26-36, 2011
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, eds., Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, 70-84, 2011. Springer
Details Download

Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
In Christian G. Fermüller and Andrei Voronkov, eds., Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), 97-111, 2010. Springer
Details Download

Franz Baader, Barbara Morawska
Unification in the Description Logic EL
In Ralf Treinen, eds., Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, 350-364, 2009. Springer
Details Download

Technical Reports

Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-03, 2015. LTCS-Report
Details Download

Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-03, 2014. LTCS-Report
Details Download

Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-07, 2013. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-05, 2012. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-Unifiers is Hard
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-03, 2012. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-02, 2012. LTCS-Report
Details Download

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL Without the Top Concept
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 11-01, 2011. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-05, 2011. LTCS-Report
Details Download

Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-04, 2011. LTCS-Report
Details Download

Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-04, 2010. LTCS-Report
Details Download