Publications

# Publications :: Search

## Show author

 Select a publication Show Title Venue Rating Date Conference paper Franz Baader, Barbara Morawska. Matching with Respect to General Concept Inclusions in the Description Logic EL. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 2014 (0) 2014 Conference paper Franz Baader. Ontology-Based Monitoring of Dynamic Systems. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 2014 (0) 2014 Conference paper Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith. Invited Talks. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 2014 (0) 2014 Conference paper Franz Baader, Barbara Morawska. Matching with Respect to General Concept Inclusions in the Description Logic KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings 2014 (0) 2014 Conference paper Franz Baader, Stefan Borgwardt, Marcel Lippmann. Temporalizing Ontology-Based Data Access. Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013 Conference paper Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid EL-Unification is NP-complete. Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013 Conference paper Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid Unification in the Description Logic. Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013 Conference paper Franz Baader, Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013 Journal article Franz Baader, Alexander Okhotin. On Language Equations with One-sided Concatenation. Fundam. Inform. 2013, Volume 126 (0) 2013 Conference paper Franz Baader, Oliver Fernandez Gil, Barbara Morawska. Hybrid Unification in the Description Logic EL. 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013 Conference paper George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder. Learning Formal Definitions for Biomedical Concepts. Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. 2013 (0) 2013 Conference paper Franz Baader, Alexander Okhotin. Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska. UEL: Unification Solver for EL. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012 Conference paper Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski. Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012 Journal article Franz Baader, Martin Knechtel, Rafael Peñaloza. Context-dependent views to axioms and consequences of Semantic Web ontologies. J. Web Sem. 2012, Volume 12 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies. Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Julian Mendez, Barbara Morawska. UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description. Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Wolfgang Thomas. Editorial. Informatik Spektrum 2012, Volume 35 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. Extending Unification in EL Towards General TBoxes. Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012 (0) 2012 Conference paper Franz Baader, Silvio Ghilardi, Carsten Lutz. LTL over description logic axioms. ACM Trans. Comput. Log. 2012, Volume 13 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies. AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings 2012 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. Computing Minimal EL-unifiers is Hard. Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012 2012 (0) 2012 Conference paper Franz Baader, Stefan Borgwardt, Barbara Morawska. Recent Advances in Unification for the EL Family. UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 2014 (0) 2012 Journal article Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter. Fusions of Description Logics and Abstract Description Systems CoRR 2011, Volume 0 (0) 2011