Franz Baader

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 92

Top Venues

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Franz Baader, Oliver Fernández Gil
without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). Description Logics (2024)
Franz Baader, Oliver Fernández Gil
Extending the description logic EL with threshold concepts induced by concept measures. Artif. Intell. 326 (2024)
Franz Baader, Filippo De Bortoli
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. SAC (2024)
Franz Baader, Oliver Fernández Gil
Without the Top Concept Modulo Cycle-Restricted Ontologies. IJCAR (2) (2024)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. FoIKS (2024)
Franz Baader, Jürgen Giesl
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. FSCD (2024)
Franz Baader, Patrick Koopmann, Francesco Kriegel
ℒ Revisited. JELIA (2023)
Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains. Description Logics (2023)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. SAC (2023)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR (2023)
Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum 42 (6) (2023)
Franz Baader
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. SAC (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR (2023)
Franz Baader
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). Description Logics (2023)
Franz Baader, Jakub Rydval
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. J. Autom. Reason. 66 (3) (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR (2022)
Franz Baader, Francesco Kriegel
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. KR (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
wer Reasoner. Theory Pract. Log. Program. 22 (2) (2022)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
ℒ Based on Optimal Repairs. RuleML+RR (2022)
Franz Baader, Deepak Kapur
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. J. Autom. Reason. 66 (3) (2022)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
TBoxes: From Quantified ABoxes Back to ABoxes. ESWC (2022)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Description Logics (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics (2022)
Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
Restricted Unification in the DL FL0 (Extended Abstract). Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics (2021)
Franz Baader, Jakub Rydval
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. JELIA (2021)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner. CoRR (2021)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
policies. SAC (2021)
Franz Baader, Maryam Rostamigiv
Restricted Unification in the DL EL. Description Logics (2021)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE (2021)
Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
. FroCoS (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR (2021)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
TBoxes. CADE (2021)
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics (2020)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21 (4) (2020)
Franz Baader, Jakub Rydval
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). Description Logics (2020)
Franz Baader, Filippo De Bortoli
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). Description Logics (2020)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Policies. ISWC (1) (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR (2020)
Franz Baader, Patrick Koopmann, Cesare Tinelli
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. Description Logics (2020)
Franz Baader, Jakub Rydval
Description Logics with Concrete Domains and General Concept Inclusions Revisited. IJCAR (1) (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics (2020)
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI (2020)
Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin
Extensions of unification modulo ACUI. Math. Struct. Comput. Sci. 30 (6) (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR (2020)
Franz Baader, Clément Théron
Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard. Künstliche Intell. 34 (3) (2020)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
Semantic Technologies for Situation Awareness. Künstliche Intell. 34 (4) (2020)
Franz Baader, Deepak Kapur
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. IJCAR (1) (2020)
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR (2020)
Franz Baader, Filippo De Bortoli
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. FroCos (2019)
Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO (2019)
Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics (2019)
Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader
^\mathsf ME Under the Principle of Maximum Entropy. JELIA (2019)
Franz Baader, Adrian Nuradiansyah
Mixing Description Logics in Privacy-Preserving Ontology Publishing. KI (2019)
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics (2019)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Instance Stores. JELIA (2019)
Franz Baader
concepts. SAC (2019)
Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
^\mathsf ME. FroCos (2019)
Franz Baader, Stefan Borgwardt, Walter Forkel
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) (2018)
Franz Baader, Brigitte Grau, Yue Ma
HQA18 Workshop Chairs' Welcome & Organization. WWW (Companion Volume) (2018)
Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
Matching in the Description Logic FL0 with respect to General TBoxes. LPAR (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Repairing Description Logic Ontologies by Weakening Axioms. CoRR (2018)
Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4 (3) (2018)
Franz Baader, Pavlos Marantidis, Maximilian Pensel
. WWW (Companion Volume) (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics (2018)
Franz Baader, Adrian Nuradiansyah
Towards Privacy-Preserving Ontology Publishing. Description Logics (2018)
Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. GCAI (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Making Repairs in Description Logics More Gentle. KR (2018)
Franz Baader, Oliver Fernandez Gil, Maximilian Pensel
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Description Logics (2018)
Franz Baader, Andreas Ecke
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. GCAI (2017)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI (2017)
Franz Baader, Daniel Borchmann, Adrian Nuradiansyah
The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding. JIST (2017)
Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
Using Ontologies to Query Probabilistic Numerical Data. FroCoS (2017)
Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis
_0. LATA (2017)
Franz Baader, Oliver Fernandez Gil
Decidability and complexity of threshold description logics induced by concept similarity measures. SAC (2017)
Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS (2017)
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. 31 (1) (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics (2017)
Franz Baader
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. FroCoS (2017)
Franz Baader, Daniel Borchmann, Adrian Nuradiansyah
Preliminary Results on the Identity Problem in Description Logic Ontologies. Description Logics (2017)
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56 (2016)
Franz Baader, Andreas Ecke
ALC Using Weighted Tree Automata. LATA (2016)
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. 57 (4) (2016)
Franz Baader, Oliver Fernandez Gil
Extending the Description Logic with Acyclic TBoxes. ECAI (2016)
Franz Baader, Pierre Ludmann
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. UNIF (2016)
Franz Baader, Pavlos Marantidis, Alexander Okhotin
Approximately Solving Set Equations. UNIF (2016)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Log. Methods Comput. Sci. 12 (4) (2016)
Franz Baader, Pavlos Marantidis, Alexander Okhotin
_0. JELIA (2016)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal query entailment in the Description Logic SHQ. J. Web Semant. 33 (2015)
Franz Baader, Gerhard Brewka, Oliver Fernandez Gil
. FroCos (2015)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL. RTA (2015)
Oliver Fernandez Gil, Franz Baader, Gerhard Brewka
Adding Threshold Concepts to the Description Logic EL. Description Logics (2015)
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL (Extended Abstract). Description Logics (2015)
Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder
Formalizing biomedical concepts from textual definitions. J. Biomed. Semant. 6 (2015)
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. 44 (2) (2015)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence (2015)

Franz Baader.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Franz Baader