Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Franz
    Last name: Baader
    DBLP: b/FBaader
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 237  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis.
    Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in
    Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Franz Baader, Stefan Borgwardt, Rafael Peñaloza.
    Decidability and Complexity of Fuzzy Description Logics.
    KI 2017, Volume 31 (0) 2017
    Conference paper
    Franz Baader, Oliver Fernandez Gil.
    Decidability and complexity of threshold description logics induced by concept similarity measures.
    Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 2017 (0) 2017
    Conference paper
    Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost.
    Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract).
    Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. 2017 (0) 2017
    Conference paper
    Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan.
    Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).
    Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. 2017 (0) 2017
    Conference paper
    Franz Baader, Daniel Borchmann, Adrian Nuradiansyah.
    Preliminary Results on the Identity Problem in Description Logic Ontologies.
    Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. 2017 (0) 2017
    Conference paper
    Franz Baader, Stefan Borgwardt, Marcel Lippmann.
    Query Rewriting for DL-Lite with n-ary Concrete Domains.
    Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 2017 (0) 2017
    Conference paper
    Franz Baader, Andreas Ecke.
    Reasoning with Prototypes in the Description Logic
    Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings 2016 (0) 2016
    Journal article
    Franz Baader, Meghyn Bienvenu, Carsten Lutz.
    Query and Predicate Emptiness in Ontology-Based Data Access.
    J. Artif. Intell. Res. (JAIR) 2016, Volume 56 (0) 2016
    Conference paper
    Franz Baader, Oliver Fernandez Gil.
    Extending the Description Logic with Acyclic TBoxes.
    ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) 2016 (0) 2016
    Conference paper
    Franz Baader, Stefan Borgwardt, Barbara Morawska.
    Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.
    Logical Methods in Computer Science 2016, Volume 12 (0) 2016
    Conference paper
    Franz Baader, Pavlos Marantidis, Alexander Okhotin.
    Approximate Unification in the Description Logic
    Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska.
    Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor.
    Notre Dame Journal of Formal Logic 2016, Volume 57 (0) 2016
    Conference paper
    Franz Baader, Stefan Borgwardt, Rafael Peñaloza.
    On the Decidability Status of Fuzzy ALC with General Concept Inclusions.
    J. Philosophical Logic 2015, Volume 44 (0) 2015
    Conference paper
    Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder.
    Formalizing biomedical concepts from textual definitions.
    J. Biomedical Semantics 2015, Volume 6 (0) 2015
    Conference paper
    Oliver Fernandez Gil, Franz Baader, Gerhard Brewka.
    Adding Threshold Concepts to the Description Logic EL.
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Conference paper
    Franz Baader, Stefan Borgwardt, Barbara Morawska.
    Dismatching and Local Disunification in EL (Extended Abstract).
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Conference paper
    Franz Baader, Stefan Borgwardt, Barbara Morawska.
    Dismatching and Local Disunification in EL.
    26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland 2015 (0) 2015
    Journal article
    Franz Baader, Stefan Borgwardt, Marcel Lippmann.
    Temporal query entailment in the Description Logic SHQ.
    J. Web Sem. 2015, Volume 33 (0) 2015
    Conference paper
    Franz Baader, Gerhard Brewka, Oliver Fernandez Gil.
    Adding Threshold Concepts to the Description Logic
    Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Franz Baader, Stefan Borgwardt, Marcel Lippmann.
    Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles.
    AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings 2015 (0) 2015
    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
    Show item 1 to 25 of 237  

    Your query returned 237 matches in the database.