default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranz Baader
Person information
- affiliation: Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j71]Franz Baader
, Oliver Fernández Gil:
Extending the description logic EL with threshold concepts induced by concept measures. Artif. Intell. 326: 104034 (2024)- [c228]Franz Baader, Oliver Fernández Gil:
Unification in ℰℒℋℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). Description Logics 2024 - [c227]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: 3-22 - [c226]Franz Baader, Jürgen Giesl:
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. FSCD 2024: 16:1-16:18 - [c225]Franz Baader, Oliver Fernández Gil:
Unification in the Description Logic ELHℛ+ Without the Top Concept Modulo Cycle-Restricted Ontologies. IJCAR (2) 2024: 279-297 - [c224]Franz Baader, Filippo De Bortoli:
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. SAC 2024: 754-761 - 2023
- [j70]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) - [c223]Franz Baader:
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). Description Logics 2023 - [c222]Franz Baader, Filippo De Bortoli:
On the Abstract Expressive Power of Description Logics with Concrete Domains. Description Logics 2023 - [c221]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics 2023 - [c220]Franz Baader, Patrick Koopmann, Francesco Kriegel:
Optimal Repairs in the Description Logic Eℒ Revisited. JELIA 2023: 11-34 - [c219]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR 2023: 54-69 - [c218]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. SAC 2023: 974-982 - [c217]Franz Baader:
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. SAC 2023: 983-990 - [d5]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. Version 1. Zenodo, 2023 [all versions]
- [d4]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. Version 2. Zenodo, 2023 [all versions] - [d3]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. Version 3. Zenodo, 2023 [all versions] - [i13]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR abs/2308.03705 (2023) - 2022
- [j69]Franz Baader, Deepak Kapur:
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. J. Autom. Reason. 66(3): 301-329 (2022) - [j68]Franz Baader, Jakub Rydval:
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. J. Autom. Reason. 66(3): 357-407 (2022) - [j67]Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. Theory Pract. Log. Program. 22(2): 162-192 (2022) - [c216]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: 271-280 - [c215]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 - [c214]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 - [c213]Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah:
Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes. ESWC 2022: 130-146 - [c212]Franz Baader, Francesco Kriegel:
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. KR 2022 - [c211]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Error-Tolerant Reasoning in the Description Logic Eℒ Based on Optimal Repairs. RuleML+RR 2022: 227-243 - [d2]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez:
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources. Zenodo, 2022 - [i12]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 abs/2205.09583 (2022) - 2021
- [c210]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE 2021: 291-308 - [c209]Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah:
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes. CADE 2021: 309-326 - [c208]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 - [c207]Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv:
Restricted Unification in the DL FL0 (Extended Abstract). Description Logics 2021 - [c206]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 - [c205]Franz Baader, Maryam Rostamigiv:
Restricted Unification in the DL EL. Description Logics 2021 - [c204]Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv:
Restricted Unification in the DL ℱ0. FroCoS 2021: 81-97 - [c203]Franz Baader, Jakub Rydval:
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. JELIA 2021: 194-209 - [c202]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Safety of quantified ABoxes w.r.t. singleton εL policies. SAC 2021: 863-872 - [i11]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 abs/2104.13138 (2021) - [i10]Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner. CoRR abs/2107.12877 (2021) - 2020
- [j66]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): 291-301 (2020) - [j65]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan:
Semantic Technologies for Situation Awareness. Künstliche Intell. 34(4): 543-550 (2020) - [j64]Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin:
Extensions of unification modulo ACUI. Math. Struct. Comput. Sci. 30(6): 597-626 (2020) - [j63]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21(4): 30:1-30:46 (2020) - [c201]Franz Baader, Deepak Kapur:
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. IJCAR (1) 2020: 163-180 - [c200]Franz Baader, Jakub Rydval:
Description Logics with Concrete Domains and General Concept Inclusions Revisited. IJCAR (1) 2020: 413-431 - [c199]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics 2020 - [c198]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 - [c197]Franz Baader, Filippo De Bortoli:
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). Description Logics 2020 - [c196]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 - [c195]Franz Baader, Jakub Rydval:
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). Description Logics 2020 - [c194]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI 2020: 616-623 - [c193]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR 2020: 32-67 - [c192]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. ISWC (1) 2020: 3-20 - [d1]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources. Zenodo, 2020 - [i9]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR abs/2002.06072 (2020) - [i8]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR abs/2004.08311 (2020)
2010 – 2019
- 2019
- [c191]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics 2019 - [c190]Franz Baader, Oliver Fernández Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics 2019 - [c189]Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm:
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. FroCos 2019: 167-184 - [c188]Franz Baader, Filippo De Bortoli:
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. FroCos 2019: 203-219 - [c187]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Privacy-Preserving Ontology Publishing for EL Instance Stores. JELIA 2019: 323-338 - [c186]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader:
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. JELIA 2019: 434-449 - [c185]Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou:
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO 2019 - [c184]Franz Baader, Adrian Nuradiansyah:
Mixing Description Logics in Privacy-Preserving Ontology Publishing. KI 2019: 87-100 - [c183]Franz Baader:
Expressive cardinality constraints on ALCSCC concepts. SAC 2019: 1123-1130 - 2018
- [j62]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): 243-259 (2018) - [c182]Franz Baader, Oliver Fernandez Gil, Maximilian Pensel:
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Description Logics 2018 - [c181]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics 2018 - [c180]Franz Baader, Adrian Nuradiansyah:
Towards Privacy-Preserving Ontology Publishing. Description Logics 2018 - [c179]Franz Baader, Oliver Fernandez Gil, Maximilian Pensel:
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. GCAI 2018: 1-14 - [c178]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Making Repairs in Description Logics More Gentle. KR 2018: 319-328 - [c177]Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes. LPAR 2018: 76-94 - [c176]Franz Baader, Brigitte Grau, Yue Ma:
HQA18 Workshop Chairs' Welcome & Organization. WWW (Companion Volume) 2018: 1043-1044 - [c175]Franz Baader, Stefan Borgwardt, Walter Forkel:
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) 2018: 1069-1074 - [c174]Franz Baader, Pavlos Marantidis, Maximilian Pensel:
The Data Complexity of Answering Instance Queries in FL0. WWW (Companion Volume) 2018: 1603-1607 - [i7]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Repairing Description Logic Ontologies by Weakening Axioms. CoRR abs/1808.00248 (2018) - 2017
- [b3]Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
An Introduction to Description Logic. Cambridge University Press 2017, ISBN 978-0-521-69542-8, pp. 1-255 - [j61]Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. 31(1): 85-90 (2017) - [c173]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics 2017 - [c172]Franz Baader, Daniel Borchmann, Adrian Nuradiansyah:
Preliminary Results on the Identity Problem in Description Logic Ontologies. Description Logics 2017 - [c171]Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics 2017 - [c170]Franz Baader:
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. FroCoS 2017: 43-59 - [c169]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS 2017: 60-76 - [c168]Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data. FroCoS 2017: 77-94 - [c167]Franz Baader, Andreas Ecke:
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. GCAI 2017: 6-19 - [c166]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI 2017: 786-792 - [c165]Franz Baader, Daniel Borchmann, Adrian Nuradiansyah:
The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding. JIST 2017: 102-117 - [c164]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 FL_0. LATA 2017: 3-26 - [c163]Franz Baader, Oliver Fernandez Gil:
Decidability and complexity of threshold description logics induced by concept similarity measures. SAC 2017: 983-988 - 2016
- [j60]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) - [j59]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56: 1-59 (2016) - [j58]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): 443-476 (2016) - [c162]Franz Baader, Oliver Fernandez Gil:
Extending the Description Logic with Acyclic TBoxes. ECAI 2016: 1096-1104 - [c161]Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximate Unification in the Description Logic FL_0. JELIA 2016: 49-63 - [c160]Franz Baader, Andreas Ecke:
Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. LATA 2016: 63-75 - [c159]Franz Baader, Pierre Ludmann:
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. UNIF 2016: 31-36 - [c158]Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximately Solving Set Equations. UNIF 2016: 37-43 - 2015
- [j57]Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder:
Formalizing biomedical concepts from textual definitions. J. Biomed. Semant. 6: 22 (2015) - [j56]Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. 44(2): 117-146 (2015) - [j55]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporal query entailment in the Description Logic SHQ. J. Web Semant. 33: 71-93 (2015) - [c157]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence 2015: 21-33 - [c156]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL (Extended Abstract). Description Logics 2015 - [c155]Oliver Fernandez Gil, Franz Baader, Gerhard Brewka:
Adding Threshold Concepts to the Description Logic EL. Description Logics 2015 - [c154]Franz Baader, Gerhard Brewka, Oliver Fernandez Gil:
Adding Threshold Concepts to the Description Logic EL. FroCos 2015: 33-48 - [c153]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL. RTA 2015: 40-56 - 2014
- [j54]Franz Baader, Marcel Lippmann:
Runtime verification using the temporal description logic ALC-LTL revisited. J. Appl. Log. 12(4): 584-613 (2014) - [c152]Franz Baader, Barbara Morawska:
Matching with Respect to General Concept Inclusions in the Description Logic EL. Description Logics 2014: 33-44 - [c151]Franz Baader, Barbara Morawska:
Matching with Respect to General Concept Inclusions in the Description Logic EL. KI 2014: 135-146 - [c150]Franz Baader:
Ontology-Based Monitoring of Dynamic Systems. KR 2014 - [c149]Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith:
Invited Talks. KR 2014 - [c148]Franz Baader, Barbara Morawska:
Matching with respect to general concept inclusions in the Description Logic EL. UNIF 2014: 22-25 - 2013
- [j53]Franz Baader, Alexander Okhotin:
On Language Equations with One-sided Concatenation. Fundam. Informaticae 126(1): 1-35 (2013) - [c147]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporalizing Ontology-Based Data Access. CADE 2013: 330-344 - [c146]Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid EL-Unification is NP-complete. Description Logics 2013: 29-40 - [c145]Franz Baader, Benjamin Zarrieß:
Verification of Golog Programs over Description Logic Actions. FroCos 2013: 181-196 - [c144]