Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Goal-Oriented Algorithm for Unification in $ELH_R+$ w.r.t. Cycle-Restricted Ontologies.

F. Baader, S. Borgwardt, and B. Morawska. Australasian Conference on Artificial Intelligence, volume 7691 of Lecture Notes in Computer Science, page 493-504. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Stefan Löhle University of Stuttgart

UV spectroscopy of artificial meteors (200-400 nm)J. Vaubaillon, N. Rambaux, S. Löhle, P. Matlovič, J. Tóth, and J. Mariscal. Icarus, (2024)

UV spectroscopy of artificial meteors (200-400 nm)J. Vaubaillon, N. Rambaux, S. Löhle, P. Matlovič, J. Tóth, and J. Mariscal. Icarus, (2024)Meteorite material luminous efficiencies from ground testing of meteoroid entryS. Löhle, J. Vaubaillon, P. Matlovič, and J. Tóth. Icarus, (2024)

Univ. -Prof. Dr. -Ing. Stefan Tenbohlen University of Stuttgart

Influence of Switching Contact Materials with Superimposed Axial Magnetic Field on the Vacuum Arc’s Chopping BehaviorM. Fischer, M. Beltle, S. Tenbohlen, D. Gentsch, and W. Ebbinghaus. 2023 30th International Symposium on Discharges and Electrical Insulation in Vacuum (ISDEIV), page 177-180. IEEE, (2023)

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Other publications of authors with the same name

Recent Advances in Unification for the EL Family.F. Baader, S. Borgwardt, and B. Morawska. UNIF, volume 24 of EPiC Series in Computing, page 1-6. EasyChair, (2012)Temporal Query Answering in DL-Lite with Negation.S. Borgwardt, and V. Thost. GCAI, volume 36 of EPiC Series in Computing, page 51-65. EasyChair, (2015)The Complexity of Lattice-Based Fuzzy Description Logics.S. Borgwardt, and R. Peñaloza. J. Data Semantics, 2 (1): 1-19 (2013)The complexity of fuzzy EL under the Łukasiewicz T-norm.S. Borgwardt, M. Cerami, and R. Peñaloza. Int. J. Approx. Reasoning, (2017)Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.F. Baader, S. Borgwardt, and B. Morawska. Logical Methods in Computer Science, (2016)Reasoning in Infinitely Valued G-IALCQ.S. Borgwardt, and R. Peñaloza. CoRR, (2015)Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies.S. Borgwardt, T. Mailis, R. Peñaloza, and A. Turhan. CoRR, (2015)Temporal query entailment in the Description Logic SHQ.F. Baader, S. Borgwardt, and M. Lippmann. J. Web Semant., (2015)Finite Lattices Do Not Make Reasoning in ALCOI Harder.S. Borgwardt, and R. Peñaloza. URSW (LNCS Vol.), volume 8816 of Lecture Notes in Computer Science, page 122-141. Springer, (2014)Temporalizing Ontology-Based Data Access.F. Baader, S. Borgwardt, and M. Lippmann. CADE, volume 7898 of Lecture Notes in Computer Science, page 330-344. Springer, (2013)