default search action
BibTeX records: Franz Baader
@article{DBLP:journals/ai/BaaderG24, author = {Franz Baader and Oliver Fern{\'{a}}ndez Gil}, title = {Extending the description logic {EL} with threshold concepts induced by concept measures}, journal = {Artif. Intell.}, volume = {326}, pages = {104034}, year = {2024}, url = {https://doi.org/10.1016/j.artint.2023.104034}, doi = {10.1016/J.ARTINT.2023.104034}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/BaaderG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderG24, author = {Franz Baader and Oliver Fern{\'{a}}ndez Gil}, editor = {Laura Giordano and Jean Christoph Jung and Ana Ozaki}, title = {Unification in {\(\mathscr{E}\)}{\(\mathscr{L}\)}{\(\mathscr{H}\)}\({}_{\mbox{{\(\mathscr{R}\)}+}}\) without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)}, booktitle = {Proceedings of the 37th International Workshop on Description Logics {(DL} 2024), Bergen, Norway, June 18-21, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3739}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3739/abstract-5.pdf}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BaaderG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/BaaderKN24, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Arne Meier and Magdalena Ortiz}, title = {Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of {\textdollar}{\textbackslash}mathcal\{E\}{\textbackslash}mathcal\{L\}{\^{}}{\textbackslash}bot {\textdollar} Ontologies}, booktitle = {Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14589}, pages = {3--22}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-56940-1\_1}, doi = {10.1007/978-3-031-56940-1\_1}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/foiks/BaaderKN24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fscd/BaaderG24, author = {Franz Baader and J{\"{u}}rgen Giesl}, editor = {Jakob Rehof}, title = {On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems}, booktitle = {9th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia}, series = {LIPIcs}, volume = {299}, pages = {16:1--16:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.16}, doi = {10.4230/LIPICS.FSCD.2024.16}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fscd/BaaderG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcar/BaaderG24, author = {Franz Baader and Oliver Fern{\'{a}}ndez Gil}, editor = {Christoph Benzm{\"{u}}ller and Marijn J. H. Heule and Renate A. Schmidt}, title = {Unification in the Description Logic \emph{ELH}\({}_{\mbox{{\(\mathscr{R}\)}}}\)\({}^{\mbox{+}}\) Without the Top Concept Modulo Cycle-Restricted Ontologies}, booktitle = {Automated Reasoning - 12th International Joint Conference, {IJCAR} 2024, Nancy, France, July 3-6, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14740}, pages = {279--297}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-63501-4\_15}, doi = {10.1007/978-3-031-63501-4\_15}, timestamp = {Fri, 02 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcar/BaaderG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/BaaderB24, author = {Franz Baader and Filippo De Bortoli}, editor = {Jiman Hong and Juw Won Park}, title = {The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains}, booktitle = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing, {SAC} 2024, Avila, Spain, April 8-12, 2024}, pages = {754--761}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3605098.3635984}, doi = {10.1145/3605098.3635984}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/BaaderB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cgf/MendezAKLBD23, author = {Juli{\'{a}}n M{\'{e}}ndez and Christian Alrabbaa and Patrick Koopmann and Ricardo Langner and Franz Baader and Raimund Dachselt}, title = {Evonne: {A} Visual Tool for Explaining Reasoning with {OWL} Ontologies and Supporting Interactive Debugging}, journal = {Comput. Graph. Forum}, volume = {42}, number = {6}, year = {2023}, url = {https://doi.org/10.1111/cgf.14730}, doi = {10.1111/CGF.14730}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cgf/MendezAKLBD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Baader23, author = {Franz Baader}, editor = {Oliver Kutz and Carsten Lutz and Ana Ozaki}, title = {Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract)}, booktitle = {Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes, Greece, September 2-4, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3515}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3515/abstract-5.pdf}, timestamp = {Thu, 26 Oct 2023 16:59:55 +0200}, biburl = {https://dblp.org/rec/conf/dlog/Baader23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderB23, author = {Franz Baader and Filippo De Bortoli}, editor = {Oliver Kutz and Carsten Lutz and Ana Ozaki}, title = {On the Abstract Expressive Power of Description Logics with Concrete Domains}, booktitle = {Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes, Greece, September 2-4, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3515}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3515/paper-3.pdf}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BaaderB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKN23, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Oliver Kutz and Carsten Lutz and Ana Ozaki}, title = {Error-Tolerant Reasoning in {EL} w.r.t. Optimal ABox Repairs (Extended Abstract)}, booktitle = {Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes, Greece, September 2-4, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3515}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3515/abstract-6.pdf}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BaaderKK23, author = {Franz Baader and Patrick Koopmann and Francesco Kriegel}, editor = {Sarah Alice Gaggl and Maria Vanina Martinez and Magdalena Ortiz}, title = {Optimal Repairs in the Description Logic \emph{E}{\(\mathscr{L}\)} Revisited}, booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA} 2023, Dresden, Germany, September 20-22, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14281}, pages = {11--34}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43619-2\_2}, doi = {10.1007/978-3-031-43619-2\_2}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BaaderKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rulemlrr/AlrabbaaBBKK23, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, editor = {Anna Fensel and Ana Ozaki and Dumitru Roman and Ahmet Soylu}, title = {Combining Proofs for Description Logic and Concrete Domain Reasoning}, booktitle = {Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14244}, pages = {54--69}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45072-3\_4}, doi = {10.1007/978-3-031-45072-3\_4}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rulemlrr/AlrabbaaBBKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/BaaderKN23, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Jiman Hong and Maart Lanperne and Juw Won Park and Tom{\'{a}}s Cern{\'{y}} and Hossain Shahriar}, title = {Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning}, booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing, {SAC} 2023, Tallinn, Estonia, March 27-31, 2023}, pages = {974--982}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3555776.3577630}, doi = {10.1145/3555776.3577630}, timestamp = {Fri, 21 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/BaaderKN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/Baader23, author = {Franz Baader}, editor = {Jiman Hong and Maart Lanperne and Juw Won Park and Tom{\'{a}}s Cern{\'{y}} and Hossain Shahriar}, title = {Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change}, booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing, {SAC} 2023, Tallinn, Estonia, March 27-31, 2023}, pages = {983--990}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3555776.3577719}, doi = {10.1145/3555776.3577719}, timestamp = {Fri, 21 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/Baader23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/AlrabbaaBBKK23, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, title = {Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources (Version 1)}, publisher = {Zenodo}, year = {2023}, month = aug, howpublished = {\url{https://doi.org/10.5281/zenodo.8208781}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.8208781}, doi = {10.5281/ZENODO.8208781}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/AlrabbaaBBKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/AlrabbaaBBKK23a, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, title = {Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources (Version 2)}, publisher = {Zenodo}, year = {2023}, month = aug, howpublished = {\url{https://doi.org/10.5281/zenodo.8214331}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.8214331}, doi = {10.5281/ZENODO.8214331}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/AlrabbaaBBKK23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/AlrabbaaBBKK23b, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, title = {Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources (Version 3)}, publisher = {Zenodo}, year = {2023}, month = aug, howpublished = {\url{https://doi.org/10.5281/zenodo.8214503}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.8214503}, doi = {10.5281/ZENODO.8214503}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/AlrabbaaBBKK23b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2308-03705, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, title = {Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)}, journal = {CoRR}, volume = {abs/2308.03705}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.03705}, doi = {10.48550/ARXIV.2308.03705}, eprinttype = {arXiv}, eprint = {2308.03705}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-03705.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BaaderK22, author = {Franz Baader and Deepak Kapur}, title = {Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols}, journal = {J. Autom. Reason.}, volume = {66}, number = {3}, pages = {301--329}, year = {2022}, url = {https://doi.org/10.1007/s10817-022-09624-4}, doi = {10.1007/S10817-022-09624-4}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BaaderK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BaaderR22, author = {Franz Baader and Jakub Rydval}, title = {Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains}, journal = {J. Autom. Reason.}, volume = {66}, number = {3}, pages = {357--407}, year = {2022}, url = {https://doi.org/10.1007/s10817-022-09626-2}, doi = {10.1007/S10817-022-09626-2}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BaaderR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/BaaderKMTZ22, author = {Franz Baader and Patrick Koopmann and Friedrich Michel and Anni{-}Yasmin Turhan and Benjamin Zarrie{\ss}}, title = {Efficient TBox Reasoning with Value Restrictions using the {\(\mathscr{F}\)}{\(\mathscr{L}\)}\({}_{\mbox{0}}\)wer Reasoner}, journal = {Theory Pract. Log. Program.}, volume = {22}, number = {2}, pages = {162--192}, year = {2022}, url = {https://doi.org/10.1017/S1471068421000466}, doi = {10.1017/S1471068421000466}, timestamp = {Wed, 13 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/BaaderKMTZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AlrabbaaBBDKM22, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli{\'{a}}n M{\'{e}}ndez}, editor = {Jasmin Blanchette and Laura Kov{\'{a}}cs and Dirk Pattinson}, title = {Evonne: Interactive Proof Visualization for Description Logics (System Description)}, booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR} 2022, Haifa, Israel, August 8-10, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13385}, pages = {271--280}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-10769-6\_16}, doi = {10.1007/978-3-031-10769-6\_16}, timestamp = {Mon, 24 Oct 2022 16:36:35 +0200}, biburl = {https://dblp.org/rec/conf/cade/AlrabbaaBBDKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKKN22, author = {Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie{-}Laure Mugnier}, title = {Optimal ABox Repair w.r.t. Static {EL} TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)}, booktitle = {Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3263}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3263/abstract-2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKKN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKMTZ22, author = {Franz Baader and Patrick Koopmann and Friedrich Michel and Anni{-}Yasmin Turhan and Benjamin Zarrie{\ss}}, editor = {Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie{-}Laure Mugnier}, title = {Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)}, booktitle = {Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3263}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3263/abstract-1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKMTZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/BaaderKKN22, author = {Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Paul Groth and Maria{-}Esther Vidal and Fabian M. Suchanek and Pedro A. Szekely and Pavan Kapanipathi and Catia Pesquita and Hala Skaf{-}Molli and Minna Tamper}, title = {Optimal ABox Repair w.r.t. Static \emph{EL} TBoxes: From Quantified ABoxes Back to ABoxes}, booktitle = {The Semantic Web - 19th International Conference, {ESWC} 2022, Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13261}, pages = {130--146}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06981-9\_8}, doi = {10.1007/978-3-031-06981-9\_8}, timestamp = {Wed, 24 Aug 2022 15:07:01 +0200}, biburl = {https://dblp.org/rec/conf/esws/BaaderKKN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderK22, author = {Franz Baader and Francesco Kriegel}, editor = {Gabriele Kern{-}Isberner and Gerhard Lakemeyer and Thomas Meyer}, title = {Pushing Optimal ABox Repair from {EL} Towards More Expressive Horn-DLs}, booktitle = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel, July 31 - August 5, 2022}, year = {2022}, url = {https://proceedings.kr.org/2022/3/}, timestamp = {Tue, 05 Sep 2023 14:47:29 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BaaderKN22, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Guido Governatori and Anni{-}Yasmin Turhan}, title = {Error-Tolerant Reasoning in the Description Logic \emph{E}{\(\mathscr{L}\)} Based on Optimal Repairs}, booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13752}, pages = {227--243}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-21541-4\_15}, doi = {10.1007/978-3-031-21541-4\_15}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/BaaderKN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/AlrabbaaBBDKM22, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli{\'{a}}n M{\'{e}}ndez}, title = {Evonne: Interactive Proof Visualization for Description Logics (System Description) - {IJCAR22} - Resources (Version 1)}, publisher = {Zenodo}, year = {2022}, month = may, howpublished = {\url{https://doi.org/10.5281/zenodo.6560603}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.6560603}, doi = {10.5281/ZENODO.6560603}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/AlrabbaaBBDKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-09583, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli{\'{a}}n M{\'{e}}ndez}, title = {Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version}, journal = {CoRR}, volume = {abs/2205.09583}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.09583}, doi = {10.48550/ARXIV.2205.09583}, eprinttype = {arXiv}, eprint = {2205.09583}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-09583.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AlrabbaaBBKK21, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, editor = {Andr{\'{e}} Platzer and Geoff Sutcliffe}, title = {Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures}, booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12699}, pages = {291--308}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79876-5\_17}, doi = {10.1007/978-3-030-79876-5\_17}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AlrabbaaBBKK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderKKN21, author = {Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Andr{\'{e}} Platzer and Geoff Sutcliffe}, title = {Computing Optimal Repairs of Quantified {ABoxes} w.r.t.\ Static $\mathcal{EL}$ {TBoxes}}, booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12699}, pages = {309--326}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79876-5\_18}, doi = {10.1007/978-3-030-79876-5\_18}, timestamp = {Tue, 15 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/BaaderKKN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/AlrabbaaBBKK21, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 19th to 22nd, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2954/abstract-2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:15 +0100}, biburl = {https://dblp.org/rec/conf/dlog/AlrabbaaBBKK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderGR21, author = {Franz Baader and Oliver Fern{\'{a}}ndez Gil and Maryam Rostamigiv}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {Restricted Unification in the {DL} {FL0} (Extended Abstract)}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 19th to 22nd, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2954/abstract-3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderGR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKKNP21, author = {Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {Privacy-Preserving Ontology Publishing: The Case of Quantified {ABoxes} w.r.t.\ a Static Cycle-Restricted $\mathcal{EL}$ {TBox}}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 19th to 22nd, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2954/paper-3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKKNP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderR21, author = {Franz Baader and Maryam Rostamigiv}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {Restricted Unification in the {DL} {EL}}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 19th to 22nd, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2954/paper-4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderGR21, author = {Franz Baader and Oliver Fern{\'{a}}ndez Gil and Maryam Rostamigiv}, editor = {Boris Konev and Giles Reger}, title = {Restricted Unification in the {DL} {\(\mathscr{F}\)}\({}_{\mbox{0}}\)}, booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12941}, pages = {81--97}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-86205-3\_5}, doi = {10.1007/978-3-030-86205-3\_5}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderGR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BaaderR21, author = {Franz Baader and Jakub Rydval}, editor = {Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak}, title = {An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics}, booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12678}, pages = {194--209}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75775-5\_14}, doi = {10.1007/978-3-030-75775-5\_14}, timestamp = {Sun, 16 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BaaderR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/BaaderKNP21, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, editor = {Chih{-}Cheng Hung and Jiman Hong and Alessio Bechini and Eunjee Song}, title = {Safety of quantified {ABoxes} w.r.t.\ singleton $\mathcal{EL}$ policies}, booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021}, pages = {863--872}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3412841.3441961}, doi = {10.1145/3412841.3441961}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/BaaderKNP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-13138, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, title = {Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)}, journal = {CoRR}, volume = {abs/2104.13138}, year = {2021}, url = {https://arxiv.org/abs/2104.13138}, eprinttype = {arXiv}, eprint = {2104.13138}, timestamp = {Mon, 03 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-13138.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-12877, author = {Franz Baader and Patrick Koopmann and Friedrich Michel and Anni{-}Yasmin Turhan and Benjamin Zarrie{\ss}}, title = {Efficient TBox Reasoning with Value Restrictions using the {\(\mathscr{F}\)}{\(\mathscr{L}\)}\({}_{\mbox{0}}\)wer reasoner}, journal = {CoRR}, volume = {abs/2107.12877}, year = {2021}, url = {https://arxiv.org/abs/2107.12877}, eprinttype = {arXiv}, eprint = {2107.12877}, timestamp = {Wed, 13 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-12877.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderT20, author = {Franz Baader and Cl{\'{e}}ment Th{\'{e}}ron}, title = {Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the {DL} Cupboard}, journal = {K{\"{u}}nstliche Intell.}, volume = {34}, number = {3}, pages = {291--301}, year = {2020}, url = {https://doi.org/10.1007/s13218-020-00651-0}, doi = {10.1007/S13218-020-00651-0}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderBKTT20, author = {Franz Baader and Stefan Borgwardt and Patrick Koopmann and Veronika Thost and Anni{-}Yasmin Turhan}, title = {Semantic Technologies for Situation Awareness}, journal = {K{\"{u}}nstliche Intell.}, volume = {34}, number = {4}, pages = {543--550}, year = {2020}, url = {https://doi.org/10.1007/s13218-020-00694-3}, doi = {10.1007/S13218-020-00694-3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderBKTT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BaaderMMO20, author = {Franz Baader and Pavlos Marantidis and Antoine Mottet and Alexander Okhotin}, title = {Extensions of unification modulo {ACUI}}, journal = {Math. Struct. Comput. Sci.}, volume = {30}, number = {6}, pages = {597--626}, year = {2020}, url = {https://doi.org/10.1017/S0960129519000185}, doi = {10.1017/S0960129519000185}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BaaderMMO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BaaderBKOT20, author = {Franz Baader and Stefan Borgwardt and Patrick Koopmann and Ana Ozaki and Veronika Thost}, title = {Metric Temporal Description Logics with Interval-Rigid Names}, journal = {{ACM} Trans. Comput. Log.}, volume = {21}, number = {4}, pages = {30:1--30:46}, year = {2020}, url = {https://doi.org/10.1145/3399443}, doi = {10.1145/3399443}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BaaderBKOT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderK20, author = {Franz Baader and Deepak Kapur}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12166}, pages = {163--180}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51074-9\_10}, doi = {10.1007/978-3-030-51074-9\_10}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/BaaderK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderR20, author = {Franz Baader and Jakub Rydval}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Description Logics with Concrete Domains and General Concept Inclusions Revisited}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12166}, pages = {413--431}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51074-9\_24}, doi = {10.1007/978-3-030-51074-9\_24}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/BaaderR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/AlrabbaaBBKK20, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {On the Complexity of Finding Good Proofs for Description Logic Entailments}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2663/paper-1.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/AlrabbaaBBKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/AlrabbaaBDFK20, author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Tamara Flemisch and Patrick Koopmann}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2663/paper-2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/AlrabbaaBDFK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderB20, author = {Franz Baader and Filippo De Bortoli}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {Description Logics That Count, and What They Can and Cannot Count (Extended Abstract)}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2663/abstract-2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKT20, author = {Franz Baader and Patrick Koopmann and Cesare Tinelli}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {First Results on How to Certify Subsumptions Computed by the {EL} Reasoner {ELK} Using the Logical Framework with Side Conditions}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2663/paper-5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderR20, author = {Franz Baader and Jakub Rydval}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract)}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2663/abstract-3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaaderBR20, author = {Franz Baader and Bartosz Bednarczyk and Sebastian Rudolph}, editor = {Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang}, title = {Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints}, booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {325}, pages = {616--623}, publisher = {{IOS} Press}, year = {2020}, url = {https://doi.org/10.3233/FAIA200146}, doi = {10.3233/FAIA200146}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/BaaderBR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/AlrabbaaBBKK20, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, editor = {Elvira Albert and Laura Kov{\'{a}}cs}, title = {Finding Small Proofs for Description Logic Entailments: Theory and Practice}, booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020}, series = {EPiC Series in Computing}, volume = {73}, pages = {32--67}, publisher = {EasyChair}, year = {2020}, url = {https://doi.org/10.29007/nhpp}, doi = {10.29007/NHPP}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AlrabbaaBBKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/BaaderKNP20, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, editor = {Jeff Z. Pan and Valentina A. M. Tamma and Claudia d'Amato and Krzysztof Janowicz and Bo Fu and Axel Polleres and Oshani Seneviratne and Lalana Kagal}, title = {Computing Compliant Anonymisations of Quantified {ABoxes} w.r.t.\ $\mathcal{EL}$ Policies}, booktitle = {The Semantic Web - {ISWC} 2020 - 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12506}, pages = {3--20}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-62419-4\_1}, doi = {10.1007/978-3-030-62419-4\_1}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/BaaderKNP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/AlrabbaaBBKK20, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, title = {Finding Small Proofs for Description Logic Entailments: Theory and Practice - {LPAR20} - Resources (Version 1)}, publisher = {Zenodo}, year = {2020}, month = may, howpublished = {\url{https://doi.org/10.5281/zenodo.8070710}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.8070710}, doi = {10.5281/ZENODO.8070710}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/AlrabbaaBBKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-06072, author = {Franz Baader and Bartosz Bednarczyk and Sebastian Rudolph}, title = {Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints}, journal = {CoRR}, volume = {abs/2002.06072}, year = {2020}, url = {https://arxiv.org/abs/2002.06072}, eprinttype = {arXiv}, eprint = {2002.06072}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-06072.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-08311, author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova}, title = {Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)}, journal = {CoRR}, volume = {abs/2004.08311}, year = {2020}, url = {https://arxiv.org/abs/2004.08311}, eprinttype = {arXiv}, eprint = {2004.08311}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-08311.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBR19, author = {Franz Baader and Bartosz Bednarczyk and Sebastian Rudolph}, editor = {Mantas Simkus and Grant E. Weddell}, title = {Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints}, booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2373}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2373/paper-3.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderGM19, author = {Franz Baader and Oliver Fern{\'{a}}ndez Gil and Pavlos Marantidis}, editor = {Mantas Simkus and Grant E. Weddell}, title = {Matching in the Description Logic {FL0} with respect to General TBoxes (Extended abstract)}, booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2373}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2373/paper-32.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderGM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderEKW19, author = {Franz Baader and Andreas Ecke and Gabriele Kern{-}Isberner and Marco Wilhelm}, editor = {Andreas Herzig and Andrei Popescu}, title = {The Complexity of the Consistency Problem in the Probabilistic Description Logic {\unicode{120016}}{\(\mathscr{L}\)}{\unicode{119966}}\({}^{\mbox{ME}}\)}, booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11715}, pages = {167--184}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29007-8\_10}, doi = {10.1007/978-3-030-29007-8\_10}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderEKW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderB19, author = {Franz Baader and Filippo De Bortoli}, editor = {Andreas Herzig and Andrei Popescu}, title = {On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets}, booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11715}, pages = {203--219}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29007-8\_12}, doi = {10.1007/978-3-030-29007-8\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BaaderKN19, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah}, editor = {Francesco Calimeri and Nicola Leone and Marco Manna}, title = {Privacy-Preserving Ontology Publishing for $\mathcal{EL}$ Instance Stores}, booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11468}, pages = {323--338}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19570-0\_21}, doi = {10.1007/978-3-030-19570-0\_21}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/BaaderKN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/WilhelmKEB19, author = {Marco Wilhelm and Gabriele Kern{-}Isberner and Andreas Ecke and Franz Baader}, editor = {Francesco Calimeri and Nicola Leone and Marco Manna}, title = {Counting Strategies for the Probabilistic Description Logic {\unicode{120016}}{\(\mathscr{L}\)}{\unicode{119966}}\({}^{\mbox{ME}}\) Under the Principle of Maximum Entropy}, booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11468}, pages = {434--449}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19570-0\_28}, doi = {10.1007/978-3-030-19570-0\_28}, timestamp = {Wed, 13 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/WilhelmKEB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jowo/XuFBBZ19, author = {Chao Xu and Walter Forkel and Stefan Borgwardt and Franz Baader and Beihai Zhou}, editor = {Adrien Barton and Selja Sepp{\"{a}}l{\"{a}} and Daniele Porello}, title = {Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries}, booktitle = {Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2518}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2518/paper-ODLS13.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:57 +0100}, biburl = {https://dblp.org/rec/conf/jowo/XuFBBZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderN19, author = {Franz Baader and Adrian Nuradiansyah}, editor = {Christoph Benzm{\"{u}}ller and Heiner Stuckenschmidt}, title = {Mixing Description Logics in Privacy-Preserving Ontology Publishing}, booktitle = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11793}, pages = {87--100}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30179-8\_7}, doi = {10.1007/978-3-030-30179-8\_7}, timestamp = {Tue, 07 May 2024 20:11:38 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/Baader19, author = {Franz Baader}, editor = {Chih{-}Cheng Hung and George A. Papadopoulos}, title = {Expressive cardinality constraints on \emph{ALCSCC} concepts}, booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing, {SAC} 2019, Limassol, Cyprus, April 8-12, 2019}, pages = {1123--1130}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3297280.3297390}, doi = {10.1145/3297280.3297390}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/Baader19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tmscs/CastrillonLKVAA18, author = {Jer{\'{o}}nimo Castrill{\'{o}}n and Matthias Lieber and Sascha Kl{\"{u}}ppelholz and Marcus V{\"{o}}lp and Nils Asmussen and Uwe A{\ss}mann and Franz Baader and Christel Baier and Gerhard P. Fettweis and Jochen Fr{\"{o}}hlich and Andr{\'{e}}s Goens and Sebastian Haas and Dirk Habich and Hermann H{\"{a}}rtig and Mattis Hasler and Immo Huismann and Tomas Karnagel and Sven Karol and Akash Kumar and Wolfgang Lehner and Linda Leuschner and Siqi Ling and Steffen M{\"{a}}rcker and Christian Menard and Johannes Mey and Wolfgang E. Nagel and Benedikt N{\"{o}}then and Rafael Pe{\~{n}}aloza and Michael Raitza and J{\"{o}}rg Stiller and Annett Ungeth{\"{u}}m and Axel Voigt and Sascha Wunderlich}, title = {A Hardware/Software Stack for Heterogeneous Systems}, journal = {{IEEE} Trans. Multi Scale Comput. Syst.}, volume = {4}, number = {3}, pages = {243--259}, year = {2018}, url = {https://doi.org/10.1109/TMSCS.2017.2771750}, doi = {10.1109/TMSCS.2017.2771750}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmscs/CastrillonLKVAA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderGP18, author = {Franz Baader and Oliver Fernandez Gil and Maximilian Pensel}, editor = {Magdalena Ortiz and Thomas Schneider}, title = {Standard and Non-Standard Inferences in the Description Logic {FL0} Using Tree Automata}, booktitle = {Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2211}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2211/paper-38.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderGP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKNP18, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, editor = {Magdalena Ortiz and Thomas Schneider}, title = {Making Repairs in Description Logics More Gentle (Extended Abstract)}, booktitle = {Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2211}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2211/paper-39.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKNP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderN18, author = {Franz Baader and Adrian Nuradiansyah}, editor = {Magdalena Ortiz and Thomas Schneider}, title = {Towards Privacy-Preserving Ontology Publishing}, booktitle = {Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2211}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2211/paper-07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/BaaderGP18, author = {Franz Baader and Oliver Fernandez Gil and Maximilian Pensel}, editor = {Daniel D. Lee and Alexander Steen and Toby Walsh}, title = {Standard and Non-Standard Inferences in the Description Logic {FL0} Using Tree Automata}, booktitle = {GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018}, series = {EPiC Series in Computing}, volume = {55}, pages = {1--14}, publisher = {EasyChair}, year = {2018}, url = {https://doi.org/10.29007/scbw}, doi = {10.29007/SCBW}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/BaaderGP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderKNP18, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, title = {Making Repairs in Description Logics More Gentle}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018}, pages = {319--328}, publisher = {{AAAI} Press}, year = {2018}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18056}, timestamp = {Tue, 09 Feb 2021 08:33:51 +0100}, biburl = {https://dblp.org/rec/conf/kr/BaaderKNP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaaderGM18, author = {Franz Baader and Oliver Fernandez Gil and Pavlos Marantidis}, editor = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes}, title = {Matching in the Description Logic {FL0} with respect to General TBoxes}, booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018}, series = {EPiC Series in Computing}, volume = {57}, pages = {76--94}, publisher = {EasyChair}, year = {2018}, url = {https://doi.org/10.29007/q74p}, doi = {10.29007/Q74P}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/BaaderGM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/BaaderGM18, author = {Franz Baader and Brigitte Grau and Yue Ma}, editor = {Pierre{-}Antoine Champin and Fabien Gandon and Mounia Lalmas and Panagiotis G. Ipeirotis}, title = {{HQA18} Workshop Chairs' Welcome {\&} Organization}, booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018, {WWW} 2018, Lyon , France, April 23-27, 2018}, pages = {1043--1044}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3184558.3192302}, doi = {10.1145/3184558.3192302}, timestamp = {Fri, 04 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/BaaderGM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/BaaderBF18, author = {Franz Baader and Stefan Borgwardt and Walter Forkel}, editor = {Pierre{-}Antoine Champin and Fabien Gandon and Mounia Lalmas and Panagiotis G. Ipeirotis}, title = {Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering}, booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018, {WWW} 2018, Lyon , France, April 23-27, 2018}, pages = {1069--1074}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3184558.3191538}, doi = {10.1145/3184558.3191538}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/www/BaaderBF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/BaaderMP18, author = {Franz Baader and Pavlos Marantidis and Maximilian Pensel}, editor = {Pierre{-}Antoine Champin and Fabien Gandon and Mounia Lalmas and Panagiotis G. Ipeirotis}, title = {The Data Complexity of Answering Instance Queries in \emph{FL0}}, booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018, {WWW} 2018, Lyon , France, April 23-27, 2018}, pages = {1603--1607}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3184558.3191618}, doi = {10.1145/3184558.3191618}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/www/BaaderMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1808-00248, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, title = {Repairing Description Logic Ontologies by Weakening Axioms}, journal = {CoRR}, volume = {abs/1808.00248}, year = {2018}, url = {http://arxiv.org/abs/1808.00248}, eprinttype = {arXiv}, eprint = {1808.00248}, timestamp = {Sun, 02 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-00248.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0041477, author = {Franz Baader and Ian Horrocks and Carsten Lutz and Ulrike Sattler}, title = {An Introduction to Description Logic}, publisher = {Cambridge University Press}, year = {2017}, url = {http://www.cambridge.org/de/academic/subjects/computer-science/knowledge-management-databases-and-data-mining/introduction-description-logic?format=PB\#17zVGeWD2TZUeu6s.97}, isbn = {978-0-521-69542-8}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0041477.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderBP17, author = {Franz Baader and Stefan Borgwardt and Rafael Pe{\~{n}}aloza}, title = {Decidability and Complexity of Fuzzy Description Logics}, journal = {K{\"{u}}nstliche Intell.}, volume = {31}, number = {1}, pages = {85--90}, year = {2017}, url = {https://doi.org/10.1007/s13218-016-0459-3}, doi = {10.1007/S13218-016-0459-3}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderBP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBKOT17, author = {Franz Baader and Stefan Borgwardt and Patrick Koopmann and Ana Ozaki and Veronika Thost}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, title = {Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)}, booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1879/paper20.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBKOT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBN17, author = {Franz Baader and Daniel Borchmann and Adrian Nuradiansyah}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, title = {Preliminary Results on the Identity Problem in Description Logic Ontologies}, booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1879/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKT17, author = {Franz Baader and Patrick Koopmann and Anni{-}Yasmin Turhan}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, title = {Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)}, booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1879/paper40.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/Baader17, author = {Franz Baader}, editor = {Clare Dixon and Marcelo Finger}, title = {A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors}, booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10483}, pages = {43--59}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66167-4\_3}, doi = {10.1007/978-3-319-66167-4\_3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/Baader17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderBKOT17, author = {Franz Baader and Stefan Borgwardt and Patrick Koopmann and Ana Ozaki and Veronika Thost}, editor = {Clare Dixon and Marcelo Finger}, title = {Metric Temporal Description Logics with Interval-Rigid Names}, booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10483}, pages = {60--76}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66167-4\_4}, doi = {10.1007/978-3-319-66167-4\_4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderBKOT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderKT17, author = {Franz Baader and Patrick Koopmann and Anni{-}Yasmin Turhan}, editor = {Clare Dixon and Marcelo Finger}, title = {Using Ontologies to Query Probabilistic Numerical Data}, booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10483}, pages = {77--94}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66167-4\_5}, doi = {10.1007/978-3-319-66167-4\_5}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/frocos/BaaderKT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/BaaderE17, author = {Franz Baader and Andreas Ecke}, editor = {Christoph Benzm{\"{u}}ller and Christine L. Lisetti and Martin Theobald}, title = {Extending the Description Logic {ALC} with More Expressive Cardinality Constraints on Concepts}, booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017}, series = {EPiC Series in Computing}, volume = {50}, pages = {6--19}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/f3hh}, doi = {10.29007/F3HH}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/BaaderE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderBL17, author = {Franz Baader and Stefan Borgwardt and Marcel Lippmann}, editor = {Carles Sierra}, title = {Query Rewriting for DL-Lite with n-ary Concrete Domains}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {786--792}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/109}, doi = {10.24963/IJCAI.2017/109}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderBL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jist/BaaderBN17, author = {Franz Baader and Daniel Borchmann and Adrian Nuradiansyah}, editor = {Zhe Wang and Anni{-}Yasmin Turhan and Kewen Wang and Xiaowang Zhang}, title = {The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding}, booktitle = {Semantic Technology - 7th Joint International Conference, {JIST} 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10675}, pages = {102--117}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-70682-5\_7}, doi = {10.1007/978-3-319-70682-5\_7}, timestamp = {Wed, 27 Jul 2022 08:20:14 +0200}, biburl = {https://dblp.org/rec/conf/jist/BaaderBN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/BaaderGM17, author = {Franz Baader and Oliver Fernandez Gil and Pavlos Marantidis}, editor = {Frank Drewes and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in \emph{FL}{\_}0}, booktitle = {Language and Automata Theory and Applications - 11th International Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10168}, pages = {3--26}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-53733-7\_1}, doi = {10.1007/978-3-319-53733-7\_1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lata/BaaderGM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/BaaderG17, author = {Franz Baader and Oliver Fernandez Gil}, editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng}, title = {Decidability and complexity of threshold description logics induced by concept similarity measures}, booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017}, pages = {983--988}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3019612.3019715}, doi = {10.1145/3019612.3019715}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/BaaderG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BaaderBM16, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, title = {Extending Unification in {EL} to Disunification: The Case of Dismatching and Local Disunification}, journal = {Log. Methods Comput. Sci.}, volume = {12}, number = {4}, year = {2016}, url = {https://doi.org/10.2168/LMCS-12(4:1)2016}, doi = {10.2168/LMCS-12(4:1)2016}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BaaderBM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/BaaderBL16, author = {Franz Baader and Meghyn Bienvenu and Carsten Lutz and Frank Wolter}, title = {Query and Predicate Emptiness in Ontology-Based Data Access}, journal = {J. Artif. Intell. Res.}, volume = {56}, pages = {1--59}, year = {2016}, url = {https://doi.org/10.1613/jair.4866}, doi = {10.1613/JAIR.4866}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jair/BaaderBL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/BaaderNBM16, author = {Franz Baader and Thanh Binh Nguyen and Stefan Borgwardt and Barbara Morawska}, title = {Deciding Unifiability and Computing Local Unifiers in the Description Logic {EL} without Top Constructor}, journal = {Notre Dame J. Formal Log.}, volume = {57}, number = {4}, pages = {443--476}, year = {2016}, url = {https://doi.org/10.1215/00294527-3555507}, doi = {10.1215/00294527-3555507}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/BaaderNBM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaaderG16, author = {Franz Baader and Oliver Fernandez Gil}, editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"{u}}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen}, title = {Extending the Description Logic with Acyclic TBoxes}, booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {285}, pages = {1096--1104}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-672-9-1096}, doi = {10.3233/978-1-61499-672-9-1096}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BaaderG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BaaderMO16, author = {Franz Baader and Pavlos Marantidis and Alexander Okhotin}, editor = {Loizos Michael and Antonis C. Kakas}, title = {Approximate Unification in the Description Logic \emph{FL}{\_}0}, booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA} 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10021}, pages = {49--63}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48758-8\_4}, doi = {10.1007/978-3-319-48758-8\_4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/BaaderMO16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/BaaderE16, author = {Franz Baader and Andreas Ecke}, editor = {Adrian{-}Horia Dediu and Jan Janousek and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {Reasoning with Prototypes in the Description Logic \emph{ALC} {ALC} Using Weighted Tree Automata}, booktitle = {Language and Automata Theory and Applications - 10th International Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9618}, pages = {63--75}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30000-9\_5}, doi = {10.1007/978-3-319-30000-9\_5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lata/BaaderE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unif/BaaderL16, author = {Franz Baader and Pierre Ludmann}, editor = {Silvio Ghilardi and Manfred Schmidt{-}Schau{\ss}}, title = {The Unification Type of {ACUI} w.r.t. the Unrestricted Instantiation Preorder is not Finitary}, booktitle = {Proceedings of the 30th International Workshop on Unification, {UNIF} 2016, Porto, Portugal, June 26, 2016}, pages = {31--36}, year = {2016}, url = {http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf\#page=31}, timestamp = {Tue, 19 Sep 2023 16:43:02 +0200}, biburl = {https://dblp.org/rec/conf/unif/BaaderL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unif/BaaderMO16, author = {Franz Baader and Pavlos Marantidis and Alexander Okhotin}, editor = {Silvio Ghilardi and Manfred Schmidt{-}Schau{\ss}}, title = {Approximately Solving Set Equations}, booktitle = {Proceedings of the 30th International Workshop on Unification, {UNIF} 2016, Porto, Portugal, June 26, 2016}, pages = {37--43}, year = {2016}, url = {http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf\#page=37}, timestamp = {Tue, 19 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/unif/BaaderMO16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/biomedsem/PetrovaMTKDBS15, author = {Alina Petrova and Yue Ma and George Tsatsaronis and Maria Kissa and Felix Distel and Franz Baader and Michael Schroeder}, title = {Formalizing biomedical concepts from textual definitions}, journal = {J. Biomed. Semant.}, volume = {6}, pages = {22}, year = {2015}, url = {https://doi.org/10.1186/s13326-015-0015-3}, doi = {10.1186/S13326-015-0015-3}, timestamp = {Fri, 04 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/biomedsem/PetrovaMTKDBS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/BaaderBP15, author = {Franz Baader and Stefan Borgwardt and Rafael Pe{\~{n}}aloza}, title = {On the Decidability Status of Fuzzy {ALC} with General Concept Inclusions}, journal = {J. Philos. Log.}, volume = {44}, number = {2}, pages = {117--146}, year = {2015}, url = {https://doi.org/10.1007/s10992-014-9329-3}, doi = {10.1007/S10992-014-9329-3}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/BaaderBP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/BaaderBL15, author = {Franz Baader and Stefan Borgwardt and Marcel Lippmann}, title = {Temporal query entailment in the Description Logic {SHQ}}, journal = {J. Web Semant.}, volume = {33}, pages = {71--93}, year = {2015}, url = {https://doi.org/10.1016/j.websem.2014.11.008}, doi = {10.1016/J.WEBSEM.2014.11.008}, timestamp = {Tue, 29 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/BaaderBL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/BaaderBL15, author = {Franz Baader and Stefan Borgwardt and Marcel Lippmann}, editor = {Bernhard Pfahringer and Jochen Renz}, title = {Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles}, booktitle = {{AI} 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9457}, pages = {21--33}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26350-2\_3}, doi = {10.1007/978-3-319-26350-2\_3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ausai/BaaderBL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBM15, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Diego Calvanese and Boris Konev}, title = {Dismatching and Local Disunification in {EL} (Extended Abstract)}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-07.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/GilBB15, author = {Oliver Fernandez Gil and Franz Baader and Gerhard Brewka}, editor = {Diego Calvanese and Boris Konev}, title = {Adding Threshold Concepts to the Description Logic {EL}}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/GilBB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderBG15, author = {Franz Baader and Gerhard Brewka and Oliver Fernandez Gil}, editor = {Carsten Lutz and Silvio Ranise}, title = {Adding Threshold Concepts to the Description Logic \emph{EL}}, booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9322}, pages = {33--48}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24246-0\_3}, doi = {10.1007/978-3-319-24246-0\_3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderBG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderBM15, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Maribel Fern{\'{a}}ndez}, title = {Dismatching and Local Disunification in {EL}}, booktitle = {26th International Conference on Rewriting Techniques and Applications, {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland}, series = {LIPIcs}, volume = {36}, pages = {40--56}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.RTA.2015.40}, doi = {10.4230/LIPICS.RTA.2015.40}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderBM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BaaderL14, author = {Franz Baader and Marcel Lippmann}, title = {Runtime verification using the temporal description logic {ALC-LTL} revisited}, journal = {J. Appl. Log.}, volume = {12}, number = {4}, pages = {584--613}, year = {2014}, url = {https://doi.org/10.1016/j.jal.2014.09.001}, doi = {10.1016/J.JAL.2014.09.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/BaaderL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderM14, author = {Franz Baader and Barbara Morawska}, editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus}, title = {Matching with Respect to General Concept Inclusions in the Description Logic {EL}}, booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1193}, pages = {33--44}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1193/paper\_29.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BaaderM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderM14, author = {Franz Baader and Barbara Morawska}, editor = {Carsten Lutz and Michael Thielscher}, title = {Matching with Respect to General Concept Inclusions in the Description Logic \emph{EL}}, booktitle = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8736}, pages = {135--146}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11206-0\_14}, doi = {10.1007/978-3-319-11206-0\_14}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/Baader14, author = {Franz Baader}, editor = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter}, title = {Ontology-Based Monitoring of Dynamic Systems}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, {KR} 2014, Vienna, Austria, July 20-24, 2014}, publisher = {{AAAI} Press}, year = {2014}, url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7972}, timestamp = {Tue, 09 Feb 2021 08:33:43 +0100}, biburl = {https://dblp.org/rec/conf/kr/Baader14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderCGM14, author = {Franz Baader and Anthony G. Cohn and Georg Gottlob and Sheila A. McIlraith}, editor = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter}, title = {Invited Talks}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, {KR} 2014, Vienna, Austria, July 20-24, 2014}, publisher = {{AAAI} Press}, year = {2014}, url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8702}, timestamp = {Tue, 20 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderCGM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unif/BaaderM14, author = {Franz Baader and Barbara Morawska}, editor = {Temur Kutsia and Christophe Ringeissen}, title = {Matching with respect to general concept inclusions in the Description Logic {EL}}, booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF} 2014, Vienna, Austria, July 13, 2014}, pages = {22--25}, year = {2014}, url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=27}, timestamp = {Tue, 19 Sep 2023 15:35:06 +0200}, biburl = {https://dblp.org/rec/conf/unif/BaaderM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BaaderO13, author = {Franz Baader and Alexander Okhotin}, title = {On Language Equations with One-sided Concatenation}, journal = {Fundam. Informaticae}, volume = {126}, number = {1}, pages = {1--35}, year = {2013}, url = {https://doi.org/10.3233/FI-2013-870}, doi = {10.3233/FI-2013-870}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BaaderO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderBL13, author = {Franz Baader and Stefan Borgwardt and Marcel Lippmann}, editor = {Maria Paola Bonacina}, title = {Temporalizing Ontology-Based Data Access}, booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7898}, pages = {330--344}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38574-2\_23}, doi = {10.1007/978-3-642-38574-2\_23}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderBL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderGM13, author = {Franz Baader and Oliver Fernandez Gil and Barbara Morawska}, editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"{o}}tzsch}, title = {Hybrid EL-Unification is NP-complete}, booktitle = {Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1014}, pages = {29--40}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1014/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderGM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderZ13, author = {Franz Baader and Benjamin Zarrie{\ss}}, editor = {Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt}, title = {Verification of Golog Programs over Description Logic Actions}, booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8152}, pages = {181--196}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40885-4\_12}, doi = {10.1007/978-3-642-40885-4\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderGM13, author = {Franz Baader and Oliver Fernandez Gil and Barbara Morawska}, editor = {Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt}, title = {Hybrid Unification in the Description Logic}, booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8152}, pages = {295--310}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40885-4\_21}, doi = {10.1007/978-3-642-40885-4\_21}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderGM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/owled/TsatsaronisPKMDBS13, author = {George Tsatsaronis and Alina Petrova and Maria Kissa and Yue Ma and Felix Distel and Franz Baader and Michael Schroeder}, editor = {Mariano Rodriguez{-}Muro and Simon Jupp and Kavitha Srinivas}, title = {Learning Formal Definitions for Biomedical Concepts}, booktitle = {Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions {(OWLED} 2013) co-located with 10th Extended Semantic Web Conference {(ESWC} 2013), Montpellier, France, May 26-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1080}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1080/owled2013\_8.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/owled/TsatsaronisPKMDBS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderGM13, author = {Franz Baader and Oliver Fernandez Gil and Barbara Morawska}, editor = {Konstantin Korovin and Barbara Morawska}, title = {Hybrid Unification in the Description Logic {EL}}, booktitle = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven, Netherlands, June 26, 2013}, series = {EPiC Series in Computing}, volume = {19}, pages = {8--12}, publisher = {EasyChair}, year = {2013}, url = {https://doi.org/10.29007/h59c}, doi = {10.29007/H59C}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderGM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/insk/BaaderT12, author = {Franz Baader and Wolfgang Thomas}, title = {Editorial}, journal = {Inform. Spektrum}, volume = {35}, number = {4}, pages = {247--248}, year = {2012}, url = {https://doi.org/10.1007/s00287-012-0630-7}, doi = {10.1007/S00287-012-0630-7}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/insk/BaaderT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BaaderGL12, author = {Franz Baader and Silvio Ghilardi and Carsten Lutz}, title = {{LTL} over description logic axioms}, journal = {{ACM} Trans. Comput. Log.}, volume = {13}, number = {3}, pages = {21:1--21:32}, year = {2012}, url = {https://doi.org/10.1145/2287718.2287721}, doi = {10.1145/2287718.2287721}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BaaderGL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/BaaderKP12, author = {Franz Baader and Martin Knechtel and Rafael Pe{\~{n}}aloza}, title = {Context-dependent views to axioms and consequences of Semantic Web ontologies}, journal = {J. Web Semant.}, volume = {12}, pages = {22--40}, year = {2012}, url = {https://doi.org/10.1016/j.websem.2011.11.006}, doi = {10.1016/J.WEBSEM.2011.11.006}, timestamp = {Tue, 29 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/BaaderKP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/BaaderBM12, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Thomas Bolander and Torben Bra{\"{u}}ner and Silvio Ghilardi and Lawrence S. Moss}, title = {Computing Minimal EL-unifiers is Hard}, booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012}, pages = {18--35}, publisher = {College Publications}, year = {2012}, url = {http://www.aiml.net/volumes/volume9/Baader-Borgwardt-Morawska.pdf}, timestamp = {Wed, 17 Jan 2024 09:57:06 +0100}, biburl = {https://dblp.org/rec/conf/aiml/BaaderBM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/BaaderBM12, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Michael Thielscher and Dongmo Zhang}, title = {A Goal-Oriented Algorithm for Unification in {\unicode{8455}}{\(\mathscr{L}\)}{\(\mathscr{H}\)}\({}_{\mbox{R+}}\) w.r.t. Cycle-Restricted Ontologies}, booktitle = {{AI} 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7691}, pages = {493--504}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35101-3\_42}, doi = {10.1007/978-3-642-35101-3\_42}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ausai/BaaderBM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderBM12a, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Santiago Escobar and Konstantin Korovin and Vladimir V. Rybakov}, title = {Recent Advances in Unification for the {EL} Family}, booktitle = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012}, series = {EPiC Series in Computing}, volume = {24}, pages = {1--6}, publisher = {EasyChair}, year = {2012}, url = {https://doi.org/10.29007/q5px}, doi = {10.29007/Q5PX}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderBM12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderBM12, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Bernhard Gramlich and Dale Miller and Uli Sattler}, title = {{SAT} Encoding of Unification in {\unicode{8455}}{\(\mathscr{L}\)}{\(\mathscr{H}\)}\({}_{\mbox{R\({}^{\mbox{+}}\)}}\) w.r.t. Cycle-Restricted Ontologies}, booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR} 2012, Manchester, UK, June 26-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7364}, pages = {30--44}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31365-3\_5}, doi = {10.1007/978-3-642-31365-3\_5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderBM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderMM12, author = {Franz Baader and Julian Mendez and Barbara Morawska}, editor = {Bernhard Gramlich and Dale Miller and Uli Sattler}, title = {{UEL:} Unification Solver for the Description Logic {\unicode{8455}}{\(\mathscr{L}\)} - System Description}, booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR} 2012, Manchester, UK, June 26-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7364}, pages = {45--51}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31365-3\_6}, doi = {10.1007/978-3-642-31365-3\_6}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBM12, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, title = {A Goal-Oriented Algorithm for Unification in {EL} w.r.t. Cycle-Restricted TBoxes}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {846}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-846/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBMM12, author = {Franz Baader and Stefan Borgwardt and Julian Mendez and Barbara Morawska}, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, title = {{UEL:} Unification Solver for {EL}}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {846}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-846/paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/YehiaLLBS12, author = {Wael Yehia and Hongkai Liu and Marcel Lippmann and Franz Baader and Mikhail Soutchanski}, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, title = {Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {846}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-846/paper\_15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/YehiaLLBS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderBM12, author = {Franz Baader and Stefan Borgwardt and Barbara Morawska}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, title = {Extending Unification in {EL} Towards General TBoxes}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012}, publisher = {{AAAI} Press}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4491}, timestamp = {Thu, 12 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderBM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaaderO12, author = {Franz Baader and Alexander Okhotin}, editor = {Nikolaj S. Bj{\o}rner and Andrei Voronkov}, title = {Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March 11-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7180}, pages = {107--121}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28717-6\_11}, doi = {10.1007/978-3-642-28717-6\_11}, timestamp = {Thu, 14 Apr 2022 20:26:15 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BaaderO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/BaaderG11, author = {Franz Baader and Silvio Ghilardi}, title = {Unification in modal and description logics}, journal = {Log. J. {IGPL}}, volume = {19}, number = {6}, pages = {705--730}, year = {2011}, url = {https://doi.org/10.1093/jigpal/jzq008}, doi = {10.1093/JIGPAL/JZQ008}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/BaaderG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/insk/Baader11, author = {Franz Baader}, title = {What's new in Description Logics}, journal = {Inform. Spektrum}, volume = {34}, number = {5}, pages = {434--442}, year = {2011}, url = {https://doi.org/10.1007/s00287-011-0534-y}, doi = {10.1007/S00287-011-0534-Y}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/insk/Baader11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderBBM11, author = {Franz Baader and Thanh Binh Nguyen and Stefan Borgwardt and Barbara Morawska}, editor = {Nikolaj S. Bj{\o}rner and Viorica Sofronie{-}Stokkermans}, title = {Unification in the Description Logic \emph{EL} without the Top Concept}, booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6803}, pages = {70--84}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22438-6\_8}, doi = {10.1007/978-3-642-22438-6\_8}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderBBM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBBM11, author = {Franz Baader and Thanh Binh Nguyen and Stefan Borgwardt and Barbara Morawska}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}, title = {Unification in the Description Logic {EL} without the Top Concept}, booktitle = {Proceedings of the 24th International Workshop on Description Logics {(DL} 2011), Barcelona, Spain, July 13-16, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {745}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBBM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderP11, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}, title = {GCIs Make Reasoning in Fuzzy {DL} with the Product T-norm Undecidable}, booktitle = {Proceedings of the 24th International Workshop on Description Logics {(DL} 2011), Barcelona, Spain, July 13-16, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {745}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-745/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderP11, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, editor = {Cesare Tinelli and Viorica Sofronie{-}Stokkermans}, title = {On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm}, booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6989}, pages = {55--70}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24364-6\_5}, doi = {10.1007/978-3-642-24364-6\_5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fuzzIEEE/BaaderP11, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, title = {Are fuzzy description logics with general concept inclusion axioms decidable?}, booktitle = {{FUZZ-IEEE} 2011, {IEEE} International Conference on Fuzzy Systems, Taipei, Taiwan, 27-30 June, 2011, Proceedings}, pages = {1735--1742}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/FUZZY.2011.6007520}, doi = {10.1109/FUZZY.2011.6007520}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fuzzIEEE/BaaderP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unif/BaaderBBM11, author = {Franz Baader and Nguyen Thanh Binh and Stefan Borgwardt and Barbara Morawska}, editor = {Franz Baader and Barbara Morawska and Jan Otop}, title = {Computing Local Unifiers in the Description Logic {EL} without the Top Concept}, booktitle = {Proceedings of the 25th International Workshop on Unification, {UNIF} 2011, Wroclaw, Poland, July 31, 2011}, pages = {2--8}, year = {2011}, url = {https://www.irif.fr/\%7Etreinen/unif/past/unif11/unif11-proceedings.pdf\#page=8}, timestamp = {Mon, 23 Oct 2023 15:28:12 +0200}, biburl = {https://dblp.org/rec/conf/unif/BaaderBBM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/unif/2011, editor = {Franz Baader and Barbara Morawska and Jan Otop}, title = {Proceedings of the 25th International Workshop on Unification, {UNIF} 2011, Wroclaw, Poland, July 31, 2011}, year = {2011}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/unif/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-1802, author = {Franz Baader and Carsten Lutz and Holger Sturm and Frank Wolter}, title = {Fusions of Description Logics and Abstract Description Systems}, journal = {CoRR}, volume = {abs/1106.1802}, year = {2011}, url = {http://arxiv.org/abs/1106.1802}, eprinttype = {arXiv}, eprint = {1106.1802}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-1802.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1006-2289, author = {Franz Baader and Barbara Morawska}, title = {Unification in the Description Logic {EL}}, journal = {Log. Methods Comput. Sci.}, volume = {6}, number = {3}, year = {2010}, url = {http://arxiv.org/abs/1006.2289}, timestamp = {Thu, 12 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1006-2289.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/insk/BaaderBN10, author = {Franz Baader and Bernhard Beckert and Tobias Nipkow}, title = {Deduktion: von der Theorie zur Anwendung}, journal = {Inform. Spektrum}, volume = {33}, number = {5}, pages = {444--451}, year = {2010}, url = {https://doi.org/10.1007/s00287-010-0461-3}, doi = {10.1007/S00287-010-0461-3}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/insk/BaaderBN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BaaderP10, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, title = {Automata-Based Axiom Pinpointing}, journal = {J. Autom. Reason.}, volume = {45}, number = {2}, pages = {91--129}, year = {2010}, url = {https://doi.org/10.1007/s10817-010-9181-2}, doi = {10.1007/S10817-010-9181-2}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BaaderP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderLT10, author = {Franz Baader and Carsten Lutz and Anni{-}Yasmin Turhan}, title = {Small is Again Beautiful in Description Logics}, journal = {K{\"{u}}nstliche Intell.}, volume = {24}, number = {1}, pages = {25--33}, year = {2010}, url = {https://doi.org/10.1007/s13218-010-0004-8}, doi = {10.1007/S13218-010-0004-8}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderLT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BaaderP10, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, title = {Axiom Pinpointing in General Tableaux}, journal = {J. Log. Comput.}, volume = {20}, number = {1}, pages = {5--34}, year = {2010}, url = {https://doi.org/10.1093/logcom/exn058}, doi = {10.1093/LOGCOM/EXN058}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/BaaderP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaaderLM10, author = {Franz Baader and Hongkai Liu and Anees ul Mehdi}, editor = {Helder Coelho and Rudi Studer and Michael J. Wooldridge}, title = {Verifying Properties of Infinite Sequences of Description Logic Actions}, booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, pages = {53--58}, publisher = {{IOS} Press}, year = {2010}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17713}, timestamp = {Fri, 26 Apr 2019 14:26:43 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BaaderLM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderBLW10, author = {Franz Baader and Meghyn Bienvenu and Carsten Lutz and Frank Wolter}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {Query and Predicate Emptiness in Description Logics}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1246}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/BaaderBLW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaaderLL10, author = {Franz Baader and Marcel Lippmann and Hongkai Liu}, editor = {Christian G. Ferm{\"{u}}ller and Andrei Voronkov}, title = {Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6397}, pages = {82--96}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16242-8\_7}, doi = {10.1007/978-3-642-16242-8\_7}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BaaderLL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaaderM10, author = {Franz Baader and Barbara Morawska}, editor = {Christian G. Ferm{\"{u}}ller and Andrei Voronkov}, title = {{SAT} Encoding of Unification in \emph{EL}}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6397}, pages = {97--111}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16242-8\_8}, doi = {10.1007/978-3-642-16242-8\_8}, timestamp = {Thu, 12 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BaaderM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmi/SchulzSBB09, author = {Stefan Schulz and Boontawee Suntisrivaraporn and Franz Baader and Martin Boeker}, title = {{SNOMED} reaching its adolescence: Ontologists' and logicians' health check}, journal = {Int. J. Medical Informatics}, volume = {78}, number = {Supplement-1}, pages = {S86--S94}, year = {2009}, url = {https://doi.org/10.1016/j.ijmedinf.2008.06.004}, doi = {10.1016/J.IJMEDINF.2008.06.004}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijmi/SchulzSBB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBLW09, author = {Franz Baader and Meghyn Bienvenu and Carsten Lutz and Frank Wolter}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Query Answering over {DL} ABoxes: How to Pick the Relevant Symbols}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_29.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderM09, author = {Franz Baader and Barbara Morawska}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Unification in the Description Logic {EL}}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_54.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderBL09, author = {Franz Baader and Andreas Bauer and Marcel Lippmann}, editor = {Silvio Ghilardi and Roberto Sebastiani}, title = {Runtime Verification Using a Temporal Description Logic}, booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5749}, pages = {149--164}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04222-5\_9}, doi = {10.1007/978-3-642-04222-5\_9}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderBL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/DrescherLBGPST09, author = {Conrad Drescher and Hongkai Liu and Franz Baader and Steffen Guhlemann and Uwe Petersohn and Peter Steinke and Michael Thielscher}, editor = {Silvio Ghilardi and Roberto Sebastiani}, title = {Putting ABox Updates into Action}, booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5749}, pages = {214--229}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04222-5\_13}, doi = {10.1007/978-3-642-04222-5\_13}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/DrescherLBGPST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfca/BaaderS09, author = {Franz Baader and Baris Sertkaya}, editor = {S{\'{e}}bastien Ferr{\'{e}} and Sebastian Rudolph}, title = {Usability Issues in Description Logic Knowledge Base Completion}, booktitle = {Formal Concept Analysis, 7th International Conference, {ICFCA} 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5548}, pages = {1--21}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01815-2\_1}, doi = {10.1007/978-3-642-01815-2\_1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfca/BaaderS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfca/BaaderD09, author = {Franz Baader and Felix Distel}, editor = {S{\'{e}}bastien Ferr{\'{e}} and Sebastian Rudolph}, title = {Exploring Finite Models in the Description Logic}, booktitle = {Formal Concept Analysis, 7th International Conference, {ICFCA} 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5548}, pages = {146--161}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01815-2\_12}, doi = {10.1007/978-3-642-01815-2\_12}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfca/BaaderD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/BaaderBT09, author = {Franz Baader and Andreas Bauer and Alwen Tiu}, editor = {Adrian{-}Horia Dediu and Armand{-}Mihai Ionescu and Carlos Mart{\'{\i}}n{-}Vide}, title = {Matching Trace Patterns with Regular Policies}, booktitle = {Language and Automata Theory and Applications, Third International Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5457}, pages = {105--116}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00982-2\_9}, doi = {10.1007/978-3-642-00982-2\_9}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lata/BaaderBT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderM09, author = {Franz Baader and Barbara Morawska}, editor = {Ralf Treinen}, title = {Unification in the Description Logic {EL}}, booktitle = {Rewriting Techniques and Applications, 20th International Conference, {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5595}, pages = {350--364}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02348-4\_25}, doi = {10.1007/978-3-642-02348-4\_25}, timestamp = {Thu, 12 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/Baader09, author = {Franz Baader}, editor = {Sergio Tessaris and Enrico Franconi and Thomas Eiter and Claudio Gutierrez and Siegfried Handschuh and Marie{-}Christine Rousset and Renate A. Schmidt}, title = {Description Logics}, booktitle = {Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5689}, pages = {1--39}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03754-2\_1}, doi = {10.1007/978-3-642-03754-2\_1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rweb/Baader09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/BaaderKP09, author = {Franz Baader and Martin Knechtel and Rafael Pe{\~{n}}aloza}, editor = {Abraham Bernstein and David R. Karger and Tom Heath and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan}, title = {A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms}, booktitle = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference, {ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5823}, pages = {49--64}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04930-9\_4}, doi = {10.1007/978-3-642-04930-9\_4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/BaaderKP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/BaaderBBCGJLRS09, author = {Franz Baader and Andreas Bauer and Peter Baumgartner and Anne Cregan and Alfredo Gabaldon and Krystian Ji and Kevin Lee and David Rajaratnam and Rolf Schwitter}, editor = {Martin Giese and Arild Waaler}, title = {A Novel Architecture for Situation Awareness Systems}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5607}, pages = {77--92}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02716-1\_7}, doi = {10.1007/978-3-642-02716-1\_7}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/BaaderBBCGJLRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ihis/BaaderHS09, author = {Franz Baader and Ian Horrocks and Ulrike Sattler}, editor = {Steffen Staab and Rudi Studer}, title = {Description Logics}, booktitle = {Handbook on Ontologies}, series = {International Handbooks on Information Systems}, pages = {21--43}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-540-92673-3\_1}, doi = {10.1007/978-3-540-92673-3\_1}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/ihis/BaaderHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaaderHP08, author = {Franz Baader and Jan Hladik and Rafael Pe{\~{n}}aloza}, title = {Automata can show PSpace results for description logics}, journal = {Inf. Comput.}, volume = {206}, number = {9-10}, pages = {1045--1056}, year = {2008}, url = {https://doi.org/10.1016/j.ic.2008.03.006}, doi = {10.1016/J.IC.2008.03.006}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaaderHP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderP08, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, title = {Automata-Based Axiom Pinpointing}, booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008, Sydney, Australia, August 12-15, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5195}, pages = {226--241}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71070-7\_19}, doi = {10.1007/978-3-540-71070-7\_19}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderGL08, author = {Franz Baader and Silvio Ghilardi and Carsten Lutz}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {{LTL} over Description Logic Axioms}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/BaaderGhilardiLutz.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderGL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderNS08, author = {Franz Baader and Novak Novakovik and Boontawee Suntisrivaraporn}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/BaaderNovakovikSuntisrivaraporn.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderNS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfca/BaaderD08, author = {Franz Baader and Felix Distel}, editor = {Raoul Medina and Sergei A. Obiedkov}, title = {A Finite Basis for the Set of EL-Implications Holding in a Finite Model}, booktitle = {Formal Concept Analysis, 6th International Conference, {ICFCA} 2008, Montreal, Canada, February 25-28, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4933}, pages = {46--61}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78137-0\_4}, doi = {10.1007/978-3-540-78137-0\_4}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/icfca/BaaderD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderGL08, author = {Franz Baader and Silvio Ghilardi and Carsten Lutz}, editor = {Gerhard Brewka and J{\'{e}}r{\^{o}}me Lang}, title = {{LTL} over Description Logic Axioms}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, {KR} 2008, Sydney, Australia, September 16-19, 2008}, pages = {684--694}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/KR/2008/kr08-067.php}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/BaaderGL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/krmed/BaaderS08, author = {Franz Baader and Boontawee Suntisrivaraporn}, editor = {Ronald Cornet and Kent A. Spackman}, title = {Debugging {SNOMED} {CT} Using Axiom Pinpointing in the Description Logic {EL+}}, booktitle = {Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona, USA, May 31st - June 2nd, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {410}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-410/Paper01.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:31 +0100}, biburl = {https://dblp.org/rec/conf/krmed/BaaderS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/owled/BaaderLB08, author = {Franz Baader and Carsten Lutz and Sebastian Brandt}, editor = {Kendall Clark and Peter F. Patel{-}Schneider}, title = {Pushing the {EL} Envelope Further}, booktitle = {Proceedings of the Fourth {OWLED} Workshop on {OWL:} Experiences and Directions, Washington, DC, USA, 1-2 April 2008}, series = {{CEUR} Workshop Proceedings}, volume = {496}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-496/owled2008dc\_paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/owled/BaaderLB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unif/BaaderBT08, author = {Franz Baader and Andreas Bauer and Alwen Tiu}, editor = {Mircea Marin}, title = {Matching linear and non-linear trace patterns with regular policies}, booktitle = {Proceedings of the 22nd International Workshop on Unification, {UNIF} 2008, Castle of Hagenberg, Austria, July 18, 2008}, pages = {16--24}, year = {2008}, url = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=24}, timestamp = {Tue, 19 Sep 2023 14:44:31 +0200}, biburl = {https://dblp.org/rec/conf/unif/BaaderBT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unif/BaaderM08, author = {Franz Baader and Barbara Morawska}, editor = {Mircea Marin}, title = {Unification in the Description Logic {EL} is of Type Zero}, booktitle = {Proceedings of the 22nd International Workshop on Unification, {UNIF} 2008, Castle of Hagenberg, Austria, July 18, 2008}, pages = {25--34}, year = {2008}, url = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=33}, timestamp = {Tue, 19 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/unif/BaaderM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dlog/2008, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353}, urn = {urn:nbn:de:0074-353-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/fai/BaaderHS08, author = {Franz Baader and Ian Horrocks and Ulrike Sattler}, editor = {Frank van Harmelen and Vladimir Lifschitz and Bruce W. Porter}, title = {Description Logics}, booktitle = {Handbook of Knowledge Representation}, series = {Foundations of Artificial Intelligence}, volume = {3}, pages = {135--179}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/S1574-6526(07)03003-9}, doi = {10.1016/S1574-6526(07)03003-9}, timestamp = {Mon, 06 Nov 2023 17:08:49 +0100}, biburl = {https://dblp.org/rec/reference/fai/BaaderHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BaaderST07, author = {Franz Baader and Baris Sertkaya and Anni{-}Yasmin Turhan}, title = {Computing the least common subsumer w.r.t. a background terminology}, journal = {J. Appl. Log.}, volume = {5}, number = {3}, pages = {392--420}, year = {2007}, url = {https://doi.org/10.1016/j.jal.2006.03.002}, doi = {10.1016/J.JAL.2006.03.002}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/BaaderST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Baader07, author = {Franz Baader}, title = {Preface to Special Issue on Reasoning in Description Logics}, journal = {J. Autom. Reason.}, volume = {39}, number = {3}, pages = {245--247}, year = {2007}, url = {https://doi.org/10.1007/s10817-007-9081-2}, doi = {10.1007/S10817-007-9081-2}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Baader07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/BaaderG07, author = {Franz Baader and Silvio Ghilardi}, title = {Connecting many-sorted theories}, journal = {J. Symb. Log.}, volume = {72}, number = {2}, pages = {535--583}, year = {2007}, url = {https://doi.org/10.2178/jsl/1185803623}, doi = {10.2178/JSL/1185803623}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/BaaderG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aime/SuntisrivarapornBSS07, author = {Boontawee Suntisrivaraporn and Franz Baader and Stefan Schulz and Kent A. Spackman}, editor = {Riccardo Bellazzi and Ameen Abu{-}Hanna and Jim Hunter}, title = {Replacing SEP-Triplets in {SNOMED} {CT} Using Tractable Description Logic Operators}, booktitle = {Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, {AIME} 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4594}, pages = {287--291}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73599-1\_38}, doi = {10.1007/978-3-540-73599-1\_38}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/aime/SuntisrivarapornBSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderHP07, author = {Franz Baader and Jan Hladik and Rafael Pe{\~{n}}aloza}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni{-}Yasmin Turhan and Sergio Tessaris}, title = {Blocking Automata for {PSPACE} DLs}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {250}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-250/paper\_25.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderHP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderPS07, author = {Franz Baader and Rafael Pe{\~{n}}aloza and Boontawee Suntisrivaraporn}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni{-}Yasmin Turhan and Sergio Tessaris}, title = {Pinpointing in the Description Logic {EL}}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {250}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-250/paper\_16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderGSS07, author = {Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler}, editor = {Manuela M. Veloso}, title = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis}, booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, pages = {230--235}, year = {2007}, url = {http://ijcai.org/Proceedings/07/Papers/035.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:11 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderGSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderPS07, author = {Franz Baader and Rafael Pe{\~{n}}aloza and Boontawee Suntisrivaraporn}, editor = {Joachim Hertzberg and Michael Beetz and Roman Englert}, title = {Pinpointing in the Description Logic \emph{EL}\({}^{\mbox{+}}\)}, booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September 10-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4667}, pages = {52--67}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74565-5\_7}, doi = {10.1007/978-3-540-74565-5\_7}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/BaaderHP07, author = {Franz Baader and Jan Hladik and Rafael Pe{\~{n}}aloza}, editor = {Remco Loos and Szil{\'{a}}rd Zsolt Fazekas and Carlos Mart{\'{\i}}n{-}Vide}, title = {SI! Automata Can Show {PSPACE} Results for Description Logics}, booktitle = {{LATA} 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications}, volume = {Report 35/07}, pages = {67--78}, publisher = {Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona}, year = {2007}, timestamp = {Mon, 15 Jun 2015 11:59:26 +0200}, biburl = {https://dblp.org/rec/conf/lata/BaaderHP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/medinfo/SchulzSB07, author = {Stefan Schulz and Boontawee Suntisrivaraporn and Franz Baader}, editor = {Klaus A. Kuhn and James R. Warren and Tze{-}Yun Leong}, title = {{SNOMED} CT's Problem List: Ontologists' and Logicians' Therapy Suggestions}, booktitle = {{MEDINFO} 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics - Building Sustainable Health Systems, 20-24 August, 2007, Brisbane, Australia}, series = {Studies in Health Technology and Informatics}, volume = {129}, pages = {802--806}, publisher = {{IOS} Press}, year = {2007}, url = {https://doi.org/10.3233/978-1-58603-774-1-802}, doi = {10.3233/978-1-58603-774-1-802}, timestamp = {Thu, 29 Mar 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/medinfo/SchulzSB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/owled/BaaderGSS07, author = {Franz Baader and Bernhard Ganter and Ulrike Sattler and Baris Sertkaya}, editor = {Christine Golbreich and Aditya Kalyanpur and Bijan Parsia}, title = {Completing Description Logic Knowledge Bases using Formal Concept Analysis}, booktitle = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and Directions, Innsbruck, Austria, June 6-7, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {258}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-258/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/owled/BaaderGSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/BaaderP07, author = {Franz Baader and Rafael Pe{\~{n}}aloza}, editor = {Nicola Olivetti}, title = {Axiom Pinpointing in General Tableaux}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, {TABLEAUX} 2007, Aix en Provence, France, July 3-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4548}, pages = {11--27}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73099-6\_4}, doi = {10.1007/978-3-540-73099-6\_4}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/BaaderP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/07/BaaderL07, author = {Franz Baader and Carsten Lutz}, editor = {Patrick Blackburn and J. F. A. K. van Benthem and Frank Wolter}, title = {Description logic}, booktitle = {Handbook of Modal Logic}, series = {Studies in logic and practical reasoning}, volume = {3}, pages = {757--819}, publisher = {North-Holland}, year = {2007}, url = {https://doi.org/10.1016/s1570-2464(07)80016-4}, doi = {10.1016/S1570-2464(07)80016-4}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/el/07/BaaderL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7401, editor = {Franz Baader and Byron Cook and J{\"{u}}rgen Giesl and Robert Nieuwenhuis}, title = {Deduction and Decision Procedures, 30.09. - 05.10.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07401}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/portals/07401/}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7401.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rta/2007, editor = {Franz Baader}, title = {Term Rewriting and Applications, 18th International Conference, {RTA} 2007, Paris, France, June 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4533}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73449-9}, doi = {10.1007/978-3-540-73449-9}, isbn = {978-3-540-73447-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BaaderCGN07, author = {Franz Baader and Byron Cook and J{\"{u}}rgen Giesl and Robert Nieuwenhuis}, editor = {Franz Baader and Byron Cook and J{\"{u}}rgen Giesl and Robert Nieuwenhuis}, title = {07401 Executive Summary -- Deduction and Decision Procedures}, booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07401}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1251}, timestamp = {Sun, 02 Oct 2022 15:58:47 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BaaderCGN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BaaderCGN07a, author = {Franz Baader and Byron Cook and J{\"{u}}rgen Giesl and Robert Nieuwenhuis}, editor = {Franz Baader and Byron Cook and J{\"{u}}rgen Giesl and Robert Nieuwenhuis}, title = {07401 Abstracts Collection -- Deduction and Decision Procedures}, booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07401}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1252}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BaaderCGN07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaaderGT06, author = {Franz Baader and Silvio Ghilardi and Cesare Tinelli}, title = {A new combination procedure for the word problem that generalizes fusion decidability results in modal logics}, journal = {Inf. Comput.}, volume = {204}, number = {10}, pages = {1413--1452}, year = {2006}, url = {https://doi.org/10.1016/j.ic.2005.05.009}, doi = {10.1016/J.IC.2005.05.009}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaaderGT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderLS06, author = {Franz Baader and Carsten Lutz and Boontawee Suntisrivaraporn}, editor = {Ulrich Furbach and Natarajan Shankar}, title = {{CEL} - {A} Polynomial-Time Reasoner for Life Science Ontologies}, booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4130}, pages = {287--291}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11814771\_25}, doi = {10.1007/11814771\_25}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderLS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderLS06, author = {Franz Baader and Carsten Lutz and Boontawee Suntisrivaraporn}, editor = {Bijan Parsia and Ulrike Sattler and David Toman}, title = {Efficient Reasoning in \emph{EL+}}, booktitle = {Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {189}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-189/submission\_8.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderLS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/owled/LutzBFLMRSST06, author = {Carsten Lutz and Franz Baader and Enrico Franconi and Domenico Lembo and Ralf M{\"{o}}ller and Riccardo Rosati and Ulrike Sattler and Boontawee Suntisrivaraporn and Sergio Tessaris}, editor = {Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace}, title = {Reasoning Support for Ontology Design}, booktitle = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {216}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-216/submission\_2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/owled/LutzBFLMRSST06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2005P5431, editor = {Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov}, title = {Deduction and Applications, 23.-28. October 2005}, series = {Dagstuhl Seminar Proceedings}, volume = {05431}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2006}, url = {http://drops.dagstuhl.de/portals/05431/}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5431.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Baader05, author = {Franz Baader}, title = {19th International Conference on Automated Deduction {(CADE-19)}}, journal = {Inf. Comput.}, volume = {199}, number = {1-2}, pages = {1--2}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2005.02.001}, doi = {10.1016/J.IC.2005.02.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Baader05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BaaderLMSW05, author = {Franz Baader and Carsten Lutz and Maja Milicic and Ulrike Sattler and Frank Wolter}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, title = {Integrating Description Logics and Action Formalisms: First Results}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}}, pages = {572--577}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2005}, url = {http://www.aaai.org/Library/AAAI/2005/aaai05-089.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BaaderLMSW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BaaderHS05, author = {Franz Baader and Ian Horrocks and Ulrike Sattler}, editor = {Dieter Hutter and Werner Stephan}, title = {Description Logics as Ontology Languages for the Semantic Web}, booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg H. Siekmann on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {2605}, pages = {228--248}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-32254-2\_14}, doi = {10.1007/978-3-540-32254-2\_14}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BaaderHS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderG05, author = {Franz Baader and Silvio Ghilardi}, editor = {Robert Nieuwenhuis}, title = {Connecting Many-Sorted Theories}, booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3632}, pages = {278--294}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11532231\_21}, doi = {10.1007/11532231\_21}, timestamp = {Sun, 02 Oct 2022 15:55:55 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderLKT05, author = {Franz Baader and Carsten Lutz and Eldar Karabaev and Manfred Thei{\ss}en}, editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter}, title = {A new \emph{n}-ary existential quantifier in description logics}, booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005}, series = {{CEUR} Workshop Proceedings}, volume = {147}, publisher = {CEUR-WS.org}, year = {2005}, url = {https://ceur-ws.org/Vol-147/01-BaaderEtAl.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderLKT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderMLSW05, author = {Franz Baader and Maja Milicic and Carsten Lutz and Ulrike Sattler and Frank Wolter}, editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter}, title = {Integrating Description Logics and Action Formalisms: First Results}, booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005}, series = {{CEUR} Workshop Proceedings}, volume = {147}, publisher = {CEUR-WS.org}, year = {2005}, url = {https://ceur-ws.org/Vol-147/04-BMLSW.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderMLSW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderG05, author = {Franz Baader and Silvio Ghilardi}, editor = {Bernhard Gramlich}, title = {Connecting Many-Sorted Structures and Theories Through Adjoint Functions}, booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3717}, pages = {31--47}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11559306\_2}, doi = {10.1007/11559306\_2}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderBL05, author = {Franz Baader and Sebastian Brandt and Carsten Lutz}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, title = {Pushing the {EL} Envelope}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}, pages = {364--369}, publisher = {Professional Book Center}, year = {2005}, url = {http://ijcai.org/Proceedings/05/Papers/0372.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:29 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderBL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderKLT05, author = {Franz Baader and Eldar Karabaev and Carsten Lutz and Manfred Thei{\ss}en}, editor = {Ulrich Furbach}, title = {A New \emph{n}-Ary Existential Quantifier in Description Logics}, booktitle = {{KI} 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, {KI} 2005, Koblenz, Germany, September 11-14, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3698}, pages = {18--33}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11551263\_4}, doi = {10.1007/11551263\_4}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderKLT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lpar/2004, editor = {Franz Baader and Andrei Voronkov}, title = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, {LPAR} 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3452}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b106931}, doi = {10.1007/B106931}, isbn = {3-540-25236-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BaaderBNV05, author = {Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov}, editor = {Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov}, title = {05431 Executive Summary - Deduction and Applications}, booktitle = {Deduction and Applications, 23.-28. October 2005}, series = {Dagstuhl Seminar Proceedings}, volume = {05431}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/510}, timestamp = {Sun, 02 Oct 2022 15:58:47 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BaaderBNV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BaaderBNV05a, author = {Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov}, editor = {Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov}, title = {05431 Abstracts Collection - Deduction and Applications}, booktitle = {Deduction and Applications, 23.-28. October 2005}, series = {Dagstuhl Seminar Proceedings}, volume = {05431}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/562}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BaaderBNV05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderGT04, author = {Franz Baader and Silvio Ghilardi and Cesare Tinelli}, editor = {David A. Basin and Micha{\"{e}}l Rusinowitch}, title = {A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics}, booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR} 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3097}, pages = {183--197}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25984-8\_11}, doi = {10.1007/978-3-540-25984-8\_11}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderGT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderST04, author = {Franz Baader and Baris Sertkaya and Anni{-}Yasmin Turhan}, editor = {Volker Haarslev and Ralf M{\"{o}}ller}, title = {Computing the Least Common Subsumer w.r.t. a Background Terminology}, booktitle = {Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, series = {{CEUR} Workshop Proceedings}, volume = {104}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-104/02Baader-final.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderST04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfca/BaaderS04, author = {Franz Baader and Baris Sertkaya}, editor = {Peter W. Eklund}, title = {Applying Formal Concept Analysis to Description Logics}, booktitle = {Concept Lattices, Second International Conference on Formal Concept Analysis, {ICFCA} 2004, Sydney, Australia, February 23-26, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2961}, pages = {261--286}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24651-0\_24}, doi = {10.1007/978-3-540-24651-0\_24}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfca/BaaderS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Baader04, author = {Franz Baader}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Engineering of Logics for the Content-Based Representation of Information}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {2--3}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_2}, doi = {10.1007/978-3-540-30227-8\_2}, timestamp = {Tue, 07 May 2024 20:11:09 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Baader04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BaaderST04, author = {Franz Baader and Baris Sertkaya and Anni{-}Yasmin Turhan}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Computing the Least Common Subsumer w.r.t. a Background Terminology}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {400--412}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_34}, doi = {10.1007/978-3-540-30227-8\_34}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BaaderST04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/Baader04, author = {Franz Baader}, editor = {Juraj Hromkovic and Manfred Nagl and Bernhard Westfechtel}, title = {A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic {EL}}, booktitle = {Graph-Theoretic Concepts in Computer Science, 30th International Workshop,WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3353}, pages = {177--188}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30559-0\_15}, doi = {10.1007/978-3-540-30559-0\_15}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wg/Baader04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/staabS2004/BaaderHS04, author = {Franz Baader and Ian Horrocks and Ulrike Sattler}, editor = {Steffen Staab and Rudi Studer}, title = {Description Logics}, booktitle = {Handbook on Ontologies}, series = {International Handbooks on Information Systems}, pages = {3--28}, publisher = {Springer}, year = {2004}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/staabS2004/BaaderHS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0412101, author = {Franz Baader and Stephan Tobies}, title = {The Inverse Method Implements the Automata Approach for Modal Satisfiability}, journal = {CoRR}, volume = {abs/cs/0412101}, year = {2004}, url = {http://arxiv.org/abs/cs/0412101}, eprinttype = {arXiv}, eprint = {cs/0412101}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0412101.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BaaderHLW03, author = {Franz Baader and Jan Hladik and Carsten Lutz and Frank Wolter}, title = {From Tableaux to Automata for Description Logics}, journal = {Fundam. Informaticae}, volume = {57}, number = {2-4}, pages = {247--279}, year = {2003}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-08}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BaaderHLW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/BaaderS03, author = {Franz Baader and Ulrike Sattler}, title = {Description logics with aggregates and concrete domains}, journal = {Inf. Syst.}, volume = {28}, number = {8}, pages = {979--1004}, year = {2003}, url = {https://doi.org/10.1016/S0306-4379(03)00003-6}, doi = {10.1016/S0306-4379(03)00003-6}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/is/BaaderS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Baader03, author = {Franz Baader}, editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi}, title = {Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles}, booktitle = {Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, series = {{CEUR} Workshop Proceedings}, volume = {81}, publisher = {CEUR-WS.org}, year = {2003}, url = {https://ceur-ws.org/Vol-81/baader.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Baader03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccs/Baader03, author = {Franz Baader}, editor = {Aldo de Moor and Wilfried Lex and Bernhard Ganter}, title = {Computing the Least Common Subsumer in the Description Logic {EL} w.r.t. Terminological Cycles with Descriptive Semantics}, booktitle = {Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, {ICCS} 2003 Dresden, Germany, July 21-25, 2003 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2746}, pages = {117--130}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45091-7\_8}, doi = {10.1007/978-3-540-45091-7\_8}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/iccs/Baader03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Baader03, author = {Franz Baader}, editor = {Georg Gottlob and Toby Walsh}, title = {Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {319--324}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/047.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Baader03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Baader03a, author = {Franz Baader}, editor = {Georg Gottlob and Toby Walsh}, title = {Terminological Cycles in a Description Logic with Existential Restrictions}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {325--330}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/048.pdf}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Baader03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/Baader03, author = {Franz Baader}, editor = {Andreas G{\"{u}}nter and Rudolf Kruse and Bernd Neumann}, title = {The Instance Problem and the Most Specific Concept in the Description Logic {EL} w.r.t. Terminological Cycles with Descriptive Semantics}, booktitle = {{KI} 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, {KI} 2003, Hamburg, Germany, September 15-18, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2821}, pages = {64--78}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39451-8\_6}, doi = {10.1007/978-3-540-39451-8\_6}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/Baader03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaaderHLW03, author = {Franz Baader and Jan Hladik and Carsten Lutz and Frank Wolter}, editor = {Moshe Y. Vardi and Andrei Voronkov}, title = {From Tableaux to Automata for Description Logics}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, {LPAR} 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2850}, pages = {1--32}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39813-4\_1}, doi = {10.1007/978-3-540-39813-4\_1}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/BaaderHLW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/dlog/BaaderN03, author = {Franz Baader and Werner Nutt}, editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel{-}Schneider}, title = {Basic Description Logics}, booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications}, pages = {43--95}, publisher = {Cambridge University Press}, year = {2003}, timestamp = {Mon, 20 Nov 2017 13:02:05 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/dlog/BaaderKW03, author = {Franz Baader and Ralf K{\"{u}}sters and Frank Wolter}, editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel{-}Schneider}, title = {Extensions to Description Logics}, booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications}, pages = {219--261}, publisher = {Cambridge University Press}, year = {2003}, timestamp = {Mon, 20 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/dlog/Baader03a, author = {Franz Baader}, editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel{-}Schneider}, title = {Description Logic Terminology}, booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications}, pages = {485--495}, publisher = {Cambridge University Press}, year = {2003}, timestamp = {Mon, 20 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Baader03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2003, editor = {Franz Baader}, title = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b11829}, doi = {10.1007/B11829}, isbn = {3-540-40559-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:conf/dlog/2003handbook, editor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel{-}Schneider}, title = {The Description Logic Handbook: Theory, Implementation, and Applications}, publisher = {Cambridge University Press}, year = {2003}, isbn = {0-521-78176-0}, timestamp = {Mon, 20 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/2003handbook.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BaaderT02, author = {Franz Baader and Cesare Tinelli}, title = {Deciding the Word Problem in the Union of Equational Theories}, journal = {Inf. Comput.}, volume = {178}, number = {2}, pages = {346--390}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.3118}, doi = {10.1006/INCO.2001.3118}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BaaderT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/BaaderLSW02, author = {Franz Baader and Carsten Lutz and Holger Sturm and Frank Wolter}, title = {Fusions of Description Logics and Abstract Description Systems}, journal = {J. Artif. Intell. Res.}, volume = {16}, pages = {1--58}, year = {2002}, url = {https://doi.org/10.1613/jair.919}, doi = {10.1613/JAIR.919}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/BaaderLSW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderHS02, author = {Franz Baader and Ian Horrocks and Ulrike Sattler}, title = {Description Logics for the Semantic Web}, journal = {K{\"{u}}nstliche Intell.}, volume = {16}, number = {4}, pages = {57--59}, year = {2002}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderHS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderK02, author = {Franz Baader and Ralf K{\"{u}}sters}, editor = {Ian Horrocks and Sergio Tessaris}, title = {Unification in a Description Logic with Inconsistency and Transitive Closure of Roles}, booktitle = {Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002}, series = {{CEUR} Workshop Proceedings}, volume = {53}, publisher = {CEUR-WS.org}, year = {2002}, url = {https://ceur-ws.org/Vol-53/BaaderKuesters-unification.ps}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderT02, author = {Franz Baader and Anni{-}Yasmin Turhan}, editor = {Matthias Jarke and Jana Koehler and Gerhard Lakemeyer}, title = {On the Problem of Computing Small Representations of Least Common Subsumers}, booktitle = {{KI} 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, {KI} 2002, Aachen, Germany, September 16-20, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2479}, pages = {99--113}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45751-8\_7}, doi = {10.1007/3-540-45751-8\_7}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Baader02, author = {Franz Baader}, editor = {Sophie Tison}, title = {Engineering of Logics for the Content-Based Representation of Information}, booktitle = {Rewriting Techniques and Applications, 13th International Conference, {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2378}, pages = {23}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45610-4\_3}, doi = {10.1007/3-540-45610-4\_3}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Baader02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderT02, author = {Franz Baader and Cesare Tinelli}, editor = {Sophie Tison}, title = {Combining Decision Procedures for Positive Theories Sharing Constructors}, booktitle = {Rewriting Techniques and Applications, 13th International Conference, {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2378}, pages = {352--366}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45610-4\_25}, doi = {10.1007/3-540-45610-4\_25}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/FenselBRW01, author = {Dieter Fensel and Franz Baader and Marie{-}Christine Rousset and Holger Wache}, title = {Heterogeneous information resources need semantic access}, journal = {Data Knowl. Eng.}, volume = {36}, number = {3}, pages = {211--213}, year = {2001}, url = {https://doi.org/10.1016/S0169-023X(00)00046-X}, doi = {10.1016/S0169-023X(00)00046-X}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/FenselBRW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/BaaderN01, author = {Franz Baader and Paliath Narendran}, title = {Unification of Concept Terms in Description Logics}, journal = {J. Symb. Comput.}, volume = {31}, number = {3}, pages = {277--305}, year = {2001}, url = {https://doi.org/10.1006/jsco.2000.0426}, doi = {10.1006/JSCO.2000.0426}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/BaaderN01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/BaaderS01, author = {Franz Baader and Ulrike Sattler}, title = {An Overview of Tableau Algorithms for Description Logics}, journal = {Stud Logica}, volume = {69}, number = {1}, pages = {5--40}, year = {2001}, url = {https://doi.org/10.1023/A:1013882326814}, doi = {10.1023/A:1013882326814}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/BaaderS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderT01, author = {Franz Baader and Stephan Tobies}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {The Inverse Method Implements the Automata Approach for Modal Satisfiability}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {92--106}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_8}, doi = {10.1007/3-540-45744-5\_8}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderK01, author = {Franz Baader and Ralf K{\"{u}}sters}, editor = {Carole A. Goble and Deborah L. McGuinness and Ralf M{\"{o}}ller and Peter F. Patel{-}Schneider}, title = {Unification in a Description Logic with Transitive Closure of Roles}, booktitle = {Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, series = {{CEUR} Workshop Proceedings}, volume = {49}, publisher = {CEUR-WS.org}, year = {2001}, url = {https://ceur-ws.org/Vol-49/BaaderKuesters-36start.ps}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderT01, author = {Franz Baader and Anni{-}Yasmin Turhan}, editor = {Carole A. Goble and Deborah L. McGuinness and Ralf M{\"{o}}ller and Peter F. Patel{-}Schneider}, title = {TBoxes do not Yield a Compact Representation of Least Common Subsumers}, booktitle = {Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, series = {{CEUR} Workshop Proceedings}, volume = {49}, publisher = {CEUR-WS.org}, year = {2001}, url = {https://ceur-ws.org/Vol-49/BaaderTurhan-46start.ps}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderBK01, author = {Franz Baader and Sebastian Brandt and Ralf K{\"{u}}sters}, editor = {Bernhard Nebel}, title = {Matching under Side Conditions in Description Logics}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10, 2001}, pages = {213--218}, publisher = {Morgan Kaufmann}, year = {2001}, timestamp = {Tue, 20 Aug 2019 16:18:14 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderBK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaaderK01, author = {Franz Baader and Ralf K{\"{u}}sters}, editor = {Robert Nieuwenhuis and Andrei Voronkov}, title = {Unification in a Description Logic with Transitive Closure of Roles}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, {LPAR} 2001, Havana, Cuba, December 3-7, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2250}, pages = {217--232}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45653-8\_15}, doi = {10.1007/3-540-45653-8\_15}, timestamp = {Sun, 02 Oct 2022 16:11:18 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BaaderK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/RV01/BaaderS01, author = {Franz Baader and Wayne Snyder}, editor = {John Alan Robinson and Andrei Voronkov}, title = {Unification Theory}, booktitle = {Handbook of Automated Reasoning (in 2 volumes)}, pages = {445--532}, publisher = {Elsevier and {MIT} Press}, year = {2001}, url = {https://doi.org/10.1016/b978-044450813-3/50010-2}, doi = {10.1016/B978-044450813-3/50010-2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/el/RV01/BaaderS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ki/2001, editor = {Franz Baader and Gerhard Brewka and Thomas Eiter}, title = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2174}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45422-5}, doi = {10.1007/3-540-45422-5}, isbn = {3-540-42612-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderLSW00, author = {Franz Baader and Carsten Lutz and Holger Sturm and Frank Wolter}, editor = {Franz Baader and Ulrike Sattler}, title = {Fusions of Description Logics}, booktitle = {Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}, series = {{CEUR} Workshop Proceedings}, volume = {33}, pages = {21--30}, publisher = {CEUR-WS.org}, year = {2000}, url = {https://ceur-ws.org/Vol-33/Baader21-30.ps}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderLSW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BaaderT00, author = {Franz Baader and Cesare Tinelli}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Combining Equational Theories Sharing Non-Collapse-Free Constructors}, booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1794}, pages = {260--274}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10720084\_17}, doi = {10.1007/10720084\_17}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BaaderT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccs/BaaderM00, author = {Franz Baader and Ralf Molitor}, editor = {Bernhard Ganter and Guy W. Mineau}, title = {Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis}, booktitle = {Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, {ICCS} 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1867}, pages = {292--305}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722280\_20}, doi = {10.1007/10722280\_20}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/iccs/BaaderM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderK00, author = {Franz Baader and Ralf K{\"{u}}sters}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, title = {Matching Concept Descriptions with Existential Restrictions}, booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000}, pages = {261--272}, publisher = {Morgan Kaufmann}, year = {2000}, timestamp = {Tue, 20 Jun 2023 09:03:42 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderKM00, author = {Franz Baader and Ralf K{\"{u}}sters and Ralf Molitor}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, title = {Rewriting Concepts Using Terminologies}, booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000}, pages = {297--308}, publisher = {Morgan Kaufmann}, year = {2000}, timestamp = {Fri, 18 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderKM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Baader00, author = {Franz Baader}, editor = {Roy Dyckhoff}, title = {Tableau Algorithms for Description Logics}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1847}, pages = {1--18}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722086\_1}, doi = {10.1007/10722086\_1}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Baader00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dlog/2000, editor = {Franz Baader and Ulrike Sattler}, title = {Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}, series = {{CEUR} Workshop Proceedings}, volume = {33}, publisher = {CEUR-WS.org}, year = {2000}, url = {https://ceur-ws.org/Vol-33}, urn = {urn:nbn:de:0074-33-6}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BaaderS99, author = {Franz Baader and Ulrike Sattler}, title = {Expressive Number Restrictions in Description Logics}, journal = {J. Log. Comput.}, volume = {9}, number = {3}, pages = {319--350}, year = {1999}, url = {https://doi.org/10.1093/logcom/9.3.319}, doi = {10.1093/LOGCOM/9.3.319}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/BaaderS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BaaderKBM99, author = {Franz Baader and Ralf K{\"{u}}sters and Alexander Borgida and Deborah L. McGuinness}, title = {Matching in Description Logics}, journal = {J. Log. Comput.}, volume = {9}, number = {3}, pages = {411--447}, year = {1999}, url = {https://doi.org/10.1093/logcom/9.3.411}, doi = {10.1093/LOGCOM/9.3.411}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/BaaderKBM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccl/BaaderS99, author = {Franz Baader and Klaus U. Schulz}, editor = {Hubert Comon and Claude March{\'{e}} and Ralf Treinen}, title = {Combining Constraint Solving}, booktitle = {Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2002}, pages = {104--158}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-45406-3\_3}, doi = {10.1007/3-540-45406-3\_3}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ccl/BaaderS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderK99, author = {Franz Baader and Ralf K{\"{u}}sters}, editor = {Patrick Lambrix and Alexander Borgida and Maurizio Lenzerini and Ralf M{\"{o}}ller and Peter F. Patel{-}Schneider}, title = {Matching in Description Logics with Existential Restrictions}, booktitle = {Proceedings of the 1999 International Workshop on Description Logics (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999}, series = {{CEUR} Workshop Proceedings}, volume = {22}, publisher = {CEUR-WS.org}, year = {1999}, url = {https://ceur-ws.org/Vol-22/baaderkuesters.ps}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderM99, author = {Franz Baader and Ralf Molitor}, editor = {Patrick Lambrix and Alexander Borgida and Maurizio Lenzerini and Ralf M{\"{o}}ller and Peter F. Patel{-}Schneider}, title = {Rewriting in Description Logics Using Terminologies}, booktitle = {Proceedings of the 1999 International Workshop on Description Logics (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999}, series = {{CEUR} Workshop Proceedings}, volume = {22}, publisher = {CEUR-WS.org}, year = {1999}, url = {https://ceur-ws.org/Vol-22/baadermolitor.ps}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccs/BaaderMT99, author = {Franz Baader and Ralf Molitor and Stephan Tobies}, editor = {William M. Tepfenhart and Walling R. Cyre}, title = {Tractable and Decidable Fragments of Conceptual Graphs}, booktitle = {Conceptual Structures: Standards and Practices, 7th International Conference on Conceptual Structures, {ICCS} '99, Blacksburg, Virginia, USA, July 12-15, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1640}, pages = {480--493}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48659-3\_31}, doi = {10.1007/3-540-48659-3\_31}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/iccs/BaaderMT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderKM99, author = {Franz Baader and Ralf K{\"{u}}sters and Ralf Molitor}, editor = {Thomas Dean}, title = {Computing Least Common Subsumers in Description Logics with Existential Restrictions}, booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}, pages = {96--103}, publisher = {Morgan Kaufmann}, year = {1999}, url = {http://ijcai.org/Proceedings/99-1/Papers/015.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:16 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderKM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderT99, author = {Franz Baader and Cesare Tinelli}, editor = {Paliath Narendran and Micha{\"{e}}l Rusinowitch}, title = {Deciding the Word Problem in the Union of Equational Theories Sharing Constructors}, booktitle = {Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1631}, pages = {175--189}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48685-2\_14}, doi = {10.1007/3-540-48685-2\_14}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/wooldridgeV99/Baader99, author = {Franz Baader}, editor = {Michael J. Wooldridge and Manuela M. Veloso}, title = {Logic-Based Knowledge Representation}, booktitle = {Artificial Intelligence Today: Recent Trends and Developments}, series = {Lecture Notes in Computer Science}, volume = {1600}, pages = {13--41}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48317-9\_2}, doi = {10.1007/3-540-48317-9\_2}, timestamp = {Sat, 03 Aug 2019 17:52:01 +0200}, biburl = {https://dblp.org/rec/books/sp/wooldridgeV99/Baader99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0092409, author = {Franz Baader and Tobias Nipkow}, title = {Term rewriting and all that}, publisher = {Cambridge University Press}, year = {1998}, isbn = {978-0-521-45520-6}, timestamp = {Thu, 21 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0092409.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Baader98, author = {Franz Baader}, title = {On the Complexity of Boolean Unification}, journal = {Inf. Process. Lett.}, volume = {67}, number = {4}, pages = {215--220}, year = {1998}, url = {https://doi.org/10.1016/S0020-0190(98)00106-9}, doi = {10.1016/S0020-0190(98)00106-9}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Baader98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaaderS98, author = {Franz Baader and Klaus U. Schulz}, title = {Combination of Constraint Solvers for Free and Quasi-Free Structures}, journal = {Theor. Comput. Sci.}, volume = {192}, number = {1}, pages = {107--161}, year = {1998}, url = {https://doi.org/10.1016/S0304-3975(97)00147-3}, doi = {10.1016/S0304-3975(97)00147-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaaderS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBM98, author = {Franz Baader and Alexander Borgida and Deborah L. McGuinness}, editor = {Enrico Franconi and Giuseppe De Giacomo and Robert M. MacGregor and Werner Nutt and Christopher A. Welty}, title = {Matching in Description Logics: Preliminary Results}, booktitle = {Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {11}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-11/BaBoMc.ps}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderK98, author = {Franz Baader and Ralf K{\"{u}}sters}, editor = {Enrico Franconi and Giuseppe De Giacomo and Robert M. MacGregor and Werner Nutt and Christopher A. Welty}, title = {Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies}, booktitle = {Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {11}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-11/BaaderKuesters.ps}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderKM98, author = {Franz Baader and Ralf K{\"{u}}sters and Ralf Molitor}, editor = {Enrico Franconi and Giuseppe De Giacomo and Robert M. MacGregor and Werner Nutt and Christopher A. Welty}, title = {Structural Subsumption Considered from an Automata-Theoretic Point of View}, booktitle = {Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {11}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-11/BaaderKuestersMolitor.ps}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderKM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaaderN98, author = {Franz Baader and Paliath Narendran}, editor = {Henri Prade}, title = {Unification of Concept Terms in Description Logics}, booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings.}, pages = {331--335}, publisher = {John Wiley and Sons}, year = {1998}, timestamp = {Wed, 31 Jul 2019 08:45:03 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BaaderN98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaaderS98, author = {Franz Baader and Ulrike Sattler}, editor = {Henri Prade}, title = {Description Logics with Concrete Domains and Aggregation}, booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings.}, pages = {336--340}, publisher = {John Wiley and Sons}, year = {1998}, timestamp = {Wed, 31 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BaaderS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccs/BaaderBM98, author = {Franz Baader and Alexander Borgida and Deborah L. McGuinness}, editor = {Marie{-}Laure Mugnier and Michel Chein}, title = {Matching in Description Logics: Preliminary Results}, booktitle = {Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, {ICCS} '98, Montpellier, France, August 10-12, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1453}, pages = {15--34}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054902}, doi = {10.1007/BFB0054902}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/iccs/BaaderBM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderK98, author = {Franz Baader and Ralf K{\"{u}}sters}, editor = {Otthein Herzog and Andreas G{\"{u}}nter}, title = {Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions}, booktitle = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1504}, pages = {129--140}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0095434}, doi = {10.1007/BFB0095434}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/BaaderJN97, author = {Franz Baader and Manfred A. Jeusfeld and Werner Nutt}, title = {Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases}, journal = {{SIGMOD} Rec.}, volume = {26}, number = {4}, pages = {44--48}, year = {1997}, url = {https://doi.org/10.1145/271074.274461}, doi = {10.1145/271074.274461}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/BaaderJN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderT97, author = {Franz Baader and Cesare Tinelli}, editor = {William McCune}, title = {A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method}, booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1249}, pages = {19--33}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63104-6\_3}, doi = {10.1007/3-540-63104-6\_3}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderN97, author = {Franz Baader and Paliath Narendran}, editor = {Ronald J. Brachman and Francesco M. Donini and Enrico Franconi and Ian Horrocks and Alon Y. Levy and Marie{-}Christine Rousset}, title = {Unification of Concept Terms in Description Logics}, booktitle = {Proceedings of the 1997 International Workshop on Description Logics, Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France}, series = {{URA-CNRS}}, volume = {410}, year = {1997}, url = {http://dl.kr.org/dl97/proceedings/baader.ps.gz}, timestamp = {Tue, 12 Apr 2022 14:46:29 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BaaderN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderS97, author = {Franz Baader and Ulrike Sattler}, editor = {Ronald J. Brachman and Francesco M. Donini and Enrico Franconi and Ian Horrocks and Alon Y. Levy and Marie{-}Christine Rousset}, title = {Description Logics with Aggregates and Concrete Domains}, booktitle = {Proceedings of the 1997 International Workshop on Description Logics, Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France}, series = {{URA-CNRS}}, volume = {410}, year = {1997}, url = {http://dl.kr.org/dl97/proceedings/sattler.ps.gz}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Baader97, author = {Franz Baader}, title = {Combination of Compatible Reduction Orderings that are Total on Ground Terms}, booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997}, pages = {2--13}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/LICS.1997.614917}, doi = {10.1109/LICS.1997.614917}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Baader97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/krdb/97, editor = {Franz Baader and Manfred A. Jeusfeld and Werner Nutt}, title = {Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997}, series = {{CEUR} Workshop Proceedings}, volume = {8}, publisher = {CEUR-WS.org}, year = {1997}, url = {https://ceur-ws.org/Vol-8}, urn = {urn:nbn:de:0074-8-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/krdb/97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aaecc/BaaderN96, author = {Franz Baader and Werner Nutt}, title = {Combination problems for commutative/monoidal theories or how algebra can help in equational unification}, journal = {Appl. Algebra Eng. Commun. Comput.}, volume = {7}, number = {4}, pages = {309--337}, year = {1996}, url = {https://doi.org/10.1007/BF01195536}, doi = {10.1007/BF01195536}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aaecc/BaaderN96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BaaderBH96, author = {Franz Baader and Martin Buchheit and Bernhard Hollunder}, title = {Cardinality Restrictions on Concepts}, journal = {Artif. Intell.}, volume = {88}, number = {1-2}, pages = {195--213}, year = {1996}, url = {https://doi.org/10.1016/S0004-3702(96)00010-0}, doi = {10.1016/S0004-3702(96)00010-0}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BaaderBH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/Baader96, author = {Franz Baader}, title = {Using Automata Theory for Characterizing the Semantics of Terminological Cycles}, journal = {Ann. Math. Artif. Intell.}, volume = {18}, number = {2-4}, pages = {175--219}, year = {1996}, url = {https://doi.org/10.1007/BF02127747}, doi = {10.1007/BF02127747}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/Baader96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/BaaderS96, author = {Franz Baader and Klaus U. Schulz}, title = {Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures}, journal = {J. Symb. Comput.}, volume = {21}, number = {2}, pages = {211--243}, year = {1996}, url = {https://doi.org/10.1006/jsco.1996.0009}, doi = {10.1006/JSCO.1996.0009}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/BaaderS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/Baader96, author = {Franz Baader}, title = {Logik-basierte Wissensrepr{\"{a}}sentation}, journal = {K{\"{u}}nstliche Intell.}, volume = {10}, number = {3}, pages = {8--16}, year = {1996}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/Baader96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Baader96, author = {Franz Baader}, title = {A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages}, journal = {J. Log. Comput.}, volume = {6}, number = {1}, pages = {33--54}, year = {1996}, url = {https://doi.org/10.1093/logcom/6.1.33}, doi = {10.1093/LOGCOM/6.1.33}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/Baader96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderS96, author = {Franz Baader and Ulrike Sattler}, editor = {Lin Padgham and Enrico Franconi and Manfred Gehrke and Deborah L. McGuinness and Peter F. Patel{-}Schneider}, title = {Number Restrictions on Complex Roles in Description Logics: {A} Preliminary Report}, booktitle = {Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, {USA}}, series = {{AAAI} Technical Report}, volume = {{WS-96-05}}, pages = {3--14}, publisher = {{AAAI} Press}, year = {1996}, timestamp = {Fri, 05 Mar 2004 14:36:40 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderS96a, author = {Franz Baader and Ulrike Sattler}, editor = {Lin Padgham and Enrico Franconi and Manfred Gehrke and Deborah L. McGuinness and Peter F. Patel{-}Schneider}, title = {Knowledge Representation in Process Engineering}, booktitle = {Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, {USA}}, series = {{AAAI} Technical Report}, volume = {{WS-96-05}}, pages = {74--78}, publisher = {{AAAI} Press}, year = {1996}, timestamp = {Fri, 05 Mar 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderS96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaaderS96, author = {Franz Baader and Ulrike Sattler}, editor = {Wolfgang Wahlster}, title = {Description Logics with Symbolic Number Restrictions}, booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings}, pages = {283--287}, publisher = {John Wiley and Sons, Chichester}, year = {1996}, timestamp = {Thu, 03 Jan 2002 11:56:53 +0100}, biburl = {https://dblp.org/rec/conf/ecai/BaaderS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderS96, author = {Franz Baader and Ulrike Sattler}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro}, title = {Number Restrictions on Complex Roles in Description Logics: {A} Preliminary Report}, booktitle = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996}, pages = {328--339}, publisher = {Morgan Kaufmann}, year = {1996}, timestamp = {Fri, 18 May 2012 15:03:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/frocos/1996, editor = {Franz Baader and Klaus U. Schulz}, title = {Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings}, series = {Applied Logic Series}, volume = {3}, publisher = {Kluwer Academic Publishers}, year = {1996}, isbn = {0-7923-4271-2}, timestamp = {Mon, 20 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/frocos/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/krdb/95, editor = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, title = {{KRDB-95:} Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995}, series = {{CEUR} Workshop Proceedings}, volume = {2}, publisher = {CEUR-WS.org}, year = {1996}, url = {https://ceur-ws.org/Vol-2}, urn = {urn:nbn:de:0074-2-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/krdb/95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/krdb/96, editor = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, title = {Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996}, series = {{CEUR} Workshop Proceedings}, volume = {4}, publisher = {CEUR-WS.org}, year = {1996}, url = {https://ceur-ws.org/Vol-4}, urn = {urn:nbn:de:0074-4-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/krdb/96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/BaaderO95, author = {Franz Baader and Hans J{\"{u}}rgen Ohlbach}, title = {A Multi-Dimensional Terminological Knowledge Representation Language}, journal = {J. Appl. Non Class. Logics}, volume = {5}, number = {2}, pages = {153--197}, year = {1995}, url = {https://doi.org/10.1080/11663081.1995.10510854}, doi = {10.1080/11663081.1995.10510854}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BaaderO95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BaaderH95, author = {Franz Baader and Bernhard Hollunder}, title = {Embedding Defaults into Terminological Knowledge Representation Formalisms}, journal = {J. Autom. Reason.}, volume = {14}, number = {1}, pages = {149--180}, year = {1995}, url = {https://doi.org/10.1007/BF00883932}, doi = {10.1007/BF00883932}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BaaderH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BaaderH95a, author = {Franz Baader and Bernhard Hollunder}, title = {Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic}, journal = {J. Autom. Reason.}, volume = {15}, number = {1}, pages = {41--68}, year = {1995}, url = {https://doi.org/10.1007/BF00881830}, doi = {10.1007/BF00881830}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BaaderH95a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/BaaderBJN95, author = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, title = {Reasoning about structured objects: Knowledge representation meets databases}, journal = {Knowl. Eng. Rev.}, volume = {10}, number = {1}, pages = {73--76}, year = {1995}, url = {https://doi.org/10.1017/S0269888900007293}, doi = {10.1017/S0269888900007293}, timestamp = {Thu, 27 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/BaaderBJN95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaaderS95, author = {Franz Baader and Klaus U. Schulz}, title = {Combination Techniques and Decision Problems for Disunification}, journal = {Theor. Comput. Sci.}, volume = {142}, number = {2}, pages = {229--255}, year = {1995}, url = {https://doi.org/10.1016/0304-3975(94)00277-0}, doi = {10.1016/0304-3975(94)00277-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaaderS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BaaderS95, author = {Franz Baader and Klaus U. Schulz}, editor = {Ugo Montanari and Francesca Rossi}, title = {On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers}, booktitle = {Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {976}, pages = {380--397}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60299-2\_23}, doi = {10.1007/3-540-60299-2\_23}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/cp/BaaderS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderL95, author = {Franz Baader and Armin Laux}, title = {Terminological Logics with Modal Operators}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada, August 20-25 1995, 2 Volumes}, pages = {808--815}, publisher = {Morgan Kaufmann}, year = {1995}, url = {http://ijcai.org/Proceedings/95-1/Papers/104.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:30 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/krdb/BaaderBJN95, author = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, editor = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, title = {Overview: KRDB'95}, booktitle = {{KRDB-95:} Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995}, series = {{CEUR} Workshop Proceedings}, volume = {2}, publisher = {CEUR-WS.org}, year = {1995}, url = {https://ceur-ws.org/Vol-2/intro.ps}, timestamp = {Fri, 10 Mar 2023 16:23:33 +0100}, biburl = {https://dblp.org/rec/conf/krdb/BaaderBJN95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderS95, author = {Franz Baader and Klaus U. Schulz}, editor = {Jieh Hsiang}, title = {Combination of Constraint Solving Techniques: An Algebraic POint of View}, booktitle = {Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {914}, pages = {352--366}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59200-8\_69}, doi = {10.1007/3-540-59200-8\_69}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unif/BaaderS95, author = {Franz Baader and Klaus U. Schulz}, editor = {Robert Nieuwenhuis and Albert Rubio}, title = {On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers}, booktitle = {9th International Workshop on Unification, {UNIF} 1995, Sitges, Spain, April 2-3, 1995}, pages = {6--8}, year = {1995}, timestamp = {Fri, 19 May 2023 16:00:29 +0200}, biburl = {https://dblp.org/rec/conf/unif/BaaderS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/krdb/94, editor = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, title = {Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbr{\"{u}}cken, Germany, September 20-22, 1994}, series = {{CEUR} Workshop Proceedings}, volume = {1}, publisher = {CEUR-WS.org}, year = {1995}, url = {https://ceur-ws.org/Vol-1}, urn = {urn:nbn:de:0074-1-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/krdb/94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apin/BaaderHNPF94, author = {Franz Baader and Bernhard Hollunder and Bernhard Nebel and Hans{-}J{\"{u}}rgen Profitlich and Enrico Franconi}, title = {Am empirical analysis of optimization techniques for terminological representation systems}, journal = {Appl. Intell.}, volume = {4}, number = {2}, pages = {109--132}, year = {1994}, url = {https://doi.org/10.1007/BF00872105}, doi = {10.1007/BF00872105}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apin/BaaderHNPF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderBH94, author = {Franz Baader and Martin Buchheit and Bernhard Hollunder}, editor = {Bernhard Nebel and Leonie S. Dreschler{-}Fischer}, title = {Cardinality Restrictions on Concepts}, booktitle = {{KI-94:} Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbr{\"{u}}cken, Germany, September 18-23, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {861}, pages = {51--62}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58467-6\_5}, doi = {10.1007/3-540-58467-6\_5}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderBH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/krdb/BaaderBJN94, author = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, editor = {Franz Baader and Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt}, title = {Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview}, booktitle = {Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbr{\"{u}}cken, Germany, September 20-22, 1994}, series = {{CEUR} Workshop Proceedings}, volume = {1}, publisher = {CEUR-WS.org}, year = {1994}, url = {https://ceur-ws.org/Vol-1/krdb94-overview.html}, timestamp = {Fri, 10 Mar 2023 16:23:33 +0100}, biburl = {https://dblp.org/rec/conf/krdb/BaaderBJN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ox/LAI2Hb1994/BaaderS94, author = {Franz Baader and J{\"{o}}rg H. Siekmann}, editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and J{\"{o}}rg H. Siekmann}, title = {Unification theory}, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies}, pages = {41--126}, publisher = {Oxford University Press}, year = {1994}, timestamp = {Tue, 06 May 2008 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ox/LAI2Hb1994/BaaderS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Baader93, author = {Franz Baader}, title = {Unification in Commutative Theories, Hilbert's Basis Theorem, and Gr{\"{o}}bner Bases}, journal = {J. {ACM}}, volume = {40}, number = {3}, pages = {477--503}, year = {1993}, url = {https://doi.org/10.1145/174130.174133}, doi = {10.1145/174130.174133}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Baader93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/BaaderBNNS93, author = {Franz Baader and Hans{-}J{\"{u}}rgen B{\"{u}}rckert and Bernhard Nebel and Werner Nutt and Gert Smolka}, title = {On the expressivity of feature logics with negation, functional uncertainty, and sort equations}, journal = {J. Log. Lang. Inf.}, volume = {2}, number = {1}, pages = {1--18}, year = {1993}, url = {https://doi.org/10.1007/BF01051766}, doi = {10.1007/BF01051766}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/BaaderBNNS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderHHNN93, author = {Franz Baader and Philipp Hanschke and Bernhard Hollunder and Bernhard Nebel and Werner Nutt}, title = {"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht}, journal = {K{\"{u}}nstliche Intell.}, volume = {7}, number = {3}, pages = {24--25}, year = {1993}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderHHNN93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsqaru/BaaderS93, author = {Franz Baader and Karl Schlechta}, editor = {Michael Clarke and Rudolf Kruse and Seraf{\'{\i}}n Moral}, title = {A Semantics for Open Normal Defaults via a Modified Preferential Approach}, booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {747}, pages = {9--16}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/BFb0028176}, doi = {10.1007/BFB0028176}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecsqaru/BaaderS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderH93, author = {Franz Baader and Bernhard Hollunder}, editor = {Ruzena Bajcsy}, title = {How to Prefer More Specific Defaults in Terminological Default Logic}, booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3, 1993}, pages = {669--675}, publisher = {Morgan Kaufmann}, year = {1993}, url = {http://ijcai.org/Proceedings/93-1/Papers/094.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:33 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderH93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderS93, author = {Franz Baader and Klaus U. Schulz}, editor = {Claude Kirchner}, title = {Combination Techniques and Decision Problems for Disunification}, booktitle = {Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {690}, pages = {301--315}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/978-3-662-21551-7\_23}, doi = {10.1007/978-3-662-21551-7\_23}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderBHLN92, author = {Franz Baader and Hans{-}J{\"{u}}rgen B{\"{u}}rckert and Bernhard Hollunder and Armin Laux and Werner Nutt}, title = {Terminologische Logiken}, journal = {K{\"{u}}nstliche Intell.}, volume = {6}, number = {3}, pages = {23--33}, year = {1992}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderBHLN92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderS92, author = {Franz Baader and Klaus U. Schulz}, editor = {Deepak Kapur}, title = {Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures}, booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {607}, pages = {50--65}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55602-8\_155}, doi = {10.1007/3-540-55602-8\_155}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderN92, author = {Franz Baader and Werner Nutt}, editor = {Robert M. MacGregor and Deborah L. McGuinness and Eric Mays and Thomas A. Russ}, title = {Are Complete an Expressiv Terminological Systems Feasible?}, booktitle = {Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992}, series = {{AAAI} Fall Symposium Series}, pages = {1--5}, publisher = {{AAAI} Press}, year = {1992}, timestamp = {Wed, 10 Mar 2004 15:26:01 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BaaderN92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaaderH92, author = {Franz Baader and Bernhard Hollunder}, editor = {Gerhard Lakemeyer and Bernhard Nebel}, title = {Computing Extensions of Terminological Default Theories}, booktitle = {Foundation of Knowledge Representation and Reasoning [the book grew out of an {ECAI-92} workshop]}, series = {Lecture Notes in Computer Science}, volume = {810}, pages = {30--52}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-58107-3\_3}, doi = {10.1007/3-540-58107-3\_3}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BaaderH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BaaderH92, author = {Franz Baader and Philipp Hanschke}, editor = {Hans J{\"{u}}rgen Ohlbach}, title = {Extensions of Concept Languages for a Mechanical Engineering Application}, booktitle = {{GWAI-92:} Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {671}, pages = {132--143}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0018999}, doi = {10.1007/BFB0018999}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BaaderH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderHNPF92, author = {Franz Baader and Bernhard Hollunder and Bernhard Nebel and Hans{-}J{\"{u}}rgen Profitlich and Enrico Franconi}, editor = {Bernhard Nebel and Charles Rich and William R. Swartout}, title = {An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making {KRIS} Get a Move On}, booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992}, pages = {270--281}, publisher = {Morgan Kaufmann}, year = {1992}, timestamp = {Fri, 22 Jun 2018 07:35:19 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderHNPF92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaaderH92, author = {Franz Baader and Bernhard Hollunder}, editor = {Bernhard Nebel and Charles Rich and William R. Swartout}, title = {Embedding Defaults into Terminological Knowledge Representation Formalisms}, booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992}, pages = {306--317}, publisher = {Morgan Kaufmann}, year = {1992}, timestamp = {Fri, 18 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/BaaderH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/BaaderKP91, author = {Franz Baader and Alfred Kobsa and Hans{-}J{\"{u}}rgen Profitlich}, title = {AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems}, journal = {K{\"{u}}nstliche Intell.}, volume = {5}, number = {3}, pages = {24--25}, year = {1991}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/BaaderKP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigart/BaaderH91, author = {Franz Baader and Bernhard Hollunder}, title = {{KRIS:} Knowledge Representation and Inference System}, journal = {{SIGART} Bull.}, volume = {2}, number = {3}, pages = {8--14}, year = {1991}, url = {https://doi.org/10.1145/122296.122298}, doi = {10.1145/122296.122298}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigart/BaaderH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/Baader91, author = {Franz Baader}, editor = {Bernhard Nebel and Kai von Luck and Christof Peltason}, title = {Cyclic, Transitive, and Concrete Extensions of Concept Languages}, booktitle = {Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany}, series = {{DFKI} Documents}, volume = {{DFKI-D-91-13}}, pages = {12--16}, year = {1991}, timestamp = {Wed, 31 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/Baader91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BaaderBhHMNNP91, author = {Franz Baader and Hans{-}J{\"{u}}rgen B{\"{u}}rckert and Jochen Heinsohn and Bernhard Hollunder and J{\"{u}}rgen M{\"{u}}ller and Bernhard Nebel and Werner Nutt and Hans{-}J{\"{u}}rgen Profitlich}, editor = {Bernhard Nebel and Kai von Luck and Christof Peltason}, title = {Terminological Knowledge Representation: {A} Proposal for a Terminological Logic}, booktitle = {Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany}, series = {{DFKI} Documents}, volume = {{DFKI-D-91-13}}, pages = {120--128}, year = {1991}, timestamp = {Wed, 31 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BaaderBhHMNNP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Baader91, author = {Franz Baader}, editor = {John Mylopoulos and Raymond Reiter}, title = {Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles}, booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991}, pages = {446--451}, publisher = {Morgan Kaufmann}, year = {1991}, url = {http://ijcai.org/Proceedings/91-1/Papers/069.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:13 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Baader91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BaaderH91, author = {Franz Baader and Philipp Hanschke}, editor = {John Mylopoulos and Raymond Reiter}, title = {A Scheme for Integrating Concrete Domains into Concept Languages}, booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991}, pages = {452--457}, publisher = {Morgan Kaufmann}, year = {1991}, url = {http://ijcai.org/Proceedings/91-1/Papers/070.pdf}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/BaaderH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwwert/BaaderS91, author = {Franz Baader and Klaus U. Schulz}, editor = {Habib Abdulrab and Jean{-}Pierre P{\'{e}}cuchet}, title = {General {A-} and AX-Unification via Optimized}, booktitle = {Word Equations and Related Topics, Second International Workshop, {IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {677}, pages = {23--42}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-56730-5\_29}, doi = {10.1007/3-540-56730-5\_29}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/iwwert/BaaderS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/HollunderB91, author = {Bernhard Hollunder and Franz Baader}, editor = {James F. Allen and Richard Fikes and Erik Sandewall}, title = {Qualifying Number Restrictions in Concept Languages}, booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991}, pages = {335--346}, publisher = {Morgan Kaufmann}, year = {1991}, timestamp = {Fri, 18 May 2012 15:02:59 +0200}, biburl = {https://dblp.org/rec/conf/kr/HollunderB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdk/BaaderH91, author = {Franz Baader and Bernhard Hollunder}, editor = {Harold Boley and Michael M. Richter}, title = {A Terminological Knowledge Representation System with Complete Inference Algorithms}, booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {567}, pages = {67--86}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0013522}, doi = {10.1007/BFB0013522}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/pdk/BaaderH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Baader91, author = {Franz Baader}, editor = {Ronald V. Book}, title = {Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems}, booktitle = {Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {488}, pages = {86--97}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-53904-2\_88}, doi = {10.1007/3-540-53904-2\_88}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Baader91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BaaderN91, author = {Franz Baader and Werner Nutt}, editor = {Ronald V. Book}, title = {Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification}, booktitle = {Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {488}, pages = {124--135}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-53904-2\_91}, doi = {10.1007/3-540-53904-2\_91}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rta/BaaderN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/Baader90, author = {Franz Baader}, editor = {Howard E. Shrobe and Thomas G. Dietterich and William R. Swartout}, title = {Terminological Cycles in KL-ONE-based Knowledge Representation Languages}, booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes}, pages = {621--626}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1990}, url = {http://www.aaai.org/Library/AAAI/1990/aaai90-093.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/Baader90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Baader90, author = {Franz Baader}, editor = {Mark E. Stickel}, title = {Rewrite Systems for Varieties of Semigroups}, booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {449}, pages = {396--410}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52885-7\_102}, doi = {10.1007/3-540-52885-7\_102}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Baader90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MullerBNNS90, author = {J{\"{u}}rgen M{\"{u}}ller and Franz Baader and Bernhard Nebel and Werner Nutt and Gert Smolka}, editor = {Mark E. Stickel}, title = {Tutorial on Reasoning and Representation with Concept Languages}, booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {449}, pages = {681}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52885-7\_141}, doi = {10.1007/3-540-52885-7\_141}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/MullerBNNS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/Baader90, author = {Franz Baader}, title = {A Formal Definition for the Expressive Power of Knowledge Representation Languages}, booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm, Sweden, 1990}, pages = {53--58}, year = {1990}, timestamp = {Tue, 30 Jul 2019 13:42:21 +0200}, biburl = {https://dblp.org/rec/conf/ecai/Baader90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwwert/Baader90, author = {Franz Baader}, editor = {Klaus U. Schulz}, title = {Unification Theory}, booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT} '90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {572}, pages = {151--170}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-55124-7\_5}, doi = {10.1007/3-540-55124-7\_5}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/iwwert/Baader90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwwert/Baader90a, author = {Franz Baader}, editor = {Klaus U. Schulz}, title = {Unification in Varieties of Completely Regular Semigroups}, booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT} '90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {572}, pages = {210--230}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-55124-7\_9}, doi = {10.1007/3-540-55124-7\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwwert/Baader90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Baader89, author = {Franz Baader}, title = {Unifikation und Reduktionssysteme f{\"{u}}r Halbgruppenvariet{\"{a}}ten}, school = {University of Erlangen-Nuremberg, Germany}, year = {1989}, url = {https://d-nb.info/946548153}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Baader89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/Baader89, author = {Franz Baader}, title = {Unification in Commutative Theories}, journal = {J. Symb. Comput.}, volume = {8}, number = {5}, pages = {479--497}, year = {1989}, url = {https://doi.org/10.1016/S0747-7171(89)80055-0}, doi = {10.1016/S0747-7171(89)80055-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Baader89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctcs/Baader89, author = {Franz Baader}, editor = {David H. Pitt and David E. Rydeheard and Peter Dybjer and Andrew M. Pitts and Axel Poign{\'{e}}}, title = {Unification Properties of Commutative Theories: {A} Categorical Treatment}, booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {389}, pages = {273--299}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0018357}, doi = {10.1007/BFB0018357}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ctcs/Baader89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Baader89, author = {Franz Baader}, editor = {Nachum Dershowitz}, title = {Characterization of Unification Type Zero}, booktitle = {Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {355}, pages = {2--14}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-51081-8\_96}, doi = {10.1007/3-540-51081-8\_96}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Baader89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Baader88, author = {Franz Baader}, title = {A Note on Unification Type Zero}, journal = {Inf. Process. Lett.}, volume = {27}, number = {2}, pages = {91--93}, year = {1988}, url = {https://doi.org/10.1016/0020-0190(88)90098-1}, doi = {10.1016/0020-0190(88)90098-1}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Baader88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BaaderB88, author = {Franz Baader and Wolfram B{\"{u}}ttner}, title = {Unification in Commutative Idempotent Monoids}, journal = {Theor. Comput. Sci.}, volume = {56}, pages = {345--353}, year = {1988}, url = {https://doi.org/10.1016/0304-3975(88)90140-5}, doi = {10.1016/0304-3975(88)90140-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BaaderB88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Baader86, author = {Franz Baader}, title = {The Theory of Idempotent Semigroups is of Unification Type Zero}, journal = {J. Autom. Reason.}, volume = {2}, number = {3}, pages = {283--286}, year = {1986}, url = {https://doi.org/10.1007/BF02328451}, doi = {10.1007/BF02328451}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Baader86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.