An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers.

Franz Baader Dresden University of Technology, Germany Herbrand Award http://lat.inf.tu-dresden.de/~baader/ https://scholar.google.com/citations?user=dIVc_FYAAAAJ https://dl.acm.org/profile/81508686184 https://zbmath.org/authors/?q=ai:baader.franz https://mathscinet.ams.org/mathscinet/MRAuthorID/231569 https://mathgenealogy.org/id.php?id=65090 https://en.wikipedia.org/wiki/Franz_Baader https://orcid.org/0000-0002-4049-221X https://www.wikidata.org/entity/Q92729 https://www.researcherid.com/rid/Q-6099-2016 http://isni.org/isni/0000000114414448 https://viaf.org/viaf/34634110 https://id.loc.gov/authorities/names/n96080351 https://d-nb.info/gnd/131845098 conf/birthday/2019baader Franz Baader An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers. FoIKS 2026 283-303 conf/foiks/2026 https://doi.org/10.1007/978-3-032-21540-6_17 db/conf/foiks/foiks2026.html#Baader26 streams/conf/foiks

Franz Baader Oliver Fernández Gil The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories. 2026 January abs/2601.08710 CoRR https://doi.org/10.48550/arXiv.2601.08710 db/journals/corr/corr2601.html#abs-2601-08710 streams/journals/corr

Franz Baader Jürgen Giesl Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. 2025 21 Log. Methods Comput. Sci. 4 https://doi.org/10.46298/lmcs-21(4:8)2025 db/journals/lmcs/lmcs21.html#BaaderG25 streams/journals/lmcs

Franz Baader Stefan Borgwardt Filippo De Bortoli Patrick Koopmann Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. 676-695 2025 CADE https://doi.org/10.1007/978-3-031-99984-0_35 conf/cade/2025 db/conf/cade/cade2025.html#BaaderBBK25 streams/conf/cade Christian Alrabbaa Franz Baader Raimund Dachselt Alisa Kovtunova Julián Méndez 0001 The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract). 2025 DL https://ceur-ws.org/Vol-4091/paper18.pdf conf/dlog/2025 db/conf/dlog/dlog2025.html#AlrabbaaBDKM25 streams/conf/dlog Franz Baader Stefan Borgwardt Filippo De Bortoli Patrick Koopmann Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract). 2025 DL https://ceur-ws.org/Vol-4091/paper20.pdf conf/dlog/2025 db/conf/dlog/dlog2025.html#BaaderBBK25 streams/conf/dlog Franz Baader Anton Claußnitzer Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract). 2025 DL https://ceur-ws.org/Vol-4091/paper24.pdf conf/dlog/2025 db/conf/dlog/dlog2025.html#BaaderC25 streams/conf/dlog Franz Baader Renata Wassermann Gärdenfors's Supplementary Postulates for Partial Product Contractions. 269-284 2025 ECSQARU https://doi.org/10.1007/978-3-032-05134-9_19 conf/ecsqaru/2025 db/conf/ecsqaru/ecsqaru2025.html#BaaderW25 streams/conf/ecsqaru Franz Baader Anton Claußnitzer Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count. 2025 FLAIRS https://doi.org/10.32473/flairs.38.1.138854 conf/flairs/2025 db/conf/flairs/flairs2025.html#BaaderC25 Christian Alrabbaa Franz Baader Raimund Dachselt Alisa Kovtunova Julián Méndez 0001 The Concrete Evonne: Visualization Meets Concrete Domain Reasoning. 3-21 2025 FroCoS https://doi.org/10.1007/978-3-032-04167-8_1 conf/frocos/2025 db/conf/frocos/frocos2025.html#AlrabbaaBDKM25 streams/conf/frocos Franz Baader Filippo De Bortoli The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models. 22-39 2025 FroCoS https://doi.org/10.1007/978-3-032-04167-8_2 conf/frocos/2025 db/conf/frocos/frocos2025.html#BaaderB25 streams/conf/frocos Franz Baader Oliver Fernández Gil The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. 8:1-8:24 2025 FSCD https://doi.org/10.4230/LIPIcs.FSCD.2025.8 conf/fscd/2025 db/conf/fscd/fscd2025.html#BaaderG25 Franz Baader Renata Wassermann Contractions Based on Optimal Repairs (Extended Abstract). 10852-10857 2025 IJCAI https://doi.org/10.24963/ijcai.2025/1204 conf/ijcai/2025 db/conf/ijcai/ijcai2025.html#BaaderW25

Franz Baader Stefan Borgwardt Filippo De Bortoli Patrick Koopmann Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). 2025 May abs/2505.21103 CoRR https://doi.org/10.48550/arXiv.2505.21103 db/journals/corr/corr2505.html#abs-2505-21103 streams/journals/corr

Franz Baader Oliver Fernández Gil Extending the description logic EL with threshold concepts induced by concept measures. 104034 2024 January 326 Artif. Intell. https://doi.org/10.1016/j.artint.2023.104034 db/journals/ai/ai326.html#BaaderG24

Franz Baader Oliver Fernández Gil Unification in ℰℒℋℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). 2024 Description Logics https://ceur-ws.org/Vol-3739/abstract-5.pdf conf/dlog/2024 db/conf/dlog/dlog2024.html#BaaderG24 Franz Baader Francesco Kriegel Adrian Nuradiansyah Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. 3-22 2024 FoIKS https://doi.org/10.1007/978-3-031-56940-1_1 conf/foiks/2024 db/conf/foiks/foiks2024.html#BaaderKN24 Franz Baader Jürgen Giesl On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. 16:1-16:18 2024 FSCD https://doi.org/10.4230/LIPIcs.FSCD.2024.16 conf/fscd/2024 db/conf/fscd/fscd2024.html#BaaderG24 Franz Baader Oliver Fernández Gil Unification in the Description Logic ELHℛ+ Without the Top Concept Modulo Cycle-Restricted Ontologies. 279-297 2024 IJCAR (2) https://doi.org/10.1007/978-3-031-63501-4_15 conf/ijcar/2024-2 db/conf/ijcar/ijcar2024-2.html#BaaderG24 streams/conf/ijcar Franz Baader Renata Wassermann Contractions Based on Optimal Repairs. 2024 KR https://doi.org/10.24963/kr.2024/9 conf/kr/2024 db/conf/kr/kr2024.html#BaaderW24 Franz Baader Filippo De Bortoli The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. 754-761 2024 SAC https://doi.org/10.1145/3605098.3635984 https://www.wikidata.org/entity/Q130838813 conf/sac/2024 db/conf/sac/sac2024.html#BaaderB24

Franz Baader Jürgen Giesl Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. 2024 abs/2412.06047 CoRR https://doi.org/10.48550/arXiv.2412.06047 db/journals/corr/corr2412.html#abs-2412-06047 streams/journals/corr

Julián Méndez 0001 Christian Alrabbaa Patrick Koopmann Ricardo Langner Franz Baader Raimund Dachselt Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. 2023 September 42 Comput. Graph. Forum 6 https://doi.org/10.1111/cgf.14730 db/journals/cgf/cgf42.html#MendezAKLBD23

Franz Baader Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). 2023 Description Logics https://ceur-ws.org/Vol-3515/abstract-5.pdf conf/dlog/2023 db/conf/dlog/dlog2023.html#Baader23 Franz Baader Filippo De Bortoli On the Abstract Expressive Power of Description Logics with Concrete Domains. 2023 Description Logics https://ceur-ws.org/Vol-3515/paper-3.pdf conf/dlog/2023 db/conf/dlog/dlog2023.html#BaaderB23 Franz Baader Francesco Kriegel Adrian Nuradiansyah Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). 2023 Description Logics https://ceur-ws.org/Vol-3515/abstract-6.pdf conf/dlog/2023 db/conf/dlog/dlog2023.html#BaaderKN23 Franz Baader Patrick Koopmann Francesco Kriegel Optimal Repairs in the Description Logic Eℒ Revisited. 11-34 2023 JELIA https://doi.org/10.1007/978-3-031-43619-2_2 conf/jelia/2023 db/conf/jelia/jelia2023.html#BaaderKK23 Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Combining Proofs for Description Logic and Concrete Domain Reasoning. 54-69 2023 RuleML+RR https://doi.org/10.1007/978-3-031-45072-3_4 conf/rulemlrr/2023 db/conf/rulemlrr/rulemlrr2023.html#AlrabbaaBBKK23 Franz Baader Francesco Kriegel Adrian Nuradiansyah Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. 974-982 2023 SAC https://doi.org/10.1145/3555776.3577630 https://www.wikidata.org/entity/Q130951164 conf/sac/2023 db/conf/sac/sac2023.html#BaaderKN23 Franz Baader Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. 983-990 2023 SAC https://doi.org/10.1145/3555776.3577719 conf/sac/2023 db/conf/sac/sac2023.html#Baader23 Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. 2023 August https://doi.org/10.5281/zenodo.8208781 Zenodo streams/repo/zenodo data/10/AlrabbaaBBKK23c Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. 2023 August https://doi.org/10.5281/zenodo.8214331 Zenodo streams/repo/zenodo data/10/AlrabbaaBBKK23c Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. 2023 August https://doi.org/10.5281/zenodo.8214503 Zenodo streams/repo/zenodo data/10/AlrabbaaBBKK23c

Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). 2023 abs/2308.03705 CoRR https://doi.org/10.48550/arXiv.2308.03705 db/journals/corr/corr2308.html#abs-2308-03705

Franz Baader Deepak Kapur Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. 301-329 2022 66 J. Autom. Reason. 3 https://doi.org/10.1007/s10817-022-09624-4 db/journals/jar/jar66.html#BaaderK22

Franz Baader Jakub Rydval Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. 357-407 2022 66 J. Autom. Reason. 3 https://doi.org/10.1007/s10817-022-09626-2 db/journals/jar/jar66.html#BaaderR22

Franz Baader Patrick Koopmann Friedrich Michel Anni-Yasmin Turhan Benjamin Zarrieß Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. 162-192 2022 22 Theory Pract. Log. Program. 2 https://doi.org/10.1017/S1471068421000466 db/journals/tplp/tplp22.html#BaaderKMTZ22

Christian Alrabbaa Franz Baader Stefan Borgwardt Raimund Dachselt Patrick Koopmann Julián Méndez 0001 Evonne: Interactive Proof Visualization for Description Logics (System Description). 271-280 2022 IJCAR https://doi.org/10.1007/978-3-031-10769-6_16 conf/cade/2022 db/conf/cade/ijcar2022.html#AlrabbaaBBDKM22 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). 2022 Description Logics https://ceur-ws.org/Vol-3263/abstract-2.pdf conf/dlog/2022 db/conf/dlog/dlog2022.html#BaaderKKN22 Franz Baader Patrick Koopmann Friedrich Michel Anni-Yasmin Turhan Benjamin Zarrieß Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). 2022 Description Logics https://ceur-ws.org/Vol-3263/abstract-1.pdf conf/dlog/2022 db/conf/dlog/dlog2022.html#BaaderKMTZ22 Franz Baader Patrick Koopmann Francesco Kriegel Adrian Nuradiansyah Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes. 130-146 2022 ESWC https://doi.org/10.1007/978-3-031-06981-9_8 conf/esws/2022 db/conf/esws/eswc2022.html#BaaderKKN22 Franz Baader Francesco Kriegel Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. 2022 KR https://proceedings.kr.org/2022/3/ conf/kr/2022 db/conf/kr/kr2022.html#BaaderK22 Franz Baader Francesco Kriegel Adrian Nuradiansyah Error-Tolerant Reasoning in the Description Logic Eℒ Based on Optimal Repairs. 227-243 2022 RuleML+RR https://doi.org/10.1007/978-3-031-21541-4_15 conf/ruleml/2022 db/conf/ruleml/ruleml2022.html#BaaderKN22 Christian Alrabbaa Franz Baader Stefan Borgwardt Raimund Dachselt Patrick Koopmann Julián Méndez 0001 Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources. 2022 May https://doi.org/10.5281/zenodo.6560603 Zenodo streams/repo/zenodo

Christian Alrabbaa Franz Baader Stefan Borgwardt Raimund Dachselt Patrick Koopmann Julián Méndez 0001 Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. 2022 abs/2205.09583 CoRR https://doi.org/10.48550/arXiv.2205.09583 db/journals/corr/corr2205.html#abs-2205-09583

Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. 291-308 2021 CADE https://doi.org/10.1007/978-3-030-79876-5_17 conf/cade/2021 db/conf/cade/cade2021.html#AlrabbaaBBKK21 Franz Baader Patrick Koopmann Francesco Kriegel Adrian Nuradiansyah Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes. 309-326 2021 CADE https://doi.org/10.1007/978-3-030-79876-5_18 conf/cade/2021 db/conf/cade/cade2021.html#BaaderKKN21 Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). 2021 Description Logics https://ceur-ws.org/Vol-2954/abstract-2.pdf conf/dlog/2021 db/conf/dlog/dlog2021.html#AlrabbaaBBKK21 Franz Baader Oliver Fernández Gil Maryam Rostamigiv Restricted Unification in the DL FL0 (Extended Abstract). 2021 Description Logics https://ceur-ws.org/Vol-2954/abstract-3.pdf conf/dlog/2021 db/conf/dlog/dlog2021.html#BaaderGR21 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. 2021 Description Logics https://ceur-ws.org/Vol-2954/paper-3.pdf conf/dlog/2021 db/conf/dlog/dlog2021.html#BaaderKKNP21 Franz Baader Maryam Rostamigiv Restricted Unification in the DL EL. 2021 Description Logics https://ceur-ws.org/Vol-2954/paper-4.pdf conf/dlog/2021 db/conf/dlog/dlog2021.html#BaaderR21 Franz Baader Oliver Fernández Gil Maryam Rostamigiv Restricted Unification in the DL ℱ0. 81-97 2021 FroCoS https://doi.org/10.1007/978-3-030-86205-3_5 conf/frocos/2021 db/conf/frocos/frocos2021.html#BaaderGR21 Franz Baader Jakub Rydval An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. 194-209 2021 JELIA https://doi.org/10.1007/978-3-030-75775-5_14 conf/jelia/2021 db/conf/jelia/jelia2021.html#BaaderR21 Franz Baader Francesco Kriegel Adrian Nuradiansyah Rafael Peñaloza Safety of quantified ABoxes w.r.t. singleton εL policies. 863-872 2021 SAC https://doi.org/10.1145/3412841.3441961 conf/sac/2021 db/conf/sac/sac2021.html#BaaderKNP21

Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). 2021 abs/2104.13138 CoRR https://arxiv.org/abs/2104.13138 db/journals/corr/corr2104.html#abs-2104-13138

Franz Baader Patrick Koopmann Friedrich Michel Anni-Yasmin Turhan Benjamin Zarrieß Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner. 2021 abs/2107.12877 CoRR https://arxiv.org/abs/2107.12877 db/journals/corr/corr2107.html#abs-2107-12877

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. 291-301 2020 34 Künstliche Intell. 3 https://doi.org/10.1007/s13218-020-00651-0 db/journals/ki/ki34.html#BaaderT20

Franz Baader Stefan Borgwardt Patrick Koopmann Veronika Thost Anni-Yasmin Turhan Semantic Technologies for Situation Awareness. 543-550 2020 34 Künstliche Intell. 4 https://doi.org/10.1007/s13218-020-00694-3 db/journals/ki/ki34.html#BaaderBKTT20

Franz Baader Pavlos Marantidis Antoine Mottet Alexander Okhotin Extensions of unification modulo ACUI. 597-626 2020 30 Math. Struct. Comput. Sci. 6 https://doi.org/10.1017/S0960129519000185 db/journals/mscs/mscs30.html#BaaderMMO20

Franz Baader Stefan Borgwardt Patrick Koopmann Ana Ozaki Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names. 30:1-30:46 2020 21 ACM Trans. Comput. Log. 4 https://doi.org/10.1145/3399443 https://www.wikidata.org/entity/Q130850201 db/journals/tocl/tocl21.html#BaaderBKOT20

Franz Baader Deepak Kapur Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. 163-180 2020 IJCAR (1) https://doi.org/10.1007/978-3-030-51074-9_10 conf/cade/2020-1 db/conf/cade/ijcar2020-1.html#BaaderK20 Franz Baader Jakub Rydval Description Logics with Concrete Domains and General Concept Inclusions Revisited. 413-431 2020 IJCAR (1) https://doi.org/10.1007/978-3-030-51074-9_24 conf/cade/2020-1 db/conf/cade/ijcar2020-1.html#BaaderR20 Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova On the Complexity of Finding Good Proofs for Description Logic Entailments. 2020 Description Logics https://ceur-ws.org/Vol-2663/paper-1.pdf conf/dlog/2020 db/conf/dlog/dlog2020.html#AlrabbaaBBKK20 Christian Alrabbaa Franz Baader Raimund Dachselt Tamara Flemisch Patrick Koopmann Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. 2020 Description Logics https://ceur-ws.org/Vol-2663/paper-2.pdf conf/dlog/2020 db/conf/dlog/dlog2020.html#AlrabbaaBDFK20 Franz Baader Filippo De Bortoli Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). 2020 Description Logics https://ceur-ws.org/Vol-2663/abstract-2.pdf conf/dlog/2020 db/conf/dlog/dlog2020.html#BaaderB20 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. 2020 Description Logics https://ceur-ws.org/Vol-2663/paper-5.pdf conf/dlog/2020 db/conf/dlog/dlog2020.html#BaaderKT20 Franz Baader Jakub Rydval Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). 2020 Description Logics https://ceur-ws.org/Vol-2663/abstract-3.pdf conf/dlog/2020 db/conf/dlog/dlog2020.html#BaaderR20 Franz Baader Bartosz Bednarczyk Sebastian Rudolph Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. 616-623 2020 ECAI https://doi.org/10.3233/FAIA200146 conf/ecai/2020 db/conf/ecai/ecai2020.html#BaaderBR20 Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Finding Small Proofs for Description Logic Entailments: Theory and Practice. 32-67 2020 LPAR https://doi.org/10.29007/nhpp conf/lpar/2020 db/conf/lpar/lpar2020.html#AlrabbaaBBKK20 Franz Baader Francesco Kriegel Adrian Nuradiansyah Rafael Peñaloza Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. 3-20 2020 ISWC (1) https://doi.org/10.1007/978-3-030-62419-4_1 https://www.wikidata.org/entity/Q101086600 conf/semweb/2020-1 db/conf/semweb/iswc2020-1.html#BaaderKNP20 Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources. 2020 May https://doi.org/10.5281/zenodo.8070710 Zenodo streams/repo/zenodo

Franz Baader Bartosz Bednarczyk Sebastian Rudolph Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. 2020 abs/2002.06072 CoRR https://arxiv.org/abs/2002.06072 db/journals/corr/corr2002.html#abs-2002-06072

Christian Alrabbaa Franz Baader Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). 2020 abs/2004.08311 CoRR https://arxiv.org/abs/2004.08311 db/journals/corr/corr2004.html#abs-2004-08311

Franz Baader Bartosz Bednarczyk Sebastian Rudolph Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. 2019 Description Logics https://ceur-ws.org/Vol-2373/paper-3.pdf conf/dlog/2019 db/conf/dlog/dlog2019.html#BaaderBR19 Franz Baader Oliver Fernández Gil Pavlos Marantidis Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). 2019 Description Logics https://ceur-ws.org/Vol-2373/paper-32.pdf conf/dlog/2019 db/conf/dlog/dlog2019.html#BaaderGM19 Franz Baader Andreas Ecke Gabriele Kern-Isberner Marco Wilhelm The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. 167-184 2019 FroCos https://doi.org/10.1007/978-3-030-29007-8_10 conf/frocos/2019 db/conf/frocos/frocos2019.html#BaaderEKW19 Franz Baader Filippo De Bortoli On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. 203-219 2019 FroCos https://doi.org/10.1007/978-3-030-29007-8_12 conf/frocos/2019 db/conf/frocos/frocos2019.html#BaaderB19 Franz Baader Francesco Kriegel Adrian Nuradiansyah Privacy-Preserving Ontology Publishing for EL Instance Stores. 323-338 2019 JELIA https://doi.org/10.1007/978-3-030-19570-0_21 conf/jelia/2019 db/conf/jelia/jelia2019.html#BaaderKN19 Marco Wilhelm Gabriele Kern-Isberner Andreas Ecke Franz Baader Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. 434-449 2019 JELIA https://doi.org/10.1007/978-3-030-19570-0_28 conf/jelia/2019 db/conf/jelia/jelia2019.html#WilhelmKEB19 Chao Xu Walter Forkel Stefan Borgwardt Franz Baader Beihai Zhou Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. 2019 JOWO https://ceur-ws.org/Vol-2518/paper-ODLS13.pdf conf/jowo/2019 db/conf/jowo/jowo2019.html#XuFBBZ19 Franz Baader Adrian Nuradiansyah Mixing Description Logics in Privacy-Preserving Ontology Publishing. 87-100 2019 KI https://doi.org/10.1007/978-3-030-30179-8_7 conf/ki/2019 db/conf/ki/ki2019.html#BaaderN19 Franz Baader Expressive cardinality constraints on ALCSCC concepts. 1123-1130 2019 SAC https://doi.org/10.1145/3297280.3297390 conf/sac/2019 db/conf/sac/sac2019.html#Baader19

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 0001 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. 243-259 2018 4 IEEE Trans. Multi Scale Comput. Syst. 3 https://doi.org/10.1109/TMSCS.2017.2771750 http://doi.ieeecomputersociety.org/10.1109/TMSCS.2017.2771750 https://www.wikidata.org/entity/Q58200600 db/journals/tmscs/tmscs4.html#CastrillonLKVAA18

Franz Baader Oliver Fernandez Gil Maximilian Pensel Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. 2018 Description Logics https://ceur-ws.org/Vol-2211/paper-38.pdf conf/dlog/2018 db/conf/dlog/dlog2018.html#BaaderGP18 Franz Baader Francesco Kriegel Adrian Nuradiansyah Rafael Peñaloza Making Repairs in Description Logics More Gentle (Extended Abstract). 2018 Description Logics https://ceur-ws.org/Vol-2211/paper-39.pdf conf/dlog/2018 db/conf/dlog/dlog2018.html#BaaderKNP18 Franz Baader Adrian Nuradiansyah Towards Privacy-Preserving Ontology Publishing. 2018 Description Logics https://ceur-ws.org/Vol-2211/paper-07.pdf conf/dlog/2018 db/conf/dlog/dlog2018.html#BaaderN18 Franz Baader Oliver Fernandez Gil Maximilian Pensel Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. 1-14 2018 GCAI https://doi.org/10.29007/scbw conf/gcai/2018 db/conf/gcai/gcai2018.html#BaaderGP18 Franz Baader Francesco Kriegel Adrian Nuradiansyah Rafael Peñaloza Making Repairs in Description Logics More Gentle. 319-328 2018 KR https://aaai.org/papers/36-18056-making-repairs-in-description-logics-more-gentle/ conf/kr/2018 db/conf/kr/kr2018.html#BaaderKNP18 Franz Baader Oliver Fernandez Gil Pavlos Marantidis Matching in the Description Logic FL0 with respect to General TBoxes. 76-94 2018 LPAR https://doi.org/10.29007/q74p conf/lpar/2018 db/conf/lpar/lpar2018.html#BaaderGM18 Franz Baader Brigitte Grau Yue Ma 0009 HQA18 Workshop Chairs' Welcome & Organization. 1043-1044 2018 WWW (Companion Volume) https://doi.org/10.1145/3184558.3192302 conf/www/2018c db/conf/www/www2018c.html#BaaderGM18 Franz Baader Stefan Borgwardt Walter Forkel Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. 1069-1074 2018 WWW (Companion Volume) https://doi.org/10.1145/3184558.3191538 conf/www/2018c db/conf/www/www2018c.html#BaaderBF18 Franz Baader Pavlos Marantidis Maximilian Pensel The Data Complexity of Answering Instance Queries in FL0. 1603-1607 2018 WWW (Companion Volume) https://doi.org/10.1145/3184558.3191618 conf/www/2018c db/conf/www/www2018c.html#BaaderMP18

Franz Baader Francesco Kriegel Adrian Nuradiansyah Rafael Peñaloza Repairing Description Logic Ontologies by Weakening Axioms. 2018 abs/1808.00248 CoRR http://arxiv.org/abs/1808.00248 db/journals/corr/corr1808.html#abs-1808-00248

Franz Baader Ian Horrocks 0001 Carsten Lutz Ulrike Sattler An Introduction to Description Logic. 1-255 Cambridge University Press 2017 978-0-521-69542-8 http://www.cambridge.org/de/academic/subjects/computer-science/knowledge-management-databases-and-data-mining/introduction-description-logic?format=PB#17zVGeWD2TZUeu6s.97

Franz Baader Stefan Borgwardt Rafael Peñaloza Decidability and Complexity of Fuzzy Description Logics. 85-90 2017 31 Künstliche Intell. 1 https://doi.org/10.1007/s13218-016-0459-3 db/journals/ki/ki31.html#BaaderBP17

Franz Baader Stefan Borgwardt Patrick Koopmann Ana Ozaki Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). 2017 Description Logics https://ceur-ws.org/Vol-1879/paper20.pdf conf/dlog/2017 db/conf/dlog/dlog2017.html#BaaderBKOT17 Franz Baader Daniel Borchmann Adrian Nuradiansyah Preliminary Results on the Identity Problem in Description Logic Ontologies. 2017 Description Logics https://ceur-ws.org/Vol-1879/paper6.pdf conf/dlog/2017 db/conf/dlog/dlog2017.html#BaaderBN17 Franz Baader Patrick Koopmann Anni-Yasmin Turhan Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). 2017 Description Logics https://ceur-ws.org/Vol-1879/paper40.pdf conf/dlog/2017 db/conf/dlog/dlog2017.html#BaaderKT17 Franz Baader A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. 43-59 2017 FroCoS https://doi.org/10.1007/978-3-319-66167-4_3 conf/frocos/2017 db/conf/frocos/frocos2017.html#Baader17 Franz Baader Stefan Borgwardt Patrick Koopmann Ana Ozaki Veronika Thost Metric Temporal Description Logics with Interval-Rigid Names. 60-76 2017 FroCoS https://doi.org/10.1007/978-3-319-66167-4_4 conf/frocos/2017 db/conf/frocos/frocos2017.html#BaaderBKOT17 Franz Baader Patrick Koopmann Anni-Yasmin Turhan Using Ontologies to Query Probabilistic Numerical Data. 77-94 2017 FroCoS https://doi.org/10.1007/978-3-319-66167-4_5 conf/frocos/2017 db/conf/frocos/frocos2017.html#BaaderKT17 Franz Baader Andreas Ecke Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. 6-19 2017 GCAI https://doi.org/10.29007/f3hh conf/gcai/2017 db/conf/gcai/gcai2017.html#BaaderE17 Franz Baader Stefan Borgwardt Marcel Lippmann Query Rewriting for DL-Lite with n-ary Concrete Domains. 786-792 2017 IJCAI https://doi.org/10.24963/ijcai.2017/109 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#BaaderBL17 Franz Baader Daniel Borchmann Adrian Nuradiansyah The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding. 102-117 2017 JIST https://doi.org/10.1007/978-3-319-70682-5_7 conf/jist/2017 db/conf/jist/jist2017.html#BaaderBN17 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. 3-26 2017 LATA https://doi.org/10.1007/978-3-319-53733-7_1 conf/lata/2017 db/conf/lata/lata2017.html#BaaderGM17 Franz Baader Oliver Fernandez Gil Decidability and complexity of threshold description logics induced by concept similarity measures. 983-988 2017 SAC https://doi.org/10.1145/3019612.3019715 conf/sac/2017 db/conf/sac/sac2017.html#BaaderG17

Franz Baader Stefan Borgwardt Barbara Morawska 0001 Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. 2016 12 4 Log. Methods Comput. Sci. https://doi.org/10.2168/LMCS-12(4:1)2016 http://arxiv.org/abs/1609.05621 db/journals/lmcs/lmcs12.html#BaaderBM16

Franz Baader Meghyn Bienvenu Carsten Lutz Frank Wolter Query and Predicate Emptiness in Ontology-Based Data Access. 1-59 2016 56 J. Artif. Intell. Res. https://doi.org/10.1613/jair.4866 db/journals/jair/jair56.html#BaaderBL16

Franz Baader Thanh Binh Nguyen 0003 Stefan Borgwardt Barbara Morawska 0001 Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. 443-476 2016 57 Notre Dame J. Formal Log. 4 https://doi.org/10.1215/00294527-3555507 db/journals/ndjfl/ndjfl57.html#BaaderNBM16

Franz Baader Oliver Fernandez Gil Extending the Description Logic with Acyclic TBoxes. 1096-1104 2016 ECAI https://doi.org/10.3233/978-1-61499-672-9-1096 conf/ecai/2016 db/conf/ecai/ecai2016.html#BaaderG16 Franz Baader Pavlos Marantidis Alexander Okhotin Approximate Unification in the Description Logic FL_0. 49-63 2016 JELIA https://doi.org/10.1007/978-3-319-48758-8_4 conf/jelia/2016 db/conf/jelia/jelia2016.html#BaaderMO16 Franz Baader Andreas Ecke Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. 63-75 2016 LATA https://doi.org/10.1007/978-3-319-30000-9_5 conf/lata/2016 db/conf/lata/lata2016.html#BaaderE16 Franz Baader Pierre Ludmann The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. 31-36 2016 UNIF http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf#page=31 conf/unif/2016 db/conf/unif/unif2016.html#BaaderL16 Franz Baader Pavlos Marantidis Alexander Okhotin Approximately Solving Set Equations. 37-43 2016 UNIF http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf#page=37 conf/unif/2016 db/conf/unif/unif2016.html#BaaderMO16

Alina Petrova Yue Ma 0009 George Tsatsaronis 0001 Maria Kissa Felix Distel Franz Baader Michael Schroeder 0001 Formalizing biomedical concepts from textual definitions. 22 2015 6 J. Biomed. Semant. https://doi.org/10.1186/s13326-015-0015-3 https://www.wikidata.org/entity/Q28647938 db/journals/biomedsem/biomedsem6.html#PetrovaMTKDBS15

Franz Baader Stefan Borgwardt Rafael Peñaloza On the Decidability Status of Fuzzy ALC with General Concept Inclusions. 117-146 2015 44 J. Philos. Log. 2 https://doi.org/10.1007/s10992-014-9329-3 https://www.wikidata.org/entity/Q57383672 db/journals/jphil/jphil44.html#BaaderBP15

Franz Baader Stefan Borgwardt Marcel Lippmann Temporal query entailment in the Description Logic SHQ. 71-93 2015 33 J. Web Semant. https://doi.org/10.1016/j.websem.2014.11.008 https://www.wikidata.org/entity/Q57383675 db/journals/ws/ws33.html#BaaderBL15

Franz Baader Stefan Borgwardt Marcel Lippmann Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. 21-33 2015 Australasian Conference on Artificial Intelligence https://doi.org/10.1007/978-3-319-26350-2_3 conf/ausai/2015 db/conf/ausai/ausai2015.html#BaaderBL15 Franz Baader Stefan Borgwardt Barbara Morawska 0001 Dismatching and Local Disunification in EL (Extended Abstract). 2015 Description Logics https://ceur-ws.org/Vol-1350/paper-07.pdf conf/dlog/2015 db/conf/dlog/dlog2015.html#BaaderBM15 Oliver Fernandez Gil Franz Baader Gerhard Brewka Adding Threshold Concepts to the Description Logic EL. 2015 Description Logics https://ceur-ws.org/Vol-1350/paper-20.pdf conf/dlog/2015 db/conf/dlog/dlog2015.html#GilBB15 Franz Baader Gerhard Brewka Oliver Fernandez Gil Adding Threshold Concepts to the Description Logic EL. 33-48 2015 FroCos https://doi.org/10.1007/978-3-319-24246-0_3 conf/frocos/2015 db/conf/frocos/frocos2015.html#BaaderBG15 Franz Baader Stefan Borgwardt Barbara Morawska 0001 Dismatching and Local Disunification in EL. 40-56 2015 RTA https://doi.org/10.4230/LIPIcs.RTA.2015.40 conf/rta/2015 db/conf/rta/rta2015.html#BaaderBM15

Franz Baader Marcel Lippmann Runtime verification using the temporal description logic ALC-LTL revisited. 584-613 2014 12 J. Appl. Log. 4 https://doi.org/10.1016/j.jal.2014.09.001 https://www.wikidata.org/entity/Q57383679 db/journals/japll/japll12.html#BaaderL14

Franz Baader Barbara Morawska 0001 Matching with Respect to General Concept Inclusions in the Description Logic EL. 33-44 2014 Description Logics https://ceur-ws.org/Vol-1193/paper_29.pdf conf/dlog/2014 db/conf/dlog/dlog2014.html#BaaderM14 Franz Baader Barbara Morawska 0001 Matching with Respect to General Concept Inclusions in the Description Logic EL. 135-146 2014 KI https://doi.org/10.1007/978-3-319-11206-0_14 conf/ki/2014 db/conf/ki/ki2014.html#BaaderM14 Franz Baader Ontology-Based Monitoring of Dynamic Systems. 2014 KR https://aaai.org/papers/92-7972-ontology-based-monitoring-of-dynamic-systems/ conf/kr/2014 db/conf/kr/kr2014.html#Baader14 Franz Baader Anthony G. Cohn 0001 Georg Gottlob Sheila A. McIlraith Invited Talks. 2014 KR https://aaai.org/papers/6-8702-invited-talks-2/ conf/kr/2014 db/conf/kr/kr2014.html#BaaderCGM14 Franz Baader Barbara Morawska 0001 Matching with respect to general concept inclusions in the Description Logic EL. 22-25 2014 UNIF https://www3.risc.jku.at/publications/download/risc_5001/proceedings-UNIF2014.pdf#page=27 conf/unif/2014 db/conf/unif/unif2014.html#BaaderM14

Franz Baader Alexander Okhotin On Language Equations with One-sided Concatenation. 1-35 2013 126 Fundam. Informaticae 1 https://doi.org/10.3233/FI-2013-870 db/journals/fuin/fuin126.html#BaaderO13

Franz Baader Stefan Borgwardt Marcel Lippmann Temporalizing Ontology-Based Data Access. 330-344 2013 CADE https://doi.org/10.1007/978-3-642-38574-2_23 conf/cade/2013 db/conf/cade/cade2013.html#BaaderBL13 Franz Baader Oliver Fernandez Gil Barbara Morawska 0001 Hybrid EL-Unification is NP-complete. 29-40 2013 Description Logics https://ceur-ws.org/Vol-1014/paper_9.pdf conf/dlog/2013 db/conf/dlog/dlog2013.html#BaaderGM13 Franz Baader Benjamin Zarrieß Verification of Golog Programs over Description Logic Actions. 181-196 2013 FroCos https://doi.org/10.1007/978-3-642-40885-4_12 conf/frocos/2013 db/conf/frocos/frocos2013.html#BaaderZ13 Franz Baader Oliver Fernandez Gil Barbara Morawska 0001 Hybrid Unification in the Description Logic. 295-310 2013 FroCos https://doi.org/10.1007/978-3-642-40885-4_21 conf/frocos/2013 db/conf/frocos/frocos2013.html#BaaderGM13 George Tsatsaronis 0001 Alina Petrova Maria Kissa Yue Ma 0009 Felix Distel Franz Baader Michael Schroeder 0001 Learning Formal Definitions for Biomedical Concepts. 2013 OWLED https://ceur-ws.org/Vol-1080/owled2013_8.pdf conf/owled/2013 db/conf/owled/owled2013.html#TsatsaronisPKMDBS13 Franz Baader Oliver Fernandez Gil Barbara Morawska 0001 Hybrid Unification in the Description Logic EL. 8-12 2013 UNIF@RTA/TLCA https://doi.org/10.29007/h59c conf/rta/2013unif db/conf/rta/unif2013.html#BaaderGM13

Franz Baader Wolfgang Thomas Editorial. 247-248 2012 35 Inform. Spektrum 4 https://doi.org/10.1007/s00287-012-0630-7 db/journals/insk/insk35.html#BaaderT12

Franz Baader Silvio Ghilardi Carsten Lutz LTL over description logic axioms. 21:1-21:32 2012 13 ACM Trans. Comput. Log. 3 https://doi.org/10.1145/2287718.2287721 https://www.wikidata.org/entity/Q57383685 db/journals/tocl/tocl13.html#BaaderGL12

Franz Baader Martin Knechtel Rafael Peñaloza Context-dependent views to axioms and consequences of Semantic Web ontologies. 22-40 2012 12 J. Web Semant. https://doi.org/10.1016/j.websem.2011.11.006 https://www.wikidata.org/entity/Q57383681 db/journals/ws/ws12.html#BaaderKP12

Franz Baader Stefan Borgwardt Barbara Morawska 0001 Computing Minimal EL-unifiers is Hard. 18-35 2012 Advances in Modal Logic http://www.aiml.net/volumes/volume9/Baader-Borgwardt-Morawska.pdf conf/aiml/2012 db/conf/aiml/aiml2012.html#BaaderBM12 Franz Baader Stefan Borgwardt Barbara Morawska 0001 A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. 493-504 2012 Australasian Conference on Artificial Intelligence https://doi.org/10.1007/978-3-642-35101-3_42 conf/ausai/2012 db/conf/ausai/ausai2012.html#BaaderBM12 Franz Baader Stefan Borgwardt Barbara Morawska 0001 Recent Advances in Unification for the EL Family. 1-6 2012 UNIF https://doi.org/10.29007/q5px conf/cade/2012unif db/conf/cade/unif2012.html#BaaderBM12a Franz Baader Stefan Borgwardt Barbara Morawska 0001 SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. 30-44 2012 IJCAR https://doi.org/10.1007/978-3-642-31365-3_5 conf/cade/2012 db/conf/cade/ijcar2012.html#BaaderBM12 Franz Baader Julian Mendez 0002 Barbara Morawska 0001 UEL: Unification Solver for the Description Logic ℇℒ - System Description. 45-51 2012 IJCAR https://doi.org/10.1007/978-3-642-31365-3_6 conf/cade/2012 db/conf/cade/ijcar2012.html#BaaderMM12 Franz Baader Stefan Borgwardt Barbara Morawska 0001 A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. 2012 Description Logics https://ceur-ws.org/Vol-846/paper_1.pdf conf/dlog/2012 db/conf/dlog/dlog2012.html#BaaderBM12 Franz Baader Stefan Borgwardt Julian Mendez 0002 Barbara Morawska 0001 UEL: Unification Solver for EL. 2012 Description Logics https://ceur-ws.org/Vol-846/paper_8.pdf conf/dlog/2012 db/conf/dlog/dlog2012.html#BaaderBMM12 Wael Yehia Hongkai Liu Marcel Lippmann Franz Baader Mikhail Soutchanski Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. 2012 Description Logics https://ceur-ws.org/Vol-846/paper_15.pdf conf/dlog/2012 db/conf/dlog/dlog2012.html#YehiaLLBS12 Franz Baader Stefan Borgwardt Barbara Morawska 0001 Extending Unification in EL Towards General TBoxes. 2012 KR https://aaai.org/papers/61-4491-extending-unification-in-el-towards-general-tboxes/ conf/kr/2012 db/conf/kr/kr2012.html#BaaderBM12 Franz Baader Alexander Okhotin Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. 107-121 2012 LPAR https://doi.org/10.1007/978-3-642-28717-6_11 conf/lpar/2012 db/conf/lpar/lpar2012.html#BaaderO12

Franz Baader Silvio Ghilardi Unification in modal and description logics. 705-730 2011 19 Log. J. IGPL 6 https://doi.org/10.1093/jigpal/jzq008 https://www.wikidata.org/entity/Q57383688 db/journals/igpl/igpl19.html#BaaderG11

Franz Baader What's new in Description Logics. 434-442 2011 34 Inform. Spektrum 5 https://doi.org/10.1007/s00287-011-0534-y db/journals/insk/insk34.html#Baader11

Franz Baader Thanh Binh Nguyen 0003 Stefan Borgwardt Barbara Morawska 0001 Unification in the Description Logic EL without the Top Concept. 70-84 2011 CADE https://doi.org/10.1007/978-3-642-22438-6_8 conf/cade/2011 db/conf/cade/cade2011.html#BaaderBBM11 Franz Baader Thanh Binh Nguyen 0003 Stefan Borgwardt Barbara Morawska 0001 Unification in the Description Logic EL without the Top Concept. 2011 Description Logics https://ceur-ws.org/Vol-745/paper_5.pdf conf/dlog/2011 db/conf/dlog/dlog2011.html#BaaderBBM11 Franz Baader Rafael Peñaloza GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. 2011 Description Logics https://ceur-ws.org/Vol-745/paper_10.pdf conf/dlog/2011 db/conf/dlog/dlog2011.html#BaaderP11 Franz Baader Rafael Peñaloza On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. 55-70 2011 FroCoS https://doi.org/10.1007/978-3-642-24364-6_5 conf/frocos/2011 db/conf/frocos/frocos2011.html#BaaderP11 Franz Baader Rafael Peñaloza Are fuzzy description logics with general concept inclusion axioms decidable? 1735-1742 2011 FUZZ-IEEE https://doi.org/10.1109/FUZZY.2011.6007520 conf/fuzzIEEE/2011 db/conf/fuzzIEEE/fuzzIEEE2011.html#BaaderP11 Franz Baader Nguyen Thanh Binh 0003 Stefan Borgwardt Barbara Morawska 0001 Computing Local Unifiers in the Description Logic EL without the Top Concept. 2-8 2011 UNIF https://www.irif.fr/~treinen/unif/past/unif11/unif11-proceedings.pdf#page=8 conf/unif/2011 db/conf/unif/unif2011.html#BaaderBBM11 Franz Baader Barbara Morawska 0001 Jan Otop Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. UNIF 2011 db/conf/unif/unif2011.html

Franz Baader Carsten Lutz Holger Sturm Frank Wolter Fusions of Description Logics and Abstract Description Systems http://arxiv.org/abs/1106.1802 2011 CoRR abs/1106.1802 db/journals/corr/corr1106.html#abs-1106-1802

Franz Baader Barbara Morawska 0001 Unification in the Description Logic EL http://arxiv.org/abs/1006.2289 2010 Log. Methods Comput. Sci. 6 db/journals/lmcs/lmcs6.html#abs-1006-2289 3

Franz Baader Bernhard Beckert Tobias Nipkow Deduktion: von der Theorie zur Anwendung. 444-451 2010 33 Inform. Spektrum 5 https://doi.org/10.1007/s00287-010-0461-3 db/journals/insk/insk33.html#BaaderBN10

Franz Baader Rafael Peñaloza Automata-Based Axiom Pinpointing. 91-129 2010 45 J. Autom. Reason. 2 https://doi.org/10.1007/s10817-010-9181-2 https://www.wikidata.org/entity/Q57383691 db/journals/jar/jar45.html#BaaderP10

Franz Baader Carsten Lutz Anni-Yasmin Turhan Small is Again Beautiful in Description Logics. 25-33 2010 24 Künstliche Intell. 1 https://doi.org/10.1007/s13218-010-0004-8 db/journals/ki/ki24.html#BaaderLT10

Franz Baader Rafael Peñaloza Axiom Pinpointing in General Tableaux. 5-34 2010 20 J. Log. Comput. 1 https://doi.org/10.1093/logcom/exn058 https://www.wikidata.org/entity/Q57383694 db/journals/logcom/logcom20.html#BaaderP10

Franz Baader Hongkai Liu Anees ul Mehdi Verifying Properties of Infinite Sequences of Description Logic Actions. 53-58 2010 ECAI http://www.booksonline.iospress.nl/Content/View.aspx?piid=17713 conf/ecai/2010 db/conf/ecai/ecai2010.html#BaaderLM10 Franz Baader Meghyn Bienvenu Carsten Lutz Frank Wolter Query and Predicate Emptiness in Description Logics. 2010 KR https://aaai.org/papers/26-1246-query-and-predicate-emptiness-in-description-logics/ conf/kr/2010 db/conf/kr/kr2010.html#BaaderBLW10 Franz Baader Marcel Lippmann Hongkai Liu Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. 82-96 2010 LPAR (Yogyakarta) https://doi.org/10.1007/978-3-642-16242-8_7 conf/lpar/2010y db/conf/lpar/lpar2010y.html#BaaderLL10 Franz Baader Barbara Morawska 0001 SAT Encoding of Unification in EL. 97-111 2010 LPAR (Yogyakarta) https://doi.org/10.1007/978-3-642-16242-8_8 conf/lpar/2010y db/conf/lpar/lpar2010y.html#BaaderM10

Stefan Schulz 0001 Boontawee Suntisrivaraporn Franz Baader Martin Boeker SNOMED reaching its adolescence: Ontologists' and logicians' health check. S86-S94 2009 78 Int. J. Medical Informatics Supplement-1 https://doi.org/10.1016/j.ijmedinf.2008.06.004 https://www.wikidata.org/entity/Q28293746 db/journals/ijmi/ijmi78.html#SchulzSBB09

Franz Baader Meghyn Bienvenu Carsten Lutz Frank Wolter Query Answering over DL ABoxes: How to Pick the Relevant Symbols. 2009 Description Logics https://ceur-ws.org/Vol-477/paper_29.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#BaaderBLW09 Franz Baader Barbara Morawska 0001 Unification in the Description Logic EL. 2009 Description Logics https://ceur-ws.org/Vol-477/paper_54.pdf conf/dlog/2009 db/conf/dlog/dlog2009.html#BaaderM09 Franz Baader Andreas Bauer 0002 Marcel Lippmann Runtime Verification Using a Temporal Description Logic. 149-164 2009 FroCoS https://doi.org/10.1007/978-3-642-04222-5_9 conf/frocos/2009 db/conf/frocos/frocos2009.html#BaaderBL09 Conrad Drescher Hongkai Liu Franz Baader Steffen Guhlemann Uwe Petersohn Peter Steinke Michael Thielscher Putting ABox Updates into Action. 214-229 2009 FroCoS https://doi.org/10.1007/978-3-642-04222-5_13 conf/frocos/2009 db/conf/frocos/frocos2009.html#DrescherLBGPST09 Franz Baader Baris Sertkaya Usability Issues in Description Logic Knowledge Base Completion. 1-21 2009 ICFCA https://doi.org/10.1007/978-3-642-01815-2_1 conf/icfca/2009 db/conf/icfca/icfca2009.html#BaaderS09 Franz Baader Felix Distel Exploring Finite Models in the Description Logic . 146-161 2009 ICFCA https://doi.org/10.1007/978-3-642-01815-2_12 conf/icfca/2009 db/conf/icfca/icfca2009.html#BaaderD09 Franz Baader Andreas Bauer 0002 Alwen Tiu Matching Trace Patterns with Regular Policies. 105-116 2009 LATA https://doi.org/10.1007/978-3-642-00982-2_9 conf/lata/2009 db/conf/lata/lata2009.html#BaaderBT09 Franz Baader Barbara Morawska 0001 Unification in the Description Logic EL. 350-364 2009 RTA https://doi.org/10.1007/978-3-642-02348-4_25 conf/rta/2009 db/conf/rta/rta2009.html#BaaderM09 Franz Baader Description Logics. 1-39 2009 Reasoning Web https://doi.org/10.1007/978-3-642-03754-2_1 conf/rweb/2009 db/conf/rweb/rweb2009.html#Baader09 Franz Baader Martin Knechtel Rafael Peñaloza A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. 49-64 2009 ISWC https://doi.org/10.1007/978-3-642-04930-9_4 https://www.wikidata.org/entity/Q125463289 conf/semweb/2009 db/conf/semweb/iswc2009.html#BaaderKP09 Franz Baader Andreas Bauer 0002 Peter Baumgartner 0001 Anne Cregan Alfredo Gabaldon Krystian Ji Kevin Lee David Rajaratnam Rolf Schwitter A Novel Architecture for Situation Awareness Systems. 77-92 2009 TABLEAUX https://doi.org/10.1007/978-3-642-02716-1_7 https://www.wikidata.org/entity/Q58169366 conf/tableaux/2009 db/conf/tableaux/tableaux2009.html#BaaderBBCGJLRS09 Franz Baader Ian Horrocks 0001 Ulrike Sattler Description Logics. 21-43 2009 Handbook on Ontologies https://doi.org/10.1007/978-3-540-92673-3_1 series/ihis/2009hoo db/series/ihis/hoo2009.html#BaaderHS09

Franz Baader Jan Hladik Rafael Peñaloza Automata can show PSpace results for description logics. 1045-1056 2008 206 Inf. Comput. 9-10 https://doi.org/10.1016/j.ic.2008.03.006 https://www.wikidata.org/entity/Q57383699 db/journals/iandc/iandc206.html#BaaderHP08

Franz Baader Rafael Peñaloza Automata-Based Axiom Pinpointing. 226-241 2008 IJCAR https://doi.org/10.1007/978-3-540-71070-7_19 conf/cade/2008 db/conf/cade/ijcar2008.html#BaaderP08 Franz Baader Silvio Ghilardi Carsten Lutz LTL over Description Logic Axioms. 2008 Description Logics https://ceur-ws.org/Vol-353/BaaderGhilardiLutz.pdf conf/dlog/2008 db/conf/dlog/dlog2008.html#BaaderGL08 Franz Baader Novak Novakovik Boontawee Suntisrivaraporn A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. 2008 Description Logics https://ceur-ws.org/Vol-353/BaaderNovakovikSuntisrivaraporn.pdf conf/dlog/2008 db/conf/dlog/dlog2008.html#BaaderNS08 Franz Baader Felix Distel A Finite Basis for the Set of EL-Implications Holding in a Finite Model. 46-61 2008 ICFCA https://doi.org/10.1007/978-3-540-78137-0_4 conf/icfca/2008 db/conf/icfca/icfca2008.html#BaaderD08 Franz Baader Silvio Ghilardi Carsten Lutz LTL over Description Logic Axioms. 684-694 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#BaaderGL08 https://aaai.org/papers/KR08-067-ltl-over-description-logic-axioms/ Franz Baader Boontawee Suntisrivaraporn Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. 2008 KR-MED https://ceur-ws.org/Vol-410/Paper01.pdf conf/krmed/2008 db/conf/krmed/krmed2008.html#BaaderS08 Franz Baader Carsten Lutz Sebastian Brandt 0001 Pushing the EL Envelope Further. 2008 OWLED (Spring) https://ceur-ws.org/Vol-496/owled2008dc_paper_3.pdf conf/owled/2008-1 db/conf/owled/owled2008-1.html#BaaderLB08 Franz Baader Andreas Bauer 0002 Alwen Tiu Matching linear and non-linear trace patterns with regular policies. 16-24 2008 UNIF https://www3.risc.jku.at/publications/download/risc_3454/UNIF_proceedings.pdf#page=24 conf/unif/2008 db/conf/unif/unif2008.html#BaaderBT08 Franz Baader Barbara Morawska 0001 Unification in the Description Logic EL is of Type Zero. 25-34 2008 UNIF https://www3.risc.jku.at/publications/download/risc_3454/UNIF_proceedings.pdf#page=33 conf/unif/2008 db/conf/unif/unif2008.html#BaaderM08 Franz Baader Carsten Lutz Boris Motik Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 CEUR-WS.org 353 2008 Description Logics CEUR Workshop Proceedings https://ceur-ws.org/Vol-353 https://nbn-resolving.org/urn:nbn:de:0074-353-8 db/conf/dlog/dlog2008.html Franz Baader Ian Horrocks 0001 Ulrike Sattler Description Logics. 135-179 2008 Handbook of Knowledge Representation https://doi.org/10.1016/S1574-6526(07)03003-9 https://www.wikidata.org/entity/Q56988725 reference/fai/3 db/reference/fai/fai3.html#BaaderHS08

Franz Baader Baris Sertkaya Anni-Yasmin Turhan Computing the least common subsumer w.r.t. a background terminology. 392-420 2007 5 J. Appl. Log. 3 https://doi.org/10.1016/j.jal.2006.03.002 db/journals/japll/japll5.html#BaaderST07

Franz Baader Preface to Special Issue on Reasoning in Description Logics. 245-247 2007 39 J. Autom. Reason. 3 https://doi.org/10.1007/s10817-007-9081-2 https://www.wikidata.org/entity/Q57383704 db/journals/jar/jar39.html#Baader07

Franz Baader Silvio Ghilardi Connecting many-sorted theories. 535-583 2007 72 J. Symb. Log. 2 https://doi.org/10.2178/jsl/1185803623 http://projecteuclid.org/euclid.jsl/1185803623 https://www.wikidata.org/entity/Q57383701 db/journals/jsyml/jsyml72.html#BaaderG07

Boontawee Suntisrivaraporn Franz Baader Stefan Schulz 0001 Kent A. Spackman Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. 287-291 2007 conf/aime/2007 AIME https://doi.org/10.1007/978-3-540-73599-1_38 db/conf/aime/aime2007.html#SuntisrivarapornBSS07 Franz Baader Jan Hladik Rafael Peñaloza Blocking Automata for PSPACE DLs. 2007 Description Logics https://ceur-ws.org/Vol-250/paper_25.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#BaaderHP07 Franz Baader Rafael Peñaloza Boontawee Suntisrivaraporn Pinpointing in the Description Logic EL. 2007 Description Logics https://ceur-ws.org/Vol-250/paper_16.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#BaaderPS07 Franz Baader Bernhard Ganter Baris Sertkaya Ulrike Sattler Completing Description Logic Knowledge Bases Using Formal Concept Analysis. 230-235 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/035.pdf db/conf/ijcai/ijcai2007.html#BaaderGSS07 Franz Baader Rafael Peñaloza Boontawee Suntisrivaraporn Pinpointing in the Description Logic EL+. 52-67 2007 conf/ki/2007 KI https://doi.org/10.1007/978-3-540-74565-5_7 db/conf/ki/ki2007.html#BaaderPS07 Franz Baader Jan Hladik Rafael Peñaloza SI! Automata Can Show PSPACE Results for Description Logics. 67-78 2007 LATA conf/lata/2007 db/conf/lata/lata2007.html#BaaderHP07 Stefan Schulz 0001 Boontawee Suntisrivaraporn Franz Baader SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. 802-806 2007 MedInfo https://doi.org/10.3233/978-1-58603-774-1-802 conf/medinfo/2007 db/conf/medinfo/medinfo2007.html#SchulzSB07 Franz Baader Bernhard Ganter Ulrike Sattler Baris Sertkaya Completing Description Logic Knowledge Bases using Formal Concept Analysis. 2007 OWLED https://ceur-ws.org/Vol-258/paper16.pdf conf/owled/2007 db/conf/owled/owled2007.html#BaaderGSS07 Franz Baader Rafael Peñaloza Axiom Pinpointing in General Tableaux. 11-27 2007 conf/tableaux/2007 TABLEAUX https://doi.org/10.1007/978-3-540-73099-6_4 db/conf/tableaux/tableaux2007.html#BaaderP07 Franz Baader Carsten Lutz Description logic. 757-819 2007 Handbook of Modal Logic https://doi.org/10.1016/s1570-2464(07)80016-4 books/el/07/BBW2007 db/books/collections/BBW2007.html#BaaderL07 Franz Baader Byron Cook Jürgen Giesl Robert Nieuwenhuis Deduction and Decision Procedures, 30.09. - 05.10.2007 Deduction and Decision Procedures 07401 2007 db/conf/dagstuhl/P7401.html http://drops.dagstuhl.de/portals/07401/ Dagstuhl Seminar Proceedings Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany Franz Baader Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings RTA Lecture Notes in Computer Science 4533 Springer 2007 978-3-540-73447-5 https://doi.org/10.1007/978-3-540-73449-9 db/conf/rta/rta2007.html Franz Baader Byron Cook Jürgen Giesl Robert Nieuwenhuis 07401 Executive Summary -- Deduction and Decision Procedures. 2007 Deduction and Decision Procedures http://drops.dagstuhl.de/opus/volltexte/2007/1251 conf/dagstuhl/2007P7401 db/conf/dagstuhl/P7401.html#BaaderCGN07 Franz Baader Byron Cook Jürgen Giesl Robert Nieuwenhuis 07401 Abstracts Collection -- Deduction and Decision Procedures. 2007 Deduction and Decision Procedures http://drops.dagstuhl.de/opus/volltexte/2007/1252 conf/dagstuhl/2007P7401 db/conf/dagstuhl/P7401.html#BaaderCGN07a

Franz Baader Silvio Ghilardi Cesare Tinelli A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. 1413-1452 2006 204 Inf. Comput. 10 https://doi.org/10.1016/j.ic.2005.05.009 https://www.wikidata.org/entity/Q57383706 db/journals/iandc/iandc204.html#BaaderGT06

Franz Baader Carsten Lutz Boontawee Suntisrivaraporn CEL - A Polynomial-Time Reasoner for Life Science Ontologies. 287-291 2006 conf/cade/2006 IJCAR https://doi.org/10.1007/11814771_25 db/conf/cade/ijcar2006.html#BaaderLS06 Franz Baader Carsten Lutz Boontawee Suntisrivaraporn Efficient Reasoning in EL+. 2006 conf/dlog/2006 Description Logics https://ceur-ws.org/Vol-189/submission_8.pdf db/conf/dlog/dlog2006.html#BaaderLS06 Carsten Lutz Franz Baader Enrico Franconi Domenico Lembo Ralf Möller 0001 Riccardo Rosati 0001 Ulrike Sattler Boontawee Suntisrivaraporn Sergio Tessaris Reasoning Support for Ontology Design. 2006 OWLED https://ceur-ws.org/Vol-216/submission_2.pdf conf/owled/2006 db/conf/owled/owled2006.html#LutzBFLMRSST06 Deduction and Applications, 23.-28. October 2005 Deduction and Applications Franz Baader Peter Baumgartner 0001 Robert Nieuwenhuis Andrei Voronkov 05431 2006 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P5431.html http://drops.dagstuhl.de/portals/05431/

Franz Baader 19th International Conference on Automated Deduction (CADE-19). 1-2 2005 199 Inf. Comput. 1-2 https://doi.org/10.1016/j.ic.2005.02.001 https://www.wikidata.org/entity/Q57383710 db/journals/iandc/iandc199.html#Baader05

Franz Baader Carsten Lutz Maja Milicic Ulrike Sattler Frank Wolter Integrating Description Logics and Action Formalisms: First Results. 572-577 2005 conf/aaai/2005 AAAI db/conf/aaai/aaai2005.html#BaaderLMSW05 http://www.aaai.org/Library/AAAI/2005/aaai05-089.php Franz Baader Ian Horrocks 0001 Ulrike Sattler Description Logics as Ontology Languages for the Semantic Web. 228-248 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning https://doi.org/10.1007/978-3-540-32254-2_14 db/conf/birthday/siekmann2005.html#BaaderHS05 Franz Baader Silvio Ghilardi Connecting Many-Sorted Theories. 278-294 2005 conf/cade/2005 CADE https://doi.org/10.1007/11532231_21 db/conf/cade/cade2005.html#BaaderG05 Franz Baader Carsten Lutz Eldar Karabaev Manfred Theißen A new n-ary existential quantifier in description logics. 2005 conf/dlog/2005 Description Logics https://ceur-ws.org/Vol-147/01-BaaderEtAl.pdf db/conf/dlog/dlog2005.html#BaaderLKT05 Franz Baader Maja Milicic Carsten Lutz Ulrike Sattler Frank Wolter Integrating Description Logics and Action Formalisms: First Results. 2005 conf/dlog/2005 Description Logics https://ceur-ws.org/Vol-147/04-BMLSW.pdf db/conf/dlog/dlog2005.html#BaaderMLSW05 Franz Baader Silvio Ghilardi Connecting Many-Sorted Structures and Theories Through Adjoint Functions. 31-47 2005 conf/frocos/2005 FroCoS https://doi.org/10.1007/11559306_2 db/conf/frocos/frocos2005.html#BaaderG05 Franz Baader Sebastian Brandt 0001 Carsten Lutz Pushing the EL Envelope. 364-369 2005 conf/ijcai/2005 IJCAI http://ijcai.org/Proceedings/05/Papers/0372.pdf db/conf/ijcai/ijcai2005.html#BaaderBL05 Franz Baader Eldar Karabaev Carsten Lutz Manfred Theißen A New n-Ary Existential Quantifier in Description Logics. 18-33 2005 conf/ki/2005 KI https://doi.org/10.1007/11551263_4 db/conf/ki/ki2005.html#BaaderKLT05 Franz Baader Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings 3452 2005 3-540-25236-3 LPAR Lecture Notes in Computer Science Springer https://doi.org/10.1007/b106931 db/conf/lpar/lpar2004.html Franz Baader Peter Baumgartner 0001 Robert Nieuwenhuis Andrei Voronkov 05431 Executive Summary - Deduction and Applications. 2005 conf/dagstuhl/2005P5431 Deduction and Applications http://drops.dagstuhl.de/opus/volltexte/2006/510 db/conf/dagstuhl/P5431.html#BaaderBNV05 Franz Baader Peter Baumgartner 0001 Robert Nieuwenhuis Andrei Voronkov 05431 Abstracts Collection - Deduction and Applications. 2005 conf/dagstuhl/2005P5431 Deduction and Applications http://drops.dagstuhl.de/opus/volltexte/2006/562 db/conf/dagstuhl/P5431.html#BaaderBNV05a Franz Baader Silvio Ghilardi Cesare Tinelli A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. 183-197 https://doi.org/10.1007/978-3-540-25984-8_11 2004 conf/cade/2004 IJCAR db/conf/cade/ijcar2004.html#BaaderGT04 Franz Baader Baris Sertkaya Anni-Yasmin Turhan Computing the Least Common Subsumer w.r.t. a Background Terminology. 2004 conf/dlog/2004 Description Logics https://ceur-ws.org/Vol-104/02Baader-final.pdf db/conf/dlog/dlog2004.html#BaaderST04 Franz Baader Baris Sertkaya Applying Formal Concept Analysis to Description Logics. 261-286 https://doi.org/10.1007/978-3-540-24651-0_24 2004 conf/icfca/2004 ICFCA db/conf/icfca/icfca2004.html#BaaderS04 Franz Baader Engineering of Logics for the Content-Based Representation of Information. 2-3 https://doi.org/10.1007/978-3-540-30227-8_2 2004 conf/jelia/2004 JELIA db/conf/jelia/jelia2004.html#Baader04 Franz Baader Baris Sertkaya Anni-Yasmin Turhan Computing the Least Common Subsumer w.r.t. a Background Terminology. 400-412 https://doi.org/10.1007/978-3-540-30227-8_34 https://www.wikidata.org/entity/Q57383714 2004 conf/jelia/2004 JELIA db/conf/jelia/jelia2004.html#BaaderST04 Franz Baader A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. 177-188 https://doi.org/10.1007/978-3-540-30559-0_15 2004 conf/wg/2004 WG db/conf/wg/wg2004.html#Baader04 Franz Baader Ian Horrocks 0001 Ulrike Sattler Description Logics. 3-28 books/sp/StaabS04 2004 Handbook on Ontologies db/books/collections/StaabS2004.html#BaaderHS04

Franz Baader Stephan Tobies The Inverse Method Implements the Automata Approach for Modal Satisfiability http://arxiv.org/abs/cs/0412101 2004 CoRR abs/cs/0412101 db/journals/corr/corr0412.html#abs-cs-0412101

Franz Baader Jan Hladik Carsten Lutz Frank Wolter From Tableaux to Automata for Description Logics. 247-279 2003 57 Fundam. Informaticae 2-4 http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-08 db/journals/fuin/fuin57.html#BaaderHLW03

Franz Baader Ulrike Sattler Description logics with aggregates and concrete domains. 979-1004 2003 28 Inf. Syst. 8 https://doi.org/10.1016/S0306-4379(03)00003-6 https://www.wikidata.org/entity/Q57383716 db/journals/is/is28.html#BaaderS03

Franz Baader Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. 2003 conf/dlog/2003 Description Logics https://ceur-ws.org/Vol-81/baader.pdf db/conf/dlog/dlog2003.html#Baader03 Franz Baader Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. 117-130 https://doi.org/10.1007/978-3-540-45091-7_8 2003 conf/iccs/2003 ICCS db/conf/iccs/iccs2003.html#Baader03 Franz Baader Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. 319-324 2003 conf/ijcai/2003 IJCAI db/conf/ijcai/ijcai2003.html#Baader03 http://ijcai.org/Proceedings/03/Papers/047.pdf Franz Baader Terminological Cycles in a Description Logic with Existential Restrictions. 325-330 2003 conf/ijcai/2003 IJCAI db/conf/ijcai/ijcai2003.html#Baader03a http://ijcai.org/Proceedings/03/Papers/048.pdf Franz Baader The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. 64-78 https://doi.org/10.1007/978-3-540-39451-8_6 2003 conf/ki/2003 KI db/conf/ki/ki2003.html#Baader03 Franz Baader Jan Hladik Carsten Lutz Frank Wolter From Tableaux to Automata for Description Logics. 1-32 https://doi.org/10.1007/978-3-540-39813-4_1 https://www.wikidata.org/entity/Q57383719 2003 conf/lpar/2003 LPAR db/conf/lpar/lpar2003.html#BaaderHLW03 Franz Baader Werner Nutt Basic Description Logics. 43-95 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#BaaderN03 Franz Baader Ralf Küsters Frank Wolter Extensions to Description Logics. 219-261 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#BaaderKW03 Franz Baader Description Logic Terminology. 485-495 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#Baader03a Franz Baader Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings CADE Lecture Notes in Computer Science 2741 Springer 2003 3-540-40559-3 https://doi.org/10.1007/b11829 db/conf/cade/cade2003.html Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi Peter F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 0-521-78176-0 Description Logic Handbook 2003 db/conf/dlog/handbook2003.html

Franz Baader Cesare Tinelli Deciding the Word Problem in the Union of Equational Theories. 346-390 2002 178 Inf. Comput. 2 https://doi.org/10.1006/inco.2001.3118 https://www.wikidata.org/entity/Q57383722 db/journals/iandc/iandc178.html#BaaderT02

Franz Baader Carsten Lutz Holger Sturm Frank Wolter Fusions of Description Logics and Abstract Description Systems. 1-58 2002 16 J. Artif. Intell. Res. https://doi.org/10.1613/jair.919 https://www.wikidata.org/entity/Q129534436 db/journals/jair/jair16.html#BaaderLSW02

Franz Baader Ian Horrocks 0001 Ulrike Sattler Description Logics for the Semantic Web. 57-59 2002 16 Künstliche Intell. 4 db/journals/ki/ki16.html#BaaderHS02

Franz Baader Ralf Küsters Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. 2002 Description Logics https://ceur-ws.org/Vol-53/BaaderKuesters-unification.ps conf/dlog/2002 db/conf/dlog/dlog2002.html#BaaderK02 Franz Baader Anni-Yasmin Turhan On the Problem of Computing Small Representations of Least Common Subsumers. 99-113 2002 conf/ki/2002 KI https://doi.org/10.1007/3-540-45751-8_7 db/conf/ki/ki2002.html#BaaderT02 Franz Baader Engineering of Logics for the Content-Based Representation of Information. 23 2002 conf/rta/2002 RTA https://doi.org/10.1007/3-540-45610-4_3 db/conf/rta/rta2002.html#Baader02 Franz Baader Cesare Tinelli Combining Decision Procedures for Positive Theories Sharing Constructors. 352-366 2002 conf/rta/2002 RTA https://doi.org/10.1007/3-540-45610-4_25 db/conf/rta/rta2002.html#BaaderT02

Dieter Fensel Franz Baader Marie-Christine Rousset Holger Wache Heterogeneous information resources need semantic access. 211-213 2001 36 Data Knowl. Eng. 3 db/journals/dke/dke36.html#FenselBRW01 https://doi.org/10.1016/S0169-023X(00)00046-X

Franz Baader Paliath Narendran Unification of Concept Terms in Description Logics. 277-305 2001 31 J. Symb. Comput. 3 db/journals/jsc/jsc31.html#BaaderN01 https://doi.org/10.1006/jsco.2000.0426 https://www.wikidata.org/entity/Q57383725

Franz Baader Ulrike Sattler An Overview of Tableau Algorithms for Description Logics. 5-40 2001 69 Stud Logica 1 db/journals/sLogica/sLogica69.html#BaaderS01 https://doi.org/10.1023/A:1013882326814 https://www.wikidata.org/entity/Q56771043

Franz Baader Stephan Tobies The Inverse Method Implements the Automata Approach for Modal Satisfiability. 92-106 2001 conf/cade/2001 IJCAR https://doi.org/10.1007/3-540-45744-5_8 db/conf/cade/ijcar2001.html#BaaderT01 Franz Baader Ralf Küsters Unification in a Description Logic with Transitive Closure of Roles. 2001 conf/dlog/2001 Description Logics https://ceur-ws.org/Vol-49/BaaderKuesters-36start.ps db/conf/dlog/dlog2001.html#BaaderK01 Franz Baader Anni-Yasmin Turhan TBoxes do not Yield a Compact Representation of Least Common Subsumers. 2001 conf/dlog/2001 Description Logics https://ceur-ws.org/Vol-49/BaaderTurhan-46start.ps db/conf/dlog/dlog2001.html#BaaderT01 Franz Baader Sebastian Brandt 0001 Ralf Küsters Matching under Side Conditions in Description Logics. 213-218 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#BaaderBK01 Franz Baader Ralf Küsters Unification in a Description Logic with Transitive Closure of Roles. 217-232 2001 conf/lpar/2001 LPAR https://doi.org/10.1007/3-540-45653-8_15 db/conf/lpar/lpar2001.html#BaaderK01 Franz Baader Wayne Snyder Unification Theory. 445-532 2001 books/el/RobinsonV01 Handbook of Automated Reasoning db/books/collections/RobinsonV01.html#BaaderS01 https://doi.org/10.1016/b978-044450813-3/50010-2 Franz Baader Gerhard Brewka Thomas Eiter KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings KI/ÖGAI Lecture Notes in Computer Science 2174 Springer 2001 3-540-42612-4 https://doi.org/10.1007/3-540-45422-5 db/conf/ki/ki2001.html Franz Baader Carsten Lutz Holger Sturm Frank Wolter Fusions of Description Logics. 21-30 2000 conf/dlog/2000 Description Logics https://ceur-ws.org/Vol-33/Baader21-30.ps db/conf/dlog/dlog2000.html#BaaderLSW00 Franz Baader Cesare Tinelli Combining Equational Theories Sharing Non-Collapse-Free Constructors. 260-274 2000 conf/frocos/2000 FroCoS db/conf/frocos/frocos2000.html#BaaderT00 https://doi.org/10.1007/10720084_17 Franz Baader Ralf Molitor Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. 292-305 2000 conf/iccs/2000 ICCS db/conf/iccs/iccs2000.html#BaaderM00 https://doi.org/10.1007/10722280_20 Franz Baader Ralf Küsters Matching Concept Descriptions with Existential Restrictions. 261-272 2000 conf/kr/2000 KR db/conf/kr/kr2000.html#BaaderK00 Franz Baader Ralf Küsters Ralf Molitor Rewriting Concepts Using Terminologies. 297-308 2000 conf/kr/2000 KR db/conf/kr/kr2000.html#BaaderKM00 Franz Baader Tableau Algorithms for Description Logics. 1-18 2000 conf/tableaux/2000 TABLEAUX db/conf/tableaux/tableaux2000.html#Baader00 https://doi.org/10.1007/10722086_1 Franz Baader Ulrike Sattler Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 Description Logics CEUR Workshop Proceedings CEUR-WS.org 33 2000 https://ceur-ws.org/Vol-33 https://nbn-resolving.org/urn:nbn:de:0074-33-6 db/conf/dlog/dlog2000.html

Franz Baader Ulrike Sattler Expressive Number Restrictions in Description Logics. 319-350 1999 9 J. Log. Comput. 3 https://doi.org/10.1093/logcom/9.3.319 https://www.wikidata.org/entity/Q57383726 db/journals/logcom/logcom9.html#BaaderS99

Franz Baader Ralf Küsters Alexander Borgida Deborah L. McGuinness Matching in Description Logics. 411-447 1999 9 J. Log. Comput. 3 https://doi.org/10.1093/logcom/9.3.411 db/journals/logcom/logcom9.html#BaaderKBM99

Franz Baader Klaus U. Schulz Combining Constraint Solving. 104-158 1999 conf/ccl/1999 CCL https://doi.org/10.1007/3-540-45406-3_3 db/conf/ccl/ccl1999.html#BaaderS99 Franz Baader Ralf Küsters Matching in Description Logics with Existential Restrictions. 1999 conf/dlog/1999 Description Logics https://ceur-ws.org/Vol-22/baaderkuesters.ps db/conf/dlog/dlog1999.html#BaaderK99 Franz Baader Ralf Molitor Rewriting in Description Logics Using Terminologies. 1999 conf/dlog/1999 Description Logics https://ceur-ws.org/Vol-22/baadermolitor.ps db/conf/dlog/dlog1999.html#BaaderM99 Franz Baader Ralf Molitor Stephan Tobies Tractable and Decidable Fragments of Conceptual Graphs. 480-493 1999 conf/iccs/1999 ICCS db/conf/iccs/iccs99.html#BaaderMT99 https://doi.org/10.1007/3-540-48659-3_31 Franz Baader Ralf Küsters Ralf Molitor Computing Least Common Subsumers in Description Logics with Existential Restrictions. 96-103 1999 conf/ijcai/99 IJCAI db/conf/ijcai/ijcai99.html#BaaderKM99 http://ijcai.org/Proceedings/99-1/Papers/015.pdf Franz Baader Cesare Tinelli Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. 175-189 https://doi.org/10.1007/3-540-48685-2_14 1999 conf/rta/1999 RTA db/conf/rta/rta99.html#BaaderT99 Franz Baader Logic-Based Knowledge Representation. 13-41 https://doi.org/10.1007/3-540-48317-9_2 1999 books/sp/WooldridgeV99 Artificial Intelligence Today db/books/collections/AItoday.html#Baader99 Franz Baader Tobias Nipkow Term rewriting and all that. I-XII, 1-301 Cambridge University Press 1998 978-0-521-45520-6

Franz Baader On the Complexity of Boolean Unification. 215-220 1998 67 Inf. Process. Lett. 4 db/journals/ipl/ipl67.html#Baader98 https://doi.org/10.1016/S0020-0190(98)00106-9 https://www.wikidata.org/entity/Q57383729

Franz Baader Klaus U. Schulz Combination of Constraint Solvers for Free and Quasi-Free Structures. 107-161 1998 192 Theor. Comput. Sci. 1 db/journals/tcs/tcs192.html#BaaderS98 https://doi.org/10.1016/S0304-3975(97)00147-3 https://www.wikidata.org/entity/Q57383727

Franz Baader Alexander Borgida Deborah L. McGuinness Matching in Description Logics: Preliminary Results. 1998 conf/dlog/1998 Description Logics https://ceur-ws.org/Vol-11/BaBoMc.ps db/conf/dlog/dlog1998.html#BaaderBM98 Franz Baader Ralf Küsters Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. 1998 conf/dlog/1998 Description Logics https://ceur-ws.org/Vol-11/BaaderKuesters.ps db/conf/dlog/dlog1998.html#BaaderK98 Franz Baader Ralf Küsters Ralf Molitor Structural Subsumption Considered from an Automata-Theoretic Point of View. 1998 conf/dlog/1998 Description Logics https://ceur-ws.org/Vol-11/BaaderKuestersMolitor.ps db/conf/dlog/dlog1998.html#BaaderKM98 Franz Baader Paliath Narendran Unification of Concept Terms in Description Logics. 331-335 1998 conf/ecai/1998 ECAI db/conf/ecai/ecai98.html#BaaderN98 Franz Baader Ulrike Sattler Description Logics with Concrete Domains and Aggregation. 336-340 1998 conf/ecai/1998 ECAI db/conf/ecai/ecai98.html#BaaderS98 Franz Baader Alexander Borgida Deborah L. McGuinness Matching in Description Logics: Preliminary Results. 15-34 https://doi.org/10.1007/BFb0054902 1998 conf/iccs/1998 ICCS db/conf/iccs/iccs98.html#BaaderBM98 Franz Baader Ralf Küsters Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. 129-140 1998 conf/ki/1998 KI db/conf/ki/ki98.html#BaaderK98 https://doi.org/10.1007/BFb0095434

https://doi.org/10.1145/271074.274461 Franz Baader Manfred A. Jeusfeld Werner Nutt Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. 44-48 sigmodR/26-4/P044.pdf 1997 26 SIGMOD Rec. 4 db/journals/sigmod/sigmod26.html#BaaderJN97

Franz Baader Cesare Tinelli A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. 19-33 1997 conf/cade/1997 CADE db/conf/cade/cade97.html#BaaderT97 https://doi.org/10.1007/3-540-63104-6_3 Franz Baader Paliath Narendran Unification of Concept Terms in Description Logics. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/baader.ps.gz db/conf/dlog/dlog1997.html#BaaderN97 Franz Baader Ulrike Sattler Description Logics with Aggregates and Concrete Domains. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/sattler.ps.gz db/conf/dlog/dlog1997.html#BaaderS97 Franz Baader Combination of Compatible Reduction Orderings that are Total on Ground Terms. 2-13 https://doi.org/10.1109/LICS.1997.614917 https://doi.ieeecomputersociety.org/10.1109/LICS.1997.614917 1997 conf/lics/1997 LICS db/conf/lics/lics97.html#Baader97 Franz Baader Manfred A. Jeusfeld Werner Nutt Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997 CEUR Workshop Proceedings CEUR-WS.org 1997 8 https://ceur-ws.org/Vol-8 https://nbn-resolving.org/urn:nbn:de:0074-8-7 db/conf/krdb/krdb97.html

Franz Baader Werner Nutt Combination problems for commutative/monoidal theories or how algebra can help in equational unification. 309-337 1996 7 Appl. Algebra Eng. Commun. Comput. 4 https://doi.org/10.1007/BF01195536 db/journals/aaecc/aaecc7.html#BaaderN96

Franz Baader Martin Buchheit Bernhard Hollunder Cardinality Restrictions on Concepts. 195-213 1996 88 Artif. Intell. 1-2 db/journals/ai/ai88.html#BaaderBH96 https://doi.org/10.1016/S0004-3702(96)00010-0 https://www.wikidata.org/entity/Q57383734

Franz Baader Using Automata Theory for Characterizing the Semantics of Terminological Cycles. 175-219 1996 18 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai18.html#Baader96 https://doi.org/10.1007/BF02127747 https://www.wikidata.org/entity/Q57383740

Franz Baader Klaus U. Schulz Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. 211-243 1996 21 J. Symb. Comput. 2 db/journals/jsc/jsc21.html#BaaderS96 https://doi.org/10.1006/jsco.1996.0009 https://www.wikidata.org/entity/Q57383738

Franz Baader Logik-basierte Wissensrepräsentation. 8-16 1996 10 Künstliche Intell. 3 db/journals/ki/ki10.html#Baader96

Franz Baader A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. 33-54 1996 6 J. Log. Comput. 1 db/journals/logcom/logcom6.html#Baader96 https://doi.org/10.1093/logcom/6.1.33 https://www.wikidata.org/entity/Q57383731

Franz Baader Ulrike Sattler Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. 3-14 1996 conf/dlog/1996 Description Logics db/conf/dlog/dlog1996.html#BaaderS96 Franz Baader Ulrike Sattler Knowledge Representation in Process Engineering. 74-78 1996 conf/dlog/1996 Description Logics db/conf/dlog/dlog1996.html#BaaderS96a Franz Baader Ulrike Sattler Description Logics with Symbolic Number Restrictions. 283-287 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#BaaderS96 Franz Baader Ulrike Sattler Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. 328-339 1996 conf/kr/1996 KR db/conf/kr/kr96.html#BaaderS96 Franz Baader Klaus U. Schulz Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings FroCoS Applied Logic Series 3 Kluwer Academic Publishers 1996 0-7923-4271-2 db/conf/frocos/frocos1996.html Franz Baader Martin Buchheit Manfred A. Jeusfeld Werner Nutt KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995 CEUR Workshop Proceedings CEUR-WS.org 1996 2 https://ceur-ws.org/Vol-2 https://nbn-resolving.org/urn:nbn:de:0074-2-8 db/conf/krdb/krdb95.html Franz Baader Martin Buchheit Manfred A. Jeusfeld Werner Nutt Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996 CEUR Workshop Proceedings CEUR-WS.org 1996 4 https://ceur-ws.org/Vol-4 https://nbn-resolving.org/urn:nbn:de:0074-4-5 db/conf/krdb/krdb96.html

Franz Baader Hans Jürgen Ohlbach A Multi-Dimensional Terminological Knowledge Representation Language. 1995 5 J. Appl. Non Class. Logics 2 db/journals/jancl/jancl5.html#BaaderO95 https://doi.org/10.1080/11663081.1995.10510854 153-197

Franz Baader Bernhard Hollunder Embedding Defaults into Terminological Knowledge Representation Formalisms. 149-180 1995 14 J. Autom. Reason. 1 db/journals/jar/jar14.html#BaaderH95 https://doi.org/10.1007/BF00883932 https://www.wikidata.org/entity/Q57383745

Franz Baader Bernhard Hollunder Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. 41-68 1995 15 J. Autom. Reason. 1 db/journals/jar/jar15.html#BaaderH95a https://doi.org/10.1007/BF00881830 https://www.wikidata.org/entity/Q57383747

Franz Baader Martin Buchheit Manfred A. Jeusfeld Werner Nutt Reasoning about structured objects: Knowledge representation meets databases. 73-76 1995 10 Knowl. Eng. Rev. 1 https://doi.org/10.1017/S0269888900007293 db/journals/ker/ker10.html#BaaderBJN95

Franz Baader Klaus U. Schulz Combination Techniques and Decision Problems for Disunification. 229-255 1995 142 Theor. Comput. Sci. 2 db/journals/tcs/tcs142.html#BaaderS95 https://doi.org/10.1016/0304-3975(94)00277-0 https://www.wikidata.org/entity/Q57383743

Franz Baader Klaus U. Schulz On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. 380-397 1995 conf/cp/1995 CP db/conf/cp/cp95.html#BaaderS95 https://doi.org/10.1007/3-540-60299-2_23 Franz Baader Armin Laux Terminological Logics with Modal Operators. 808-815 1995 conf/ijcai/1995 IJCAI (1) db/conf/ijcai/ijcai95.html#BaaderL95 http://ijcai.org/Proceedings/95-1/Papers/104.pdf Franz Baader Martin Buchheit Manfred A. Jeusfeld Werner Nutt Overview: KRDB'95. 1995 conf/krdb/95 KRDB db/conf/krdb/krdb95.html#BaaderBJN95 KRDB1995/X01.pdf https://ceur-ws.org/Vol-2/intro.ps Franz Baader Klaus U. Schulz Combination of Constraint Solving Techniques: An Algebraic POint of View. 352-366 1995 conf/rta/1995 RTA db/conf/rta/rta95.html#BaaderS95 https://doi.org/10.1007/3-540-59200-8_69 Franz Baader Klaus U. Schulz On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. 6-8 1995 UNIF conf/unif/1995 db/conf/unif/unif1995.html#BaaderS95 Franz Baader Martin Buchheit Manfred A. Jeusfeld Werner Nutt Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 CEUR Workshop Proceedings CEUR-WS.org 1995 1 https://ceur-ws.org/Vol-1 https://nbn-resolving.org/urn:nbn:de:0074-1-5 db/conf/krdb/krdb94.html

Franz Baader Bernhard Hollunder Bernhard Nebel Hans-Jürgen Profitlich Enrico Franconi Am empirical analysis of optimization techniques for terminological representation systems. 109-132 1994 4 Appl. Intell. 2 https://doi.org/10.1007/BF00872105 https://www.wikidata.org/entity/Q57383749 db/journals/apin/apin4.html#BaaderHNPF94

Franz Baader Martin Buchheit Bernhard Hollunder Cardinality Restrictions on Concepts. 51-62 1994 conf/ki/1994 KI db/conf/ki/ki94.html#BaaderBH94 https://doi.org/10.1007/3-540-58467-6_5 Franz Baader Martin Buchheit Manfred A. Jeusfeld Werner Nutt Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. 1994 conf/krdb/94 KRDB db/conf/krdb/krdb94.html#BaaderBJN94 https://ceur-ws.org/Vol-1/krdb94-overview.html KRDB1994/X01.pdf Franz Baader Jörg H. Siekmann Unification theory. 41-126 1994 Handbook of Logic in Artificial Intelligence and Logic Programming (2) db/books/collections/LAI2Handbook94.html#BaaderS94 books/ox/LAI2Hb94

Franz Baader Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. 477-503 1993 40 J. ACM 3 db/journals/jacm/jacm40.html#Baader93 https://doi.org/10.1145/174130.174133 https://www.wikidata.org/entity/Q57383752

Franz Baader Hans-Jürgen Bürckert Bernhard Nebel Werner Nutt Gert Smolka On the expressivity of feature logics with negation, functional uncertainty, and sort equations. 1-18 1993 2 J. Log. Lang. Inf. 1 https://doi.org/10.1007/BF01051766 db/journals/jolli/jolli2.html#BaaderBNNS93

Franz Baader Philipp Hanschke Bernhard Hollunder Bernhard Nebel Werner Nutt "Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. 24-25 1993 7 Künstliche Intell. 3 db/journals/ki/ki7.html#BaaderHHNN93

Franz Baader Karl Schlechta A Semantics for Open Normal Defaults via a Modified Preferential Approach. 9-16 1993 conf/ecsqaru/1993 ECSQARU db/conf/ecsqaru/ecsqaru1993.html#BaaderS93 https://doi.org/10.1007/BFb0028176 Franz Baader Bernhard Hollunder How to Prefer More Specific Defaults in Terminological Default Logic. 669-675 1993 conf/ijcai/1993 IJCAI db/conf/ijcai/ijcai93.html#BaaderH93 http://ijcai.org/Proceedings/93-1/Papers/094.pdf Franz Baader Klaus U. Schulz Combination Techniques and Decision Problems for Disunification. 301-315 1993 conf/rta/1993 RTA db/conf/rta/rta93.html#BaaderS93 https://doi.org/10.1007/978-3-662-21551-7_23

Franz Baader Hans-Jürgen Bürckert Bernhard Hollunder Armin Laux Werner Nutt Terminologische Logiken. 23-33 1992 6 Künstliche Intell. 3 db/journals/ki/ki6.html#BaaderBHLN92

Franz Baader Klaus U. Schulz Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. 50-65 1992 conf/cade/1992 CADE db/conf/cade/cade92.html#BaaderS92 https://doi.org/10.1007/3-540-55602-8_155 Franz Baader Werner Nutt Are Complete an Expressiv Terminological Systems Feasible? 1-5 1992 conf/dlog/1992 Description Logics db/conf/dlog/dlog1992.html#BaaderN92 Franz Baader Bernhard Hollunder Computing Extensions of Terminological Default Theories. 30-52 1992 conf/ecai/1992w1 ECAI Workshop on Knowledge Representation and Reasoning db/conf/ecai/ecai1992w1.html#BaaderH92 https://doi.org/10.1007/3-540-58107-3_3 Franz Baader Philipp Hanschke Extensions of Concept Languages for a Mechanical Engineering Application. 132-143 1992 conf/ki/1992 GWAI db/conf/ki/gwai92.html#BaaderH92 https://doi.org/10.1007/BFb0018999 Franz Baader Bernhard Hollunder Bernhard Nebel Hans-Jürgen Profitlich Enrico Franconi An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. 270-281 1992 conf/kr/1992 KR db/conf/kr/kr92.html#BaaderHNPF92 Franz Baader Bernhard Hollunder Embedding Defaults into Terminological Knowledge Representation Formalisms. 306-317 1992 conf/kr/1992 KR db/conf/kr/kr92.html#BaaderH92

Franz Baader Alfred Kobsa Hans-Jürgen Profitlich AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. 24-25 1991 5 Künstliche Intell. 3 db/journals/ki/ki5.html#BaaderKP91

Franz Baader Bernhard Hollunder KRIS: Knowledge Representation and Inference System. 8-14 1991 2 SIGART Bull. 3 db/journals/sigart/sigart2.html#BaaderH91 https://doi.org/10.1145/122296.122298

Franz Baader Cyclic, Transitive, and Concrete Extensions of Concept Languages. 12-16 1991 conf/dlog/1991 Description Logics db/conf/dlog/dlog91.html#Baader91 Franz Baader Hans-Jürgen Bürckert Jochen Heinsohn Bernhard Hollunder Jürgen Müller 0008 Bernhard Nebel Werner Nutt Hans-Jürgen Profitlich Terminological Knowledge Representation: A Proposal for a Terminological Logic. 120-128 1991 conf/dlog/1991 Description Logics db/conf/dlog/dlog91.html#BaaderBhHMNNP91 Franz Baader Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. 446-451 1991 conf/ijcai/1991 IJCAI db/conf/ijcai/ijcai91.html#Baader91 http://ijcai.org/Proceedings/91-1/Papers/069.pdf Franz Baader Philipp Hanschke A Scheme for Integrating Concrete Domains into Concept Languages. 452-457 1991 conf/ijcai/1991 IJCAI db/conf/ijcai/ijcai91.html#BaaderH91 http://ijcai.org/Proceedings/91-1/Papers/070.pdf Franz Baader Klaus U. Schulz General A- and AX-Unification via Optimized. 23-42 1991 conf/iwwert/1991 IWWERT db/conf/iwwert/iwwert1991.html#BaaderS91 https://doi.org/10.1007/3-540-56730-5_29 Bernhard Hollunder Franz Baader Qualifying Number Restrictions in Concept Languages. 335-346 1991 conf/kr/1991 KR db/conf/kr/kr91.html#HollunderB91 Franz Baader Bernhard Hollunder A Terminological Knowledge Representation System with Complete Inference Algorithms. 67-86 1991 conf/pdk/1991 PDK db/conf/pdk/pdk91.html#BaaderH91 https://doi.org/10.1007/BFb0013522 Franz Baader Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. 86-97 1991 conf/rta/1991 RTA db/conf/rta/rta91.html#Baader91 https://doi.org/10.1007/3-540-53904-2_88 Franz Baader Werner Nutt Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. 124-135 1991 conf/rta/1991 RTA db/conf/rta/rta91.html#BaaderN91 https://doi.org/10.1007/3-540-53904-2_91 Franz Baader Terminological Cycles in KL-ONE-based Knowledge Representation Languages. 621-626 1990 conf/aaai/1990 AAAI db/conf/aaai/aaai90.html#Baader90 http://www.aaai.org/Library/AAAI/1990/aaai90-093.php Franz Baader Rewrite Systems for Varieties of Semigroups. 396-410 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#Baader90 https://doi.org/10.1007/3-540-52885-7_102 Jürgen Müller 0008 Franz Baader Bernhard Nebel Werner Nutt Gert Smolka Tutorial on Reasoning and Representation with Concept Languages. 681 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#MullerBNNS90 https://doi.org/10.1007/3-540-52885-7_141 Franz Baader A Formal Definition for the Expressive Power of Knowledge Representation Languages. 53-58 1990 conf/ecai/1990 ECAI db/conf/ecai/ecai90.html#Baader90 Franz Baader Unification Theory. 151-170 1990 conf/iwwert/1990 IWWERT db/conf/iwwert/iwwert1990.html#Baader90 https://doi.org/10.1007/3-540-55124-7_5 Franz Baader Unification in Varieties of Completely Regular Semigroups. 210-230 1990 conf/iwwert/1990 IWWERT db/conf/iwwert/iwwert1990.html#Baader90a https://doi.org/10.1007/3-540-55124-7_9 Franz Baader Unifikation und Reduktionssysteme für Halbgruppenvarietäten. 1989 1-109 University of Erlangen-Nuremberg, Germany https://d-nb.info/946548153

Franz Baader Unification in Commutative Theories. 479-497 1989 8 J. Symb. Comput. 5 db/journals/jsc/jsc8.html#Baader89 https://doi.org/10.1016/S0747-7171(89)80055-0 https://www.wikidata.org/entity/Q57383756

Franz Baader Unification Properties of Commutative Theories: A Categorical Treatment. 273-299 1989 conf/ctcs/1989 Category Theory and Computer Science db/conf/ctcs/ctcs89.html#Baader89 https://doi.org/10.1007/BFb0018357 Franz Baader Characterization of Unification Type Zero. 2-14 1989 conf/rta/1989 RTA db/conf/rta/rta89.html#Baader89 https://doi.org/10.1007/3-540-51081-8_96

Franz Baader A Note on Unification Type Zero. 91-93 1988 27 Inf. Process. Lett. 2 db/journals/ipl/ipl27.html#Baader88 https://doi.org/10.1016/0020-0190(88)90098-1 https://www.wikidata.org/entity/Q57383758

Franz Baader Wolfram Büttner Unification in Commutative Idempotent Monoids. 345-353 1988 56 Theor. Comput. Sci. db/journals/tcs/tcs56.html#BaaderB88 https://doi.org/10.1016/0304-3975(88)90140-5 https://www.wikidata.org/entity/Q57383761

Franz Baader The Theory of Idempotent Semigroups is of Unification Type Zero. 283-286 1986 2 J. Autom. Reason. 3 db/journals/jar/jar2.html#Baader86 https://doi.org/10.1007/BF02328451

Christian Alrabbaa Nils Asmussen Uwe Aßmann Christel Baier Andreas Bauer 0002 Peter Baumgartner 0001 Bernhard Beckert Bartosz Bednarczyk Meghyn Bienvenu Martin Boeker Daniel Borchmann Alexander Borgida Stefan Borgwardt Filippo De Bortoli Maja Milicic BrandtMaja Milicic Sebastian Brandt 0001 Gerhard Brewka Martin Buchheit Hans-Jürgen Bürckert Wolfram Büttner Diego Calvanese Jerónimo Castrillón Anton Claußnitzer Anthony G. Cohn 0001 Byron Cook Anne Cregan Raimund Dachselt Felix Distel Conrad Drescher Andreas Ecke Thomas Eiter Dieter Fensel Gerhard P. Fettweis Tamara Flemisch Walter Forkel Enrico Franconi Jochen Fröhlich Alfredo Gabaldon Bernhard Ganter Silvio Ghilardi Jürgen Giesl Oliver Fernandez GilOliver Fernández Gil Andres GoensAndrés Goens Georg Gottlob Brigitte Grau Steffen Guhlemann Sebastian Haas Dirk Habich Philipp Hanschke Hermann Härtig Mattis Hasler Jochen Heinsohn Linda HerrmannLinda Leuschner Jan Hladik Bernhard Hollunder Ian Horrocks 0001 Immo Huismann Manfred A. Jeusfeld Krystian Ji Deepak Kapur Eldar Karabaev Tomas Karnagel Sven Karol Gabriele Kern-Isberner Maria Kissa Sascha Klüppelholz Martin Knechtel Alfred Kobsa Patrick Koopmann Alisa Kovtunova Francesco Kriegel Akash Kumar 0001 Ralf Küsters Ricardo Langner Armin Laux Kevin Lee Wolfgang Lehner Domenico Lembo Matthias Lieber Siqi Ling Marcel Lippmann Hongkai Liu Pierre Ludmann Carsten Lutz Yue Ma 0009 Pavlos Marantidis Steffen Märcker Deborah L. McGuinness Sheila A. McIlraith Anees MehdiAnees ul Mehdi Christian Menard Julián Méndez 0001 Julian Alfredo MendezJulian Mendez 0002 Johannes Mey Friedrich Michel Ralf Molitor Ralf Möller 0001 Barbara Morawska 0001 Boris Motik Antoine Mottet Jürgen Müller 0008 Wolfgang E. Nagel Daniele Nardi Paliath Narendran Bernhard Nebel Thanh Binh Nguyen 0003Nguyen Thanh Binh 0003 Robert Nieuwenhuis Tobias Nipkow Benedikt NoethenBenedikt Nöthen Novak Novakovik Adrian Nuradiansyah Werner Nutt Hans Jürgen Ohlbach Alexander Okhotin Jan Otop Ana Ozaki Peter F. Patel-Schneider Rafael Peñaloza Maximilian Pensel Uwe Petersohn Alina Petrova Hans-Jürgen Profitlich Michael Raitza David Rajaratnam Riccardo Rosati 0001 Maryam Rostamigiv Marie-Christine Rousset Sebastian Rudolph Jakub Rydval Ulrike Sattler Karl Schlechta Michael Schroeder 0001 Klaus U. Schulz Stefan Schulz 0001 Rolf Schwitter Baris Sertkaya Jörg H. Siekmann Gert Smolka Wayne Snyder Mikhail Soutchanski Kent A. Spackman Peter Steinke Jörg Stiller Holger Sturm Boontawee Suntisrivaraporn Sergio Tessaris Manfred Theißen Clément Théron Michael Thielscher Wolfgang Thomas Veronika Thost Cesare Tinelli Alwen Tiu Stephan Tobies George Tsatsaronis 0001 Anni-Yasmin Turhan Annett Ungethüm Axel Voigt Marcus Völp Andrei Voronkov Holger Wache Renata Wassermann Marco Wilhelm Frank Wolter Sascha Wunderlich Chao Xu Wael Yehia Benjamin Zarrieß Beihai Zhou