![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Stefan Borgwardt
Person information
- affiliation: TU Dresden, Institute for Theoretical Computer Science
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c85]Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann:
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. Description Logics 2024 - [c84]Stefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu:
Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language. Description Logics 2024 - [i15]Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann:
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). CoRR abs/2405.19096 (2024) - 2023
- [c83]Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov:
Why Not? Explaining Missing Entailments with Evee. Description Logics 2023 - [c82]Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova:
Computing ABox Justifications for Query Answers via Datalog Rewriting. Description Logics 2023 - [c81]Christian Alrabbaa, Franz Baader
, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
:
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR 2023: 54-69 - [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] - [i14]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) - [i13]Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann
, Mikhail Kotlov:
Why Not? Explaining Missing Entailments with Evee (Technical Report). CoRR abs/2308.07294 (2023) - 2022
- [j16]Stefan Borgwardt, Walter Forkel
, Alisa Kovtunova
:
Temporal Minimal-World Query Answering over Sparse ABoxes. Theory Pract. Log. Program. 22(2): 193-228 (2022) - [c80]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova
, Markus Krötzsch, Bernhard Nebel
, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies. AAAI 2022: 5503-5511 - [c79]Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt:
Classical Planning with Avoid Conditions. AAAI 2022: 9944-9952 - [c78]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 - [c77]Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic:
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. Description Logics 2022 - [c76]Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics 2022 - [c75]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics 2022 - [c74]Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh:
Logic-Guided Message Generation from Raw Real-Time Sensor Data. LREC 2022: 6899-6908 - [c73]Christian Alrabbaa
, Stefan Borgwardt
, Patrick Koopmann
, Alisa Kovtunova
:
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR 2022: 167-182 - [c72]Christian Alrabbaa
, Stefan Borgwardt
, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova
, Anna Milena Rothermel, Frederik Wiehr:
In the Head of the Beholder: Comparing Different Proof Representations. RuleML+RR 2022: 211-226 - [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]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova
, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz:
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR abs/2203.09361 (2022) - [i11]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) - [i10]Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann
, Julián Méndez, Alexej Popovic:
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). CoRR abs/2206.07711 (2022) - [i9]Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann
, Alisa Kovtunova
:
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR abs/2206.09758 (2022) - [i8]Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann
, Alisa Kovtunova:
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR abs/2208.14381 (2022) - 2021
- [c71]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 - [c70]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 - [c69]Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr:
In the Hand of the Beholder: Comparing Interactive Proof Visualizations. Description Logics 2021 - [c68]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Making DL-Lite Planning Practical (Extended Abstract). Description Logics 2021 - [c67]Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova, Hui-Syuan Yeh:
Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract). Description Logics 2021 - [c66]Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger
, Alisa Kovtunova
, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann:
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. ICMI 2021: 308-317 - [c65]Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova
, Marcel Steinmetz:
Making DL-Lite Planning Practical. KR 2021: 641-645 - [i7]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) - [i6]Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Temporal Minimal-World Semantics for Sparse ABoxes. CoRR abs/2105.14369 (2021) - 2020
- [j15]Franz Baader
, Stefan Borgwardt, Patrick Koopmann
, Veronika Thost, Anni-Yasmin Turhan:
Semantic Technologies for Situation Awareness. Künstliche Intell. 34(4): 543-550 (2020) - [j14]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) - [c64]Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics 2020 - [c63]Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). Description Logics 2020 - [c62]Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr:
In the Eye of the Beholder: Which Proofs are Best? Description Logics 2020 - [c61]Christian Alrabbaa, Franz Baader
, Stefan Borgwardt, Patrick Koopmann
, Alisa Kovtunova
:
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR 2020: 32-67 - [e1]Stefan Borgwardt, Thomas Meyer:
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. CEUR Workshop Proceedings 2663, CEUR-WS.org 2020 [contents] - [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 - [i5]Stefan Borgwardt, Veronika Thost:
Temporal Conjunctive Query Answering in the Extended DL-Lite Family. CoRR abs/2003.09508 (2020) - [i4]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) - [i3]Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann:
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR abs/2010.10967 (2020)
2010 – 2019
- 2019
- [c60]Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz:
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data. AAAI 2019: 2711-2718 - [c59]Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
:
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract). Description Logics 2019 - [c58]Stefan Borgwardt, Walter Forkel:
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract). Description Logics 2019 - [c57]Stefan Borgwardt, Walter Forkel:
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies. IJCAI 2019: 6131-6135 - [c56]Stefan Borgwardt
, Walter Forkel
:
Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies. JELIA 2019: 371-386 - [c55]Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou:
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO 2019 - [c54]Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
:
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. RuleML+RR 2019: 3-18 - 2018
- [c53]Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz:
Recent Advances in Querying Probabilistic Knowledge Bases. IJCAI 2018: 5420-5426 - [c52]Franz Baader
, Stefan Borgwardt, Walter Forkel:
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) 2018: 1069-1074 - 2017
- [j13]Stefan Borgwardt
, Rafael Peñaloza
:
Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. Int. J. Approx. Reason. 83: 60-101 (2017) - [j12]Stefan Borgwardt
, Marco Cerami
, Rafael Peñaloza
:
The complexity of fuzzy EL under the Łukasiewicz T-norm. Int. J. Approx. Reason. 91: 179-201 (2017) - [j11]Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. 31(1): 85-90 (2017) - [c51]Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz:
Ontology-Mediated Queries for Probabilistic Databases. AAAI 2017: 1063-1069 - [c50]Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics 2017 - [c49]Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Łukasiewicz Fuzzy EL is Undecidable. Description Logics 2017 - [c48]Franz Baader
, Stefan Borgwardt
, Patrick Koopmann
, Ana Ozaki
, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS 2017: 60-76 - [c47]Franz Baader
, Stefan Borgwardt, Marcel Lippmann:
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI 2017: 786-792 - [c46]Ismail Ilkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz:
Most Probable Explanations for Probabilistic Database Queries. IJCAI 2017: 950-956 - [c45]Stefan Borgwardt
, Rafael Peñaloza:
Fuzzy Description Logics - A Survey. SUM 2017: 31-45 - 2016
- [j10]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) - [j9]Stefan Borgwardt
, Rafael Peñaloza
:
Reasoning in Fuzzy Description Logics using Automata. Fuzzy Sets Syst. 298: 22-43 (2016) - [j8]Stefan Borgwardt
, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. J. Data Semant. 5(2): 55-75 (2016) - [j7]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) - [c44]Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Expressive Gödel Description Logics. Description Logics 2016 - [c43]Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska:
Preferential Query Answering over the Semantic Web with Possibilistic Networks. IJCAI 2016: 994-1000 - 2015
- [j6]Stefan Borgwardt
, Felix Distel, Rafael Peñaloza
:
The limits of decidability in fuzzy description logics with general concept inclusions. Artif. Intell. 218: 23-55 (2015) - [j5]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) - [j4]Stefan Borgwardt
, Marcel Lippmann, Veronika Thost:
Temporalizing rewritable query languages over knowledge bases. J. Web Semant. 33: 50-70 (2015) - [j3]Franz Baader
, Stefan Borgwardt
, Marcel Lippmann:
Temporal query entailment in the Description Logic SHQ. J. Web Semant. 33: 71-93 (2015) - [c42]Franz Baader
, Stefan Borgwardt
, Marcel Lippmann:
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence 2015: 21-33 - [c41]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL (Extended Abstract). Description Logics 2015 - [c40]Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics 2015 - [c39]Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in EL. Description Logics 2015 - [c38]Stefan Borgwardt
, Rafael Peñaloza
:
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. FroCos 2015: 49-65 - [c37]Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in DL-Lite with Negation. GCAI 2015: 51-65 - [c36]Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
The Complexity of Subsumption in Fuzzy EL. IJCAI 2015: 2812-2818 - [c35]Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in the Description Logic EL. IJCAI 2015: 2819-2825 - [c34]Franz Baader
, Stefan Borgwardt
, Barbara Morawska
:
Dismatching and Local Disunification in EL. RTA 2015: 40-56 - [i2]Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR abs/1508.02626 (2015) - [i1]Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Infinitely Valued G-IALCQ. CoRR abs/1509.08761 (2015) - 2014
- [b1]Stefan Borgwardt:
Fuzzy description logics with general concept inclusions. Dresden University of Technology, 2014, pp. 1-170 - [j2]Stefan Borgwardt
, Rafael Peñaloza
:
Consistency reasoning in lattice-based fuzzy Description Logics. Int. J. Approx. Reason. 55(9): 1917-1938 (2014) - [c33]Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Many-valued Horn Logic is Hard. PRUV 2014: 52-58 - [c32]Stefan Borgwardt:
Fuzzy Description Logics with General Concept Inclusions. Joint Workshop of the German Research Training Groups in Computer Science 2014: 139 - [c31]Stefan Borgwardt:
Fuzzy DLs over Finite Lattices with Nominals. Description Logics 2014: 58-70 - [c30]Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
Gödel FL_0 with Greatest Fixed-Point Semantics. Description Logics 2014: 71-82 - [c29]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Gödel Description Logics with General Models. Description Logics 2014: 391-403 - [c28]Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
:
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. JELIA 2014: 62-76 - [c27]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Decidable Gödel Description Logics without the Finitely-Valued Model Property. KR 2014 - [c26]Stefan Borgwardt
, Rafael Peñaloza
:
Finite Lattices Do Not Make Reasoning in ALCOI Harder. URSW (LNCS Vol.) 2014: 122-141 - 2013
- [j1]Stefan Borgwardt
, Rafael Peñaloza
:
The Complexity of Lattice-Based Fuzzy Description Logics. J. Data Semant. 2(1): 1-19 (2013) - [c25]Franz Baader
, Stefan Borgwardt
, Marcel Lippmann:
Temporalizing Ontology-Based Data Access. CADE 2013: 330-344 - [c24]Stefan Borgwardt, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in DL-Lite. Description Logics 2013: 80-92 - [c23]Stefan Borgwardt, Rafael Peñaloza:
About Subsumption in Fuzzy EL. Description Logics 2013: 526-538 - [c22]Stefan Borgwardt
, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in the Description Logic DL-Lite. FroCos 2013: 165-180 - [c21]Stefan Borgwardt, Rafael Peñaloza:
Positive Subsumption in Fuzzy EL with General t-Norms. IJCAI 2013: 789-795 - 2012
- [c20]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Computing Minimal EL-unifiers is Hard. Advances in Modal Logic 2012: 18-35 - [c19]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 - [c18]Franz Baader
, Stefan Borgwardt, Barbara Morawska:
Recent Advances in Unification for the EL Family. UNIF 2012: 1-6 - [c17]Franz Baader
, Stefan Borgwardt
, Barbara Morawska
:
SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. IJCAR 2012: 30-44 - [c16]Stefan Borgwardt
, Felix Distel, Rafael Peñaloza
:
How Fuzzy Is My Fuzzy Description Logic? IJCAR 2012: 82-96 - [c15]Franz Baader, Stefan Borgwardt, Barbara Morawska:
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics 2012 - [c14]Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska:
UEL: Unification Solver for EL. Description Logics 2012 - [c13]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Gödel Negation Makes Unwitnessed Consistency Crisp. Description Logics 2012 - [c12]Stefan Borgwardt, Rafael Peñaloza:
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. Description Logics 2012 - [c11]Franz Baader, Stefan Borgwardt, Barbara Morawska:
Extending Unification in EL Towards General TBoxes. KR 2012 - [c10]Stefan Borgwardt, Rafael Peñaloza:
Undecidability of Fuzzy Description Logics. KR 2012 - [c9]Stefan Borgwardt
, Barbara Morawska
:
Finding Finite Herbrand Models. LPAR 2012: 138-152 - [c8]Stefan Borgwardt, Rafael Peñaloza
:
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. RR 2012: 9-24 - 2011
- [c7]Stefan Borgwardt, Rafael Peñaloza:
The Inclusion Problem for Weighted Automata on Infinite Trees. AFL 2011: 108-122 - [c6]Franz Baader
, Thanh Binh Nguyen, Stefan Borgwardt
, Barbara Morawska
:
Unification in the Description Logic EL without the Top Concept. CADE 2011: 70-84 - [c5]Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Unification in the Description Logic EL without the Top Concept. Description Logics 2011 - [c4]Stefan Borgwardt, Rafael Peñaloza:
Fuzzy Ontologies over Lattices with T-norms. Description Logics 2011 - [c3]Stefan Borgwardt
, Rafael Peñaloza
:
Description Logics over Lattices with Multi-Valued Ontologies. IJCAI 2011: 768-773 - [c2]Stefan Borgwardt, Rafael Peñaloza:
Finite Lattices Do Not Make Reasoning in ALCI Harder. URSW 2011: 51-62 - [c1]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
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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-08-22 19:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint