Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Borgwardt

> Home > Persons

Person information

affiliation: TU Dresden, Institute for Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2014
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Borgwardt14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Borgwardt14
Stefan Borgwardt:
Fuzzy description logics with general concept inclusions. Dresden University of Technology, 2014, pp. 1-170

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BorgwardtFK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BorgwardtFK22
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Temporal Minimal-World Query Answering over Sparse ABoxes. Theory Pract. Log. Program. 22(2): 193-228 (2022)
2020
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ki/BaaderBKTT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BaaderBKTT20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BaaderBKOT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BaaderBKOT20
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)
2017
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/BorgwardtP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/BorgwardtP17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/BorgwardtCP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/BorgwardtCP17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/BaaderBP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BaaderBP17
Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. 31(1): 85-90 (2017)
2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BaaderBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaaderBM16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/BorgwardtP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/BorgwardtP16
Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Fuzzy Description Logics using Automata. Fuzzy Sets Syst. 298: 22-43 (2016)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jodsn/BorgwardtMPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jodsn/BorgwardtMPT16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/BaaderNBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/BaaderNBM16
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)
2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BorgwardtDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BorgwardtDP15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/BaaderBP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/BaaderBP15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ws/BorgwardtLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ws/BorgwardtLT15
Stefan Borgwardt, Marcel Lippmann, Veronika Thost:
Temporalizing rewritable query languages over knowledge bases. J. Web Semant. 33: 50-70 (2015)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ws/BaaderBL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ws/BaaderBL15
Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporal query entailment in the Description Logic SHQ. J. Web Semant. 33: 71-93 (2015)
2014
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijar/BorgwardtP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/BorgwardtP14
Stefan Borgwardt, Rafael Peñaloza:
Consistency reasoning in lattice-based fuzzy Description Logics. Int. J. Approx. Reason. 55(9): 1917-1938 (2014)
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jodsn/BorgwardtP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jodsn/BorgwardtP13
Stefan Borgwardt, Rafael Peñaloza:
The Complexity of Lattice-Based Fuzzy Description Logics. J. Data Semant. 2(1): 1-19 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c83]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/AlrabbaaBFKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlrabbaaBFKK23
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov:
Why Not? Explaining Missing Entailments with Evee. Description Logics 2023
[c82]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtBK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtBK23
Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova:
Computing ABox Justifications for Query Answers via Datalog Rewriting. Description Logics 2023
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/rulemlrr/AlrabbaaBBKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rulemlrr/AlrabbaaBBKK23
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR 2023: 54-69
2022
[c80]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Borgwardt0KKNS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Borgwardt0KKNS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Steinmetz0KB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Steinmetz0KB22
Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt:
Classical Planning with Avoid Conditions. AAAI 2022: 9944-9952
[c78]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/AlrabbaaBBDKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AlrabbaaBBDKM22
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/AlrabbaaBFK0P22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlrabbaaBFK0P22
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/AlrabbaaBKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlrabbaaBKK22
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics 2022
[c75]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/Borgwardt0KKNS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Borgwardt0KKNS22
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]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lrec/ChangKBDCY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lrec/ChangKBDCY22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AlrabbaaBKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AlrabbaaBKK22
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR 2022: 167-182
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AlrabbaaBHKKRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AlrabbaaBHKKRW22
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
2021
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/AlrabbaaBBKK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AlrabbaaBBKK21
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/AlrabbaaBBKK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlrabbaaBBKK21
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/AlrabbaaBKKRW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlrabbaaBKKRW21
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/Borgwardt0KS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Borgwardt0KS21
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Making DL-Lite Planning Practical (Extended Abstract). Description Logics 2021
[c67]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtCCDKY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtCCDKY21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmi/WiehrHSKKKBCDS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmi/WiehrHSKKKBCDS021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/Borgwardt0KS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Borgwardt0KS21
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Making DL-Lite Planning Practical. KR 2021: 641-645
2020
[c64]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/AlrabbaaBBKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlrabbaaBBKK20
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtFK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtFK20
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). Description Logics 2020
[c62]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtHKW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtHKW20
Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr:
In the Eye of the Beholder: Which Proofs are Best? Description Logics 2020
[c61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/AlrabbaaBBKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AlrabbaaBBKK20
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR 2020: 32-67
2019
[c60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BorgwardtCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BorgwardtCL19
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz:
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data. AAAI 2019: 2711-2718
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtCL19
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz:
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract). Description Logics 2019
[c58]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtF19
Stefan Borgwardt, Walter Forkel:
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract). Description Logics 2019
[c57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BorgwardtF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BorgwardtF19
Stefan Borgwardt, Walter Forkel:
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies. IJCAI 2019: 6131-6135
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BorgwardtF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BorgwardtF19
Stefan Borgwardt, Walter Forkel:
Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies. JELIA 2019: 371-386
[c55]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jowo/XuFBBZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jowo/XuFBBZ19
Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou:
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. JOWO 2019
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/BorgwardtFK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BorgwardtFK19
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. RuleML+RR 2019: 3-18
2018
[c53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BorgwardtCL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BorgwardtCL18
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz:
Recent Advances in Querying Probabilistic Knowledge Bases. IJCAI 2018: 5420-5426
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/www/BaaderBF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/BaaderBF18
Franz Baader, Stefan Borgwardt, Walter Forkel:
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. WWW (Companion Volume) 2018: 1069-1074
2017
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BorgwardtCL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BorgwardtCL17
Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz:
Ontology-Mediated Queries for Probabilistic Databases. AAAI 2017: 1063-1069
[c50]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderBKOT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderBKOT17
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics 2017
[c49]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtCP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtCP17
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Łukasiewicz Fuzzy EL is Undecidable. Description Logics 2017
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BaaderBKOT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BaaderBKOT17
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS 2017: 60-76
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BaaderBL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BaaderBL17
Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI 2017: 786-792
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CeylanBL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CeylanBL17
Ismail Ilkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz:
Most Probable Explanations for Probabilistic Database Queries. IJCAI 2017: 950-956
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/sum/BorgwardtP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sum/BorgwardtP17
Stefan Borgwardt, Rafael Peñaloza:
Fuzzy Description Logics - A Survey. SUM 2017: 31-45
2016
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtP16
Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Expressive Gödel Description Logics. Description Logics 2016
[c43]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BorgwardtFLST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BorgwardtFLST16
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
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/BaaderBL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/BaaderBL15
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderBM15
Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL (Extended Abstract). Description Logics 2015
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtMPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtMPT15
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics 2015
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtT15
Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in EL. Description Logics 2015
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BorgwardtP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BorgwardtP15
Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. FroCos 2015: 49-65
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/gcai/BorgwardtT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcai/BorgwardtT15
Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in DL-Lite with Negation. GCAI 2015: 51-65
[c36]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BorgwardtCP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BorgwardtCP15
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
The Complexity of Subsumption in Fuzzy EL. IJCAI 2015: 2812-2818
[c35]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BorgwardtT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BorgwardtT15
Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in the Description Logic EL. IJCAI 2015: 2819-2825
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/BaaderBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BaaderBM15
Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL. RTA 2015: 40-56
2014
[c33]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/BorgwardtCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BorgwardtCP14
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Many-valued Horn Logic is Hard. PRUV 2014: 52-58
[c32]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dfg/Borgwardt14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Borgwardt14
Stefan Borgwardt:
Fuzzy Description Logics with General Concept Inclusions. Joint Workshop of the German Research Training Groups in Computer Science 2014: 139
[c31]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/Borgwardt14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Borgwardt14
Stefan Borgwardt:
Fuzzy DLs over Finite Lattices with Nominals. Description Logics 2014: 58-70
[c30]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtGP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtGP14
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
Gödel FL_0 with Greatest Fixed-Point Semantics. Description Logics 2014: 71-82
[c29]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtDP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtDP14
Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Gödel Description Logics with General Models. Description Logics 2014: 391-403
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BorgwardtGP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BorgwardtGP14
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BorgwardtDP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BorgwardtDP14
Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Decidable Gödel Description Logics without the Finitely-Valued Model Property. KR 2014
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/BorgwardtP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/BorgwardtP13
Stefan Borgwardt, Rafael Peñaloza:
Finite Lattices Do Not Make Reasoning in ALCOI Harder. URSW (LNCS Vol.) 2014: 122-141
2013
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BaaderBL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaaderBL13
Franz Baader, Stefan Borgwardt, Marcel Lippmann:
Temporalizing Ontology-Based Data Access. CADE 2013: 330-344
[c24]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtLT13
Stefan Borgwardt, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in DL-Lite. Description Logics 2013: 80-92
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtP13
Stefan Borgwardt, Rafael Peñaloza:
About Subsumption in Fuzzy EL. Description Logics 2013: 526-538
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BorgwardtLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BorgwardtLT13
Stefan Borgwardt, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in the Description Logic DL-Lite. FroCos 2013: 165-180
[c21]
- view
- export record
  dblp key:
  - conf/ijcai/BorgwardtP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BorgwardtP13
Stefan Borgwardt, Rafael Peñaloza:
Positive Subsumption in Fuzzy EL with General t-Norms. IJCAI 2013: 789-795
2012
[c20]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/BaaderBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BaaderBM12
Franz Baader, Stefan Borgwardt, Barbara Morawska:
Computing Minimal EL-unifiers is Hard. Advances in Modal Logic 2012: 18-35
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/BaaderBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/BaaderBM12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BaaderBM12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaaderBM12a
Franz Baader, Stefan Borgwardt, Barbara Morawska:
Recent Advances in Unification for the EL Family. UNIF 2012: 1-6
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BaaderBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaaderBM12
Franz Baader, Stefan Borgwardt, Barbara Morawska:
SAT Encoding of Unification in ℇℒℋ_R⁺ w.r.t. Cycle-Restricted Ontologies. IJCAR 2012: 30-44
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BorgwardtDP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BorgwardtDP12
Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
How Fuzzy Is My Fuzzy Description Logic? IJCAR 2012: 82-96
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderBM12
Franz Baader, Stefan Borgwardt, Barbara Morawska:
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics 2012
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderBMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderBMM12
Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska:
UEL: Unification Solver for EL. Description Logics 2012
[c13]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtDP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtDP12
Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Gödel Negation Makes Unwitnessed Consistency Crisp. Description Logics 2012
[c12]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtP12
Stefan Borgwardt, Rafael Peñaloza:
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. Description Logics 2012
[c11]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BaaderBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BaaderBM12
Franz Baader, Stefan Borgwardt, Barbara Morawska:
Extending Unification in EL Towards General TBoxes. KR 2012
[c10]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BorgwardtP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BorgwardtP12
Stefan Borgwardt, Rafael Peñaloza:
Undecidability of Fuzzy Description Logics. KR 2012
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BorgwardtM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BorgwardtM12
Stefan Borgwardt, Barbara Morawska:
Finding Finite Herbrand Models. LPAR 2012: 138-152
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/BorgwardtP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/BorgwardtP12
Stefan Borgwardt, Rafael Peñaloza:
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. RR 2012: 9-24
2011
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/afl/BorgwardtP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afl/BorgwardtP11
Stefan Borgwardt, Rafael Peñaloza:
The Inclusion Problem for Weighted Automata on Infinite Trees. AFL 2011: 108-122
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BaaderBBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaaderBBM11
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Unification in the Description Logic EL without the Top Concept. CADE 2011: 70-84
[c5]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderBBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderBBM11
Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Unification in the Description Logic EL without the Top Concept. Description Logics 2011
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BorgwardtP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BorgwardtP11
Stefan Borgwardt, Rafael Peñaloza:
Fuzzy Ontologies over Lattices with T-norms. Description Logics 2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/BorgwardtP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BorgwardtP11
Stefan Borgwardt, Rafael Peñaloza:
Description Logics over Lattices with Multi-Valued Ontologies. IJCAI 2011: 768-773
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/BorgwardtP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/BorgwardtP11
Stefan Borgwardt, Rafael Peñaloza:
Finite Lattices Do Not Make Reasoning in ALCI Harder. URSW 2011: 51-62
[c1]
- view
  - electronic edition @ irif.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaaderBBM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaaderBBM11
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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2020
[e1]
- view
- export record
  dblp key:
  - conf/dlog/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2020
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-19096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-19096
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
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-03705
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-03705
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-07294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-07294
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
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09361
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09583
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-07711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-07711
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-09758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-09758
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-14381
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-14381
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
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-13138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-13138
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14369
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14369
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova:
Temporal Minimal-World Semantics for Sparse ABoxes. CoRR abs/2105.14369 (2021)
2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-09508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-09508
Stefan Borgwardt, Veronika Thost:
Temporal Conjunctive Query Answering in the Extended DL-Lite Family. CoRR abs/2003.09508 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-08311
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-08311
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-10967
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-10967
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)
2015
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BorgwardtMPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgwardtMPT15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BorgwardtP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgwardtP15
Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Infinitely Valued G-IALCQ. CoRR abs/1509.08761 (2015)

Coauthor Index

see FAQ

a service of

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.