default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranz Baader
Person information
- affiliation: Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j71]Franz Baader
, Oliver Fernández Gil:
Extending the description logic EL with threshold concepts induced by concept measures. Artif. Intell. 326: 104034 (2024)- [c228]Franz Baader, Oliver Fernández Gil:
Unification in ℰℒℋℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract). Description Logics 2024 - [c227]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. FoIKS 2024: 3-22 - [c226]Franz Baader, Jürgen Giesl:
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems. FSCD 2024: 16:1-16:18 - [c225]Franz Baader, Oliver Fernández Gil:
Unification in the Description Logic ELHℛ+ Without the Top Concept Modulo Cycle-Restricted Ontologies. IJCAR (2) 2024: 279-297 - [c224]Franz Baader, Filippo De Bortoli:
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. SAC 2024: 754-761 - 2023
- [j70]Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt:
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum 42(6) (2023) - [c223]Franz Baader:
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). Description Logics 2023 - [c222]Franz Baader, Filippo De Bortoli:
On the Abstract Expressive Power of Description Logics with Concrete Domains. Description Logics 2023 - [c221]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). Description Logics 2023 - [c220]Franz Baader, Patrick Koopmann, Francesco Kriegel:
Optimal Repairs in the Description Logic Eℒ Revisited. JELIA 2023: 11-34 - [c219]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR 2023: 54-69 - [c218]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. SAC 2023: 974-982 - [c217]Franz Baader:
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. SAC 2023: 983-990 - [d5]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. Version 1. Zenodo, 2023 [all versions]
- [d4]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. Version 2. Zenodo, 2023 [all versions] - [d3]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. Version 3. Zenodo, 2023 [all versions] - [i13]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR abs/2308.03705 (2023) - 2022
- [j69]Franz Baader, Deepak Kapur:
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols. J. Autom. Reason. 66(3): 301-329 (2022) - [j68]Franz Baader, Jakub Rydval:
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains. J. Autom. Reason. 66(3): 357-407 (2022) - [j67]Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. Theory Pract. Log. Program. 22(2): 162-192 (2022) - [c216]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez:
Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR 2022: 271-280 - [c215]Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah:
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Description Logics 2022 - [c214]Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics 2022 - [c213]Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah:
Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes. ESWC 2022: 130-146 - [c212]Franz Baader, Francesco Kriegel:
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. KR 2022 - [c211]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Error-Tolerant Reasoning in the Description Logic Eℒ Based on Optimal Repairs. RuleML+RR 2022: 227-243 - [d2]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez:
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources. Zenodo, 2022 - [i12]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez:
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR abs/2205.09583 (2022) - 2021
- [c210]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE 2021: 291-308 - [c209]Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah:
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes. CADE 2021: 309-326 - [c208]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics 2021 - [c207]Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv:
Restricted Unification in the DL FL0 (Extended Abstract). Description Logics 2021 - [c206]Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics 2021 - [c205]Franz Baader, Maryam Rostamigiv:
Restricted Unification in the DL EL. Description Logics 2021 - [c204]Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv:
Restricted Unification in the DL ℱ0. FroCoS 2021: 81-97 - [c203]Franz Baader, Jakub Rydval:
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics. JELIA 2021: 194-209 - [c202]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Safety of quantified ABoxes w.r.t. singleton εL policies. SAC 2021: 863-872 - [i11]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR abs/2104.13138 (2021) - [i10]Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß:
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner. CoRR abs/2107.12877 (2021) - 2020
- [j66]Franz Baader, Clément Théron:
Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard. Künstliche Intell. 34(3): 291-301 (2020) - [j65]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan:
Semantic Technologies for Situation Awareness. Künstliche Intell. 34(4): 543-550 (2020) - [j64]Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin:
Extensions of unification modulo ACUI. Math. Struct. Comput. Sci. 30(6): 597-626 (2020) - [j63]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21(4): 30:1-30:46 (2020) - [c201]Franz Baader, Deepak Kapur:
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols. IJCAR (1) 2020: 163-180 - [c200]Franz Baader, Jakub Rydval:
Description Logics with Concrete Domains and General Concept Inclusions Revisited. IJCAR (1) 2020: 413-431 - [c199]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics 2020 - [c198]Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann:
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics 2020 - [c197]Franz Baader, Filippo De Bortoli:
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). Description Logics 2020 - [c196]Franz Baader, Patrick Koopmann, Cesare Tinelli:
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. Description Logics 2020 - [c195]Franz Baader, Jakub Rydval:
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). Description Logics 2020 - [c194]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. ECAI 2020: 616-623 - [c193]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR 2020: 32-67 - [c192]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. ISWC (1) 2020: 3-20 - [d1]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources. Zenodo, 2020 - [i9]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints. CoRR abs/2002.06072 (2020) - [i8]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR abs/2004.08311 (2020)
2010 – 2019
- 2019
- [c191]Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph:
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Description Logics 2019 - [c190]Franz Baader, Oliver Fernández Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Description Logics 2019 - [c189]Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm:
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME. FroCos 2019: 167-184 - [c188]Franz Baader, Filippo De Bortoli:
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets. FroCos 2019: 203-219 - [c187]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah:
Privacy-Preserving Ontology Publishing for EL Instance Stores. JELIA 2019: 323-338 - [c186]Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader:
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy. JELIA 2019: 434-449 - [c185]Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou:
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO 2019 - [c184]Franz Baader, Adrian Nuradiansyah:
Mixing Description Logics in Privacy-Preserving Ontology Publishing. KI 2019: 87-100 - [c183]Franz Baader:
Expressive cardinality constraints on ALCSCC concepts. SAC 2019: 1123-1130 - 2018
- [j62]Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich:
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4(3): 243-259 (2018) - [c182]Franz Baader, Oliver Fernandez Gil, Maximilian Pensel:
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Description Logics 2018 - [c181]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics 2018 - [c180]Franz Baader, Adrian Nuradiansyah:
Towards Privacy-Preserving Ontology Publishing. Description Logics 2018 - [c179]Franz Baader, Oliver Fernandez Gil, Maximilian Pensel:
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. GCAI 2018: 1-14 - [c178]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Making Repairs in Description Logics More Gentle. KR 2018: 319-328 - [c177]Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes. LPAR 2018: 76-94 - [c176]Franz Baader, Brigitte Grau, Yue Ma:
HQA18 Workshop Chairs' Welcome & Organization. WWW (Companion Volume) 2018: 1043-1044 - [c175]Franz Baader, Stefan Borgwardt, Walter Forkel:
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) 2018: 1069-1074 - [c174]Franz Baader, Pavlos Marantidis, Maximilian Pensel:
The Data Complexity of Answering Instance Queries in FL0. WWW (Companion Volume) 2018: 1603-1607 - [i7]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Repairing Description Logic Ontologies by Weakening Axioms. CoRR abs/1808.00248 (2018) - 2017
- [b3]Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
An Introduction to Description Logic. Cambridge University Press 2017, ISBN 978-0-521-69542-8, pp. 1-255 - [j61]Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. 31(1): 85-90 (2017) - [c173]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics 2017 - [c172]Franz Baader, Daniel Borchmann, Adrian Nuradiansyah:
Preliminary Results on the Identity Problem in Description Logic Ontologies. Description Logics 2017 - [c171]Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics 2017 - [c170]Franz Baader:
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. FroCoS 2017: 43-59 - [c169]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS 2017: 60-76 - [c168]Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data. FroCoS 2017: 77-94 - [c167]Franz Baader, Andreas Ecke:
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. GCAI 2017: 6-19 - [c166]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI 2017: 786-792 - [c165]Franz Baader, Daniel Borchmann, Adrian Nuradiansyah:
The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding. JIST 2017: 102-117 - [c164]Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis:
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. LATA 2017: 3-26 - [c163]Franz Baader, Oliver Fernandez Gil:
Decidability and complexity of threshold description logics induced by concept similarity measures. SAC 2017: 983-988 - 2016
- [j60]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Log. Methods Comput. Sci. 12(4) (2016) - [j59]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56: 1-59 (2016) - [j58]Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. 57(4): 443-476 (2016) - [c162]Franz Baader, Oliver Fernandez Gil:
Extending the Description Logic with Acyclic TBoxes. ECAI 2016: 1096-1104 - [c161]Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximate Unification in the Description Logic FL_0. JELIA 2016: 49-63 - [c160]Franz Baader, Andreas Ecke:
Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. LATA 2016: 63-75 - [c159]Franz Baader, Pierre Ludmann:
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. UNIF 2016: 31-36 - [c158]Franz Baader, Pavlos Marantidis, Alexander Okhotin:
Approximately Solving Set Equations. UNIF 2016: 37-43 - 2015
- [j57]Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder:
Formalizing biomedical concepts from textual definitions. J. Biomed. Semant. 6: 22 (2015) - [j56]Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. 44(2): 117-146 (2015) - [j55]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporal query entailment in the Description Logic SHQ. J. Web Semant. 33: 71-93 (2015) - [c157]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence 2015: 21-33 - [c156]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL (Extended Abstract). Description Logics 2015 - [c155]Oliver Fernandez Gil, Franz Baader, Gerhard Brewka:
Adding Threshold Concepts to the Description Logic EL. Description Logics 2015 - [c154]Franz Baader, Gerhard Brewka, Oliver Fernandez Gil:
Adding Threshold Concepts to the Description Logic EL. FroCos 2015: 33-48 - [c153]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL. RTA 2015: 40-56 - 2014
- [j54]Franz Baader, Marcel Lippmann:
Runtime verification using the temporal description logic ALC-LTL revisited. J. Appl. Log. 12(4): 584-613 (2014) - [c152]Franz Baader, Barbara Morawska:
Matching with Respect to General Concept Inclusions in the Description Logic EL. Description Logics 2014: 33-44 - [c151]Franz Baader, Barbara Morawska:
Matching with Respect to General Concept Inclusions in the Description Logic EL. KI 2014: 135-146 - [c150]Franz Baader:
Ontology-Based Monitoring of Dynamic Systems. KR 2014 - [c149]Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith:
Invited Talks. KR 2014 - [c148]Franz Baader, Barbara Morawska:
Matching with respect to general concept inclusions in the Description Logic EL. UNIF 2014: 22-25 - 2013
- [j53]Franz Baader, Alexander Okhotin:
On Language Equations with One-sided Concatenation. Fundam. Informaticae 126(1): 1-35 (2013) - [c147]Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporalizing Ontology-Based Data Access. CADE 2013: 330-344 - [c146]Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid EL-Unification is NP-complete. Description Logics 2013: 29-40 - [c145]Franz Baader, Benjamin Zarrieß:
Verification of Golog Programs over Description Logic Actions. FroCos 2013: 181-196 - [c144]Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid Unification in the Description Logic. FroCos 2013: 295-310 - [c143]George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder:
Learning Formal Definitions for Biomedical Concepts. OWLED 2013 - [c142]Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA 2013: 8-12 - 2012
- [j52]Franz Baader, Wolfgang Thomas:
Editorial. Inform. Spektrum 35(4): 247-248 (2012) - [j51]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over description logic axioms. ACM Trans. Comput. Log. 13(3): 21:1-21:32 (2012) - [j50]Franz Baader, Martin Knechtel, Rafael Peñaloza:
Context-dependent views to axioms and consequences of Semantic Web ontologies. J. Web Semant. 12: 22-40 (2012) - [c141]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Computing Minimal EL-unifiers is Hard. Advances in Modal Logic 2012: 18-35 - [c140]Franz Baader, Stefan Borgwardt, Barbara Morawska:
A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. Australasian Conference on Artificial Intelligence 2012: 493-504 - [c139]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Recent Advances in Unification for the EL Family. UNIF 2012: 1-6 - [c138]Franz Baader, Stefan Borgwardt, Barbara Morawska:
SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. IJCAR 2012: 30-44 - [c137]Franz Baader, Julian Mendez, Barbara Morawska:
UEL: Unification Solver for the Description Logic ℇℒ - System Description. IJCAR 2012: 45-51 - [c136]Franz Baader, Stefan Borgwardt, Barbara Morawska:
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics 2012 - [c135]Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska:
UEL: Unification Solver for EL. Description Logics 2012 - [c134]Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski:
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Description Logics 2012 - [c133]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Extending Unification in EL Towards General TBoxes. KR 2012 - [c132]Franz Baader, Alexander Okhotin:
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. LPAR 2012: 107-121 - 2011
- [j49]Franz Baader, Silvio Ghilardi:
Unification in modal and description logics. Log. J. IGPL 19(6): 705-730 (2011) - [j48]Franz Baader:
What's new in Description Logics. Inform. Spektrum 34(5): 434-442 (2011) - [c131]Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Unification in the Description Logic EL without the Top Concept. CADE 2011: 70-84 - [c130]Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Unification in the Description Logic EL without the Top Concept. Description Logics 2011 - [c129]Franz Baader, Rafael Peñaloza:
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Description Logics 2011 - [c128]Franz Baader, Rafael Peñaloza:
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. FroCoS 2011: 55-70 - [c127]Franz Baader, Rafael Peñaloza:
Are fuzzy description logics with general concept inclusion axioms decidable? FUZZ-IEEE 2011: 1735-1742 - [c126]Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska:
Computing Local Unifiers in the Description Logic EL without the Top Concept. UNIF 2011: 2-8 - [e15]Franz Baader, Barbara Morawska, Jan Otop:
Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. 2011 [contents] - [i6]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics and Abstract Description Systems. CoRR abs/1106.1802 (2011) - 2010
- [j47]Franz Baader, Barbara Morawska:
Unification in the Description Logic EL. Log. Methods Comput. Sci. 6(3) (2010) - [j46]Franz Baader, Bernhard Beckert, Tobias Nipkow:
Deduktion: von der Theorie zur Anwendung. Inform. Spektrum 33(5): 444-451 (2010) - [j45]Franz Baader, Rafael Peñaloza:
Automata-Based Axiom Pinpointing. J. Autom. Reason. 45(2): 91-129 (2010) - [j44]Franz Baader, Carsten Lutz, Anni-Yasmin Turhan:
Small is Again Beautiful in Description Logics. Künstliche Intell. 24(1): 25-33 (2010) - [j43]Franz Baader, Rafael Peñaloza:
Axiom Pinpointing in General Tableaux. J. Log. Comput. 20(1): 5-34 (2010) - [c125]Franz Baader, Hongkai Liu, Anees ul Mehdi:
Verifying Properties of Infinite Sequences of Description Logic Actions. ECAI 2010: 53-58 - [c124]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Description Logics. KR 2010 - [c123]Franz Baader, Marcel Lippmann, Hongkai Liu:
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. LPAR (Yogyakarta) 2010: 82-96 - [c122]Franz Baader, Barbara Morawska:
SAT Encoding of Unification in EL. LPAR (Yogyakarta) 2010: 97-111
2000 – 2009
- 2009
- [j42]Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker:
SNOMED reaching its adolescence: Ontologists' and logicians' health check. Int. J. Medical Informatics 78(Supplement-1): S86-S94 (2009) - [c121]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009 - [c120]Franz Baader, Barbara Morawska:
Unification in the Description Logic EL. Description Logics 2009 - [c119]Franz Baader, Andreas Bauer, Marcel Lippmann:
Runtime Verification Using a Temporal Description Logic. FroCoS 2009: 149-164 - [c118]Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher:
Putting ABox Updates into Action. FroCoS 2009: 214-229 - [c117]Franz Baader, Baris Sertkaya:
Usability Issues in Description Logic Knowledge Base Completion. ICFCA 2009: 1-21 - [c116]Franz Baader, Felix Distel:
Exploring Finite Models in the Description Logic . ICFCA 2009: 146-161 - [c115]Franz Baader, Andreas Bauer, Alwen Tiu:
Matching Trace Patterns with Regular Policies. LATA 2009: 105-116 - [c114]Franz Baader, Barbara Morawska:
Unification in the Description Logic EL. RTA 2009: 350-364 - [c113]Franz Baader:
Description Logics. Reasoning Web 2009: 1-39 - [c112]Franz Baader, Martin Knechtel, Rafael Peñaloza:
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. ISWC 2009: 49-64 - [c111]Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter:
A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009: 77-92 - [p9]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2009: 21-43 - 2008
- [j41]Franz Baader, Jan Hladik, Rafael Peñaloza:
Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008) - [c110]Franz Baader, Rafael Peñaloza:
Automata-Based Axiom Pinpointing. IJCAR 2008: 226-241 - [c109]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. Description Logics 2008 - [c108]Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn:
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008 - [c107]Franz Baader, Felix Distel:
A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA 2008: 46-61 - [c106]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. KR 2008: 684-694 - [c105]Franz Baader, Boontawee Suntisrivaraporn:
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008 - [c104]Franz Baader, Carsten Lutz, Sebastian Brandt:
Pushing the EL Envelope Further. OWLED (Spring) 2008 - [c103]Franz Baader, Andreas Bauer, Alwen Tiu:
Matching linear and non-linear trace patterns with regular policies. UNIF 2008: 16-24 - [c102]Franz Baader, Barbara Morawska:
Unification in the Description Logic EL is of Type Zero. UNIF 2008: 25-34 - [e14]Franz Baader, Carsten Lutz, Boris Motik:
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353, CEUR-WS.org 2008 [contents] - [r1]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook of Knowledge Representation 2008: 135-179 - 2007
- [j40]Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the least common subsumer w.r.t. a background terminology. J. Appl. Log. 5(3): 392-420 (2007) - [j39]Franz Baader:
Preface to Special Issue on Reasoning in Description Logics. J. Autom. Reason. 39(3): 245-247 (2007) - [j38]Franz Baader, Silvio Ghilardi:
Connecting many-sorted theories. J. Symb. Log. 72(2): 535-583 (2007) - [c101]Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman:
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291 - [c100]Franz Baader, Jan Hladik, Rafael Peñaloza:
Blocking Automata for PSPACE DLs. Description Logics 2007 - [c99]Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL. Description Logics 2007 - [c98]Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235 - [c97]Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL+. KI 2007: 52-67 - [c96]Franz Baader, Jan Hladik, Rafael Peñaloza:
SI! Automata Can Show PSPACE Results for Description Logics. LATA 2007: 67-78 - [c95]Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader:
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo 2007: 802-806 - [c94]Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya:
Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007 - [c93]Franz Baader, Rafael Peñaloza:
Axiom Pinpointing in General Tableaux. TABLEAUX 2007: 11-27 - [p8]Franz Baader, Carsten Lutz:
Description logic. Handbook of Modal Logic 2007: 757-819 - [e13]Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis:
Deduction and Decision Procedures, 30.09. - 05.10.2007. Dagstuhl Seminar Proceedings 07401, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [e12]Franz Baader:
Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4533, Springer 2007, ISBN 978-3-540-73447-5 [contents] - [i5]Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis:
07401 Executive Summary -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007 - [i4]Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis:
07401 Abstracts Collection -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007 - 2006
- [j37]Franz Baader, Silvio Ghilardi, Cesare Tinelli:
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Inf. Comput. 204(10): 1413-1452 (2006) - [c92]Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn:
CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291 - [c91]Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn:
Efficient Reasoning in EL+. Description Logics 2006 - [c90]Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris:
Reasoning Support for Ontology Design. OWLED 2006 - [e11]Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
Deduction and Applications, 23.-28. October 2005. Dagstuhl Seminar Proceedings 05431, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j36]Franz Baader:
19th International Conference on Automated Deduction (CADE-19). Inf. Comput. 199(1-2): 1-2 (2005) - [c89]Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577 - [c88]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248 - [c87]Franz Baader, Silvio Ghilardi:
Connecting Many-Sorted Theories. CADE 2005: 278-294 - [c86]Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen:
A new n-ary existential quantifier in description logics. Description Logics 2005 - [c85]Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005 - [c84]Franz Baader, Silvio Ghilardi:
Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCoS 2005: 31-47 - [c83]Franz Baader, Sebastian Brandt, Carsten Lutz:
Pushing the EL Envelope. IJCAI 2005: 364-369 - [c82]Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen:
A New n-Ary Existential Quantifier in Description Logics. KI 2005: 18-33 - [e10]Franz Baader, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Lecture Notes in Computer Science 3452, Springer 2005, ISBN 3-540-25236-3 [contents] - [i3]Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005 - [i2]Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005 - 2004
- [c81]Franz Baader, Silvio Ghilardi, Cesare Tinelli:
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. IJCAR 2004: 183-197 - [c80]Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics 2004 - [c79]Franz Baader, Baris Sertkaya:
Applying Formal Concept Analysis to Description Logics. ICFCA 2004: 261-286 - [c78]Franz Baader:
Engineering of Logics for the Content-Based Representation of Information. JELIA 2004: 2-3 - [c77]Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA 2004: 400-412 - [c76]Franz Baader:
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. WG 2004: 177-188 - [p7]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2004: 3-28 - [i1]Franz Baader, Stephan Tobies:
The Inverse Method Implements the Automata Approach for Modal Satisfiability. CoRR abs/cs/0412101 (2004) - 2003
- [j35]Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter:
From Tableaux to Automata for Description Logics. Fundam. Informaticae 57(2-4): 247-279 (2003) - [j34]Franz Baader, Ulrike Sattler:
Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003) - [c75]Franz Baader:
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. Description Logics 2003 - [c74]Franz Baader:
Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. ICCS 2003: 117-130 - [c73]Franz Baader:
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI 2003: 319-324 - [c72]Franz Baader:
Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI 2003: 325-330 - [c71]Franz Baader:
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. KI 2003: 64-78 - [c70]Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter:
From Tableaux to Automata for Description Logics. LPAR 2003: 1-32 - [p6]Franz Baader, Werner Nutt:
Basic Description Logics. Description Logic Handbook 2003: 43-95 - [p5]Franz Baader, Ralf Küsters, Frank Wolter:
Extensions to Description Logics. Description Logic Handbook 2003: 219-261 - [p4]Franz Baader:
Description Logic Terminology. Description Logic Handbook 2003: 485-495 - [e9]Franz Baader:
Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Lecture Notes in Computer Science 2741, Springer 2003, ISBN 3-540-40559-3 [contents] - [e8]Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider:
The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, ISBN 0-521-78176-0 [contents] - 2002
- [j33]Franz Baader, Cesare Tinelli:
Deciding the Word Problem in the Union of Equational Theories. Inf. Comput. 178(2): 346-390 (2002) - [j32]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. 16: 1-58 (2002) - [j31]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics for the Semantic Web. Künstliche Intell. 16(4): 57-59 (2002) - [c69]Franz Baader, Ralf Küsters:
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. Description Logics 2002 - [c68]Franz Baader, Anni-Yasmin Turhan:
On the Problem of Computing Small Representations of Least Common Subsumers. KI 2002: 99-113 - [c67]Franz Baader:
Engineering of Logics for the Content-Based Representation of Information. RTA 2002: 23 - [c66]Franz Baader, Cesare Tinelli:
Combining Decision Procedures for Positive Theories Sharing Constructors. RTA 2002: 352-366 - 2001
- [j30]Dieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache:
Heterogeneous information resources need semantic access. Data Knowl. Eng. 36(3): 211-213 (2001) - [j29]Franz Baader, Paliath Narendran:
Unification of Concept Terms in Description Logics. J. Symb. Comput. 31(3): 277-305 (2001) - [j28]Franz Baader, Ulrike Sattler:
An Overview of Tableau Algorithms for Description Logics. Stud Logica 69(1): 5-40 (2001) - [c65]Franz Baader, Stephan Tobies:
The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106 - [c64]Franz Baader, Ralf Küsters:
Unification in a Description Logic with Transitive Closure of Roles. Description Logics 2001 - [c63]Franz Baader, Anni-Yasmin Turhan:
TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics 2001 - [c62]Franz Baader, Sebastian Brandt, Ralf Küsters:
Matching under Side Conditions in Description Logics. IJCAI 2001: 213-218 - [c61]Franz Baader, Ralf Küsters:
Unification in a Description Logic with Transitive Closure of Roles. LPAR 2001: 217-232 - [p3]Franz Baader, Wayne Snyder:
Unification Theory. Handbook of Automated Reasoning 2001: 445-532 - [e7]Franz Baader, Gerhard Brewka, Thomas Eiter:
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2174, Springer 2001, ISBN 3-540-42612-4 [contents] - 2000
- [c60]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter:
Fusions of Description Logics. Description Logics 2000: 21-30 - [c59]Franz Baader, Cesare Tinelli:
Combining Equational Theories Sharing Non-Collapse-Free Constructors. FroCoS 2000: 260-274 - [c58]Franz Baader, Ralf Molitor:
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. ICCS 2000: 292-305 - [c57]Franz Baader, Ralf Küsters:
Matching Concept Descriptions with Existential Restrictions. KR 2000: 261-272 - [c56]Franz Baader, Ralf Küsters, Ralf Molitor:
Rewriting Concepts Using Terminologies. KR 2000: 297-308 - [c55]Franz Baader:
Tableau Algorithms for Description Logics. TABLEAUX 2000: 1-18 - [e6]Franz Baader, Ulrike Sattler:
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. CEUR Workshop Proceedings 33, CEUR-WS.org 2000 [contents]
1990 – 1999
- 1999
- [j27]Franz Baader, Ulrike Sattler:
Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999) - [j26]Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics. J. Log. Comput. 9(3): 411-447 (1999) - [c54]Franz Baader, Klaus U. Schulz:
Combining Constraint Solving. CCL 1999: 104-158 - [c53]Franz Baader, Ralf Küsters:
Matching in Description Logics with Existential Restrictions. Description Logics 1999 - [c52]Franz Baader, Ralf Molitor:
Rewriting in Description Logics Using Terminologies. Description Logics 1999 - [c51]Franz Baader, Ralf Molitor, Stephan Tobies:
Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999: 480-493 - [c50]Franz Baader, Ralf Küsters, Ralf Molitor:
Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI 1999: 96-103 - [c49]Franz Baader, Cesare Tinelli:
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. RTA 1999: 175-189 - [p2]Franz Baader:
Logic-Based Knowledge Representation. Artificial Intelligence Today 1999: 13-41 - 1998
- [b2]Franz Baader, Tobias Nipkow:
Term rewriting and all that. Cambridge University Press 1998, ISBN 978-0-521-45520-6, pp. I-XII, 1-301 - [j25]Franz Baader:
On the Complexity of Boolean Unification. Inf. Process. Lett. 67(4): 215-220 (1998) - [j24]Franz Baader, Klaus U. Schulz:
Combination of Constraint Solvers for Free and Quasi-Free Structures. Theor. Comput. Sci. 192(1): 107-161 (1998) - [c48]Franz Baader, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results. Description Logics 1998 - [c47]Franz Baader, Ralf Küsters:
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. Description Logics 1998 - [c46]Franz Baader, Ralf Küsters, Ralf Molitor:
Structural Subsumption Considered from an Automata-Theoretic Point of View. Description Logics 1998 - [c45]Franz Baader, Paliath Narendran:
Unification of Concept Terms in Description Logics. ECAI 1998: 331-335 - [c44]Franz Baader, Ulrike Sattler:
Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340 - [c43]Franz Baader, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results. ICCS 1998: 15-34 - [c42]Franz Baader, Ralf Küsters:
Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. KI 1998: 129-140 - 1997
- [j23]Franz Baader, Manfred A. Jeusfeld, Werner Nutt:
Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. SIGMOD Rec. 26(4): 44-48 (1997) - [c41]Franz Baader, Cesare Tinelli:
A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. CADE 1997: 19-33 - [c40]Franz Baader, Paliath Narendran:
Unification of Concept Terms in Description Logics. Description Logics 1997 - [c39]Franz Baader, Ulrike Sattler:
Description Logics with Aggregates and Concrete Domains. Description Logics 1997 - [c38]Franz Baader:
Combination of Compatible Reduction Orderings that are Total on Ground Terms. LICS 1997: 2-13 - [e5]Franz Baader, Manfred A. Jeusfeld, Werner Nutt:
Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997. CEUR Workshop Proceedings 8, CEUR-WS.org 1997 [contents] - 1996
- [j22]Franz Baader, Werner Nutt:
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Appl. Algebra Eng. Commun. Comput. 7(4): 309-337 (1996) - [j21]Franz Baader, Martin Buchheit, Bernhard Hollunder:
Cardinality Restrictions on Concepts. Artif. Intell. 88(1-2): 195-213 (1996) - [j20]Franz Baader:
Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Ann. Math. Artif. Intell. 18(2-4): 175-219 (1996) - [j19]Franz Baader, Klaus U. Schulz:
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symb. Comput. 21(2): 211-243 (1996) - [j18]Franz Baader:
Logik-basierte Wissensrepräsentation. Künstliche Intell. 10(3): 8-16 (1996) - [j17]Franz Baader:
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. Log. Comput. 6(1): 33-54 (1996) - [c37]Franz Baader, Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14 - [c36]Franz Baader, Ulrike Sattler:
Knowledge Representation in Process Engineering. Description Logics 1996: 74-78 - [c35]Franz Baader, Ulrike Sattler:
Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287 - [c34]Franz Baader, Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339 - [e4]Franz Baader, Klaus U. Schulz:
Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings. Applied Logic Series 3, Kluwer Academic Publishers 1996, ISBN 0-7923-4271-2 [contents] - [e3]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt:
KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995. CEUR Workshop Proceedings 2, CEUR-WS.org 1996 [contents] - [e2]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt:
Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996. CEUR Workshop Proceedings 4, CEUR-WS.org 1996 [contents] - 1995
- [j16]Franz Baader, Hans Jürgen Ohlbach:
A Multi-Dimensional Terminological Knowledge Representation Language. J. Appl. Non Class. Logics 5(2): 153-197 (1995) - [j15]Franz Baader, Bernhard Hollunder:
Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reason. 14(1): 149-180 (1995) - [j14]Franz Baader, Bernhard Hollunder:
Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. J. Autom. Reason. 15(1): 41-68 (1995) - [j13]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt:
Reasoning about structured objects: Knowledge representation meets databases. Knowl. Eng. Rev. 10(1): 73-76 (1995) - [j12]Franz Baader, Klaus U. Schulz:
Combination Techniques and Decision Problems for Disunification. Theor. Comput. Sci. 142(2): 229-255 (1995) - [c33]Franz Baader, Klaus U. Schulz:
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CP 1995: 380-397 - [c32]Franz Baader, Armin Laux:
Terminological Logics with Modal Operators. IJCAI (1) 1995: 808-815 - [c31]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt:
Overview: KRDB'95. KRDB 1995 - [c30]Franz Baader, Klaus U. Schulz:
Combination of Constraint Solving Techniques: An Algebraic POint of View. RTA 1995: 352-366 - [c29]Franz Baader, Klaus U. Schulz:
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. UNIF 1995: 6-8 - [e1]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt:
Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994. CEUR Workshop Proceedings 1, CEUR-WS.org 1995 [contents] - 1994
- [j11]Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi:
Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2): 109-132 (1994) - [c28]Franz Baader, Martin Buchheit, Bernhard Hollunder:
Cardinality Restrictions on Concepts. KI 1994: 51-62 - [c27]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt:
Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB 1994 - [p1]Franz Baader, Jörg H. Siekmann:
Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126 - 1993
- [j10]Franz Baader:
Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. J. ACM 40(3): 477-503 (1993) - [j9]Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka:
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. Log. Lang. Inf. 2(1): 1-18 (1993) - [j8]Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt:
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. Künstliche Intell. 7(3): 24-25 (1993) - [c26]Franz Baader, Karl Schlechta:
A Semantics for Open Normal Defaults via a Modified Preferential Approach. ECSQARU 1993: 9-16 - [c25]Franz Baader, Bernhard Hollunder:
How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI 1993: 669-675 - [c24]Franz Baader, Klaus U. Schulz:
Combination Techniques and Decision Problems for Disunification. RTA 1993: 301-315 - 1992
- [j7]Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt:
Terminologische Logiken. Künstliche Intell. 6(3): 23-33 (1992) - [c23]Franz Baader, Klaus U. Schulz:
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE 1992: 50-65 - [c22]Franz Baader, Werner Nutt:
Are Complete an Expressiv Terminological Systems Feasible? Description Logics 1992: 1-5 - [c21]Franz Baader, Bernhard Hollunder:
Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning 1992: 30-52 - [c20]Franz Baader, Philipp Hanschke:
Extensions of Concept Languages for a Mechanical Engineering Application. GWAI 1992: 132-143 - [c19]Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi:
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992: 270-281 - [c18]Franz Baader, Bernhard Hollunder:
Embedding Defaults into Terminological Knowledge Representation Formalisms. KR 1992: 306-317 - 1991
- [j6]Franz Baader, Alfred Kobsa, Hans-Jürgen Profitlich:
AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. Künstliche Intell. 5(3): 24-25 (1991) - [j5]Franz Baader, Bernhard Hollunder:
KRIS: Knowledge Representation and Inference System. SIGART Bull. 2(3): 8-14 (1991) - [c17]Franz Baader:
Cyclic, Transitive, and Concrete Extensions of Concept Languages. Description Logics 1991: 12-16 - [c16]Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich:
Terminological Knowledge Representation: A Proposal for a Terminological Logic. Description Logics 1991: 120-128 - [c15]Franz Baader:
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. IJCAI 1991: 446-451 - [c14]Franz Baader, Philipp Hanschke:
A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457 - [c13]Franz Baader, Klaus U. Schulz:
General A- and AX-Unification via Optimized. IWWERT 1991: 23-42 - [c12]Bernhard Hollunder, Franz Baader:
Qualifying Number Restrictions in Concept Languages. KR 1991: 335-346 - [c11]Franz Baader, Bernhard Hollunder:
A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK 1991: 67-86 - [c10]Franz Baader:
Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. RTA 1991: 86-97 - [c9]Franz Baader, Werner Nutt:
Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA 1991: 124-135 - 1990
- [c8]Franz Baader:
Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 1990: 621-626 - [c7]Franz Baader:
Rewrite Systems for Varieties of Semigroups. CADE 1990: 396-410 - [c6]Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka:
Tutorial on Reasoning and Representation with Concept Languages. CADE 1990: 681 - [c5]Franz Baader:
A Formal Definition for the Expressive Power of Knowledge Representation Languages. ECAI 1990: 53-58 - [c4]Franz Baader:
Unification Theory. IWWERT 1990: 151-170 - [c3]Franz Baader:
Unification in Varieties of Completely Regular Semigroups. IWWERT 1990: 210-230
1980 – 1989
- 1989
- [b1]Franz Baader:
Unifikation und Reduktionssysteme für Halbgruppenvarietäten. University of Erlangen-Nuremberg, Germany, 1989, pp. 1-109 - [j4]Franz Baader:
Unification in Commutative Theories. J. Symb. Comput. 8(5): 479-497 (1989) - [c2]Franz Baader:
Unification Properties of Commutative Theories: A Categorical Treatment. Category Theory and Computer Science 1989: 273-299 - [c1]Franz Baader:
Characterization of Unification Type Zero. RTA 1989: 2-14 - 1988
- [j3]Franz Baader:
A Note on Unification Type Zero. Inf. Process. Lett. 27(2): 91-93 (1988) - [j2]Franz Baader, Wolfram Büttner:
Unification in Commutative Idempotent Monoids. Theor. Comput. Sci. 56: 345-353 (1988) - 1986
- [j1]Franz Baader:
The Theory of Idempotent Semigroups is of Unification Type Zero. J. Autom. Reason. 2(3): 283-286 (1986)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
