195 Infos zu Andreas Steigmiller

2 Aktuelle Nachrichten

28. März · Die Dissertation von Herrn Dr. Andreas Steigmiller mit dem Titel "Optimisation of Tableau-Based Reasoning Systems for Expressive Description Logics" (Betreuerin: Jun-Prof. Birte Glimm) wurde mit dem Preis der Thomas Gessmann-Stiftung ausgezeichnet. Der Preis ist mit € dotiert und wird von der Thomas Gessmann-Stiftung alle ...

Claudia D'Amato Ernesto Jimenez-Ruiz Yevgeny Kazakov Ilianna Kollia Markus Krötzsch Despoina Magka Francisco Martin-Recuerda Christian Meilicke Julian Mendez Nicolas Matentzoglu Catia Pesquita María del Mar Roldán García Floriano Scioscia Andreas Steigmiller Dmitry Tsarkov Zhe Wang Dmitriy Zheleznyakov

15 Profile in Sozialen Netzwerken

Sehen Sie sich das Profil von Andreas Steigmiller im größten Business-Netzwerk der Welt an. Im Profil von Andreas Steigmiller sind 2 Jobs angegeben. Auf LinkedIn können Sie sich das...

Sehen Sie sich das Profil von Andreas Steigmiller im größten Business-Netzwerk der Welt an. Im Profil von Andreas Steigmiller ist 1 Job angegeben.

2 Infos zur Ausbildung

· Birte Glimm and Andreas Steigmiller – Institute of Artificial Intelligence, University of Ulm, Germany. Abstract:

— Andreas Steigmiller. I left the University of Ulm. This page is no longer maintained. From the beginning of to the beginning of 2019, I ...

2 Auszeichnungen

Für diese Seite sind keine Informationen verfügbar.

Tobias Feger und Andreas Steigmiller sind die Träger des diesjährigen Innovationspreises, den das Förderforum der Hochschule Ulm e.V. auf seiner ...

20 Bücher zum Namen

Art des Inhalts, Hochschulschrift ; Titel, Optimisation of tableau-based reasoning systems for expressive description logics / Andreas Steigmiller ; Person(en) ...

[1], Extended Caching and Backjumping for Expressive Description Logics (Andreas Steigmiller, Thorsten Liebig, Birte Glimm), In Description Logics, [bib] ...

... Andreas Steigmiller for his kind and timely assistance in helping us set up the ORE reasoner competition framework in our evaluation. References

... Philipp Obermeier Yuan Ren Maria Vanina Martinez Patrik Schneider Frantiˇsek Simanc ́ık Andreas Steigmiller Yuting Zhao Christoph Redl VIII Organization.

22 Dokumente

My Keynote talk at ISWC 2015: Semantic technologies are rapidly becoming mainstream, with RDF, OWL and SPARQL now supported by a range of commercial systems an…

von A Steigmiller · · Zitiert von: 177 — Andreas Steigmiller · Thorsten Liebig · Birte Glimm · Do you have negative results from your research you'd like to share? · Paper statistics.

Andreas Steigmiller. Institute of Artificial Intelligence, University of Ulm, Ulm, Germany. , · Birte Glimm. Institute of Artificial Intelligence, University of ...

· Andreas Steigmiller. Ulm University - Institute of Artificial Intelligence ; Thorsten Liebig. derivo GmbH ; Birte Glimm. Ulm University

25 Wissenschaftliche Publikationen

Dr. Andreas Steigmiller, Institut für Künstliche Intelligenz (KI), James-Franck-Ring, Ulm.

List of computer science publications by Andreas Steigmiller

· Dr. Andreas Steigmiller ☎ + ➤ Universität Ulm ,Institut für Künstliche Intelligenz ,James-Franck-Ring, Ulm.

Antragsteller Dr. Andreas Steigmiller. Fachliche Zuordnung Theoretische Informatik Informationssysteme, Prozess- und Wissensmanagement.

13 Allgemeine Veröffentlichungen

von B Parsia · · Zitiert von: 118 — Andreas Steigmiller Information Management Group, University of Manchester, Manchester, UK. 2. Stanford Center for Biomedical ...

factum - Hochschule Ulm

Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such as SNOMED very efficiently. However, saturation-based...

... Andreas Steigmiller · Andreas Steigmiller. This person is not on ResearchGate ... Andreas Steigmiller1, Thorsten Liebig2, and Birte Glimm1. 1Ulm University, Ulm ...

3 Video- & Audioinhalte

Andreas Steigmiller. Andreas Steigmiller. @andreassteigmiller @andreassteigmiller video. Subscribe. Home. Videos. Playlists. Channels.

Andreas Steigmiller · Uploads · Subscriptions ...

Andreas Steigmiller and Birte Glimm Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (short paper) DL

5 Meinungen & Artikel

Andreas Steigmiller, Ulm University, Germany * Valentina Tamma, University of Liverpool, UK * Dmitry Tsarkov, University of Manchester, UK

Jie Bao 撰写的有关 笔记 的文章

Submission by Andreas Steigmiller • Parallelised ABox Reasoning and Query Answering with Expressive Description Logics · Select All · Paper26 Authors · Paper

Jie Bao 撰写的有关 逻辑 的文章

85 Webfunde aus dem Netz

Andreas Steigmiller's 12 research works with 229 citations and 767 reads, including: Parallelised ABox Reasoning and Query Answering with Expressive Description Logics

Register · Sign in. Toggle navigation Menu. Andreas Steigmiller. @andreas-steigmiller. User ID: Member since July 08, :55 PM. 0 followers.

Andreas Steigmiller. homepage: https://www.uni-ulm.de/en/in/ki/inst/staff/andreas-steigmiller/. search externally: Google Scholar, Springer, CiteSeer ...

Andreas Steigmiller and Birte Glimm (2015) "Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures", Volume 54, pages ...

@andreas-steigmiller. User ID: Member since July 08, :19 PM. 0 followers · 0 following · Overview · Activity · Groups · Contributed projects ...

Andreas Steigmiller Person , Thorsten Liebig Person and Birte Glimm Person ... Publisher: Springer-Verlag, DOI: _35. Es fehlt: grin

· Andreas Steigmiller, Birte Glimm, Thorsten Liebig; DLOG; 2015; Absorption for ABoxes with Local Universal Restrictions. Jiewen Wu, Taras Kinash, …

Andreas Steigmiller · Untitled project. ORE Testing-Framework. Clone. source:master. Filter files. Files. Having trouble showing that directory.

27th International Workshop on Description Logics Andreas Steigmiller, Birte Glimm, Thorsten Liebig; Hybrid Query Answering Over DL Ontologies

Proceedings of the 28th International Workshop on Description Logics Athens, Greece, June 7th to 10th ... Andreas Steigmiller, Birte Glimm, Thorsten ...

Extended Caching, Backjumping and Merging for Expressive Description Logics Andreas Steigmiller, Thorsten Liebig, Birte Glimm Ulmer Informatik-Berichte Nr Mai

Andreas Steigmiller · Untitled project · ORE Testing-Framework · Branches. master. Check out. View source. master. change destination. master ...

Extended Caching, Backjumping and Merging for Expressive Description Logics Andreas Steigmiller, Thorsten Liebig, ...

Andreas Steigmiller Andreas Steigmiller. 7 views, 20:00. flag VLog: A Rule Engine for Knowledge GraphsVLog: A Rule Engine for Knowledge Graphs. Jacopo Urbani ...

[Google Scholar]; Andreas Steigmiller, Thorsten Liebig, Birte Glimm.: Konclude: System description. Web Semantics: Science, Services and Agents on the World ...

DL 2014, 27th International Workshop on Description Logics

... Andreas Steigmiller et.al. [9] presents Konclude, Water Melon}. a high performance reasoned for the description logic Step 2: As per the above given ...

Thanks to Martin Michlmayr and Andreas Steigmiller. * Declare compliance with Debian Policy * Modernize Vcs-git fields to use https ...

... von Andreas Steigmiller, Thorsten Liebig und Birte Glimm entwickelt wird which is developed here at the University of Ulm by Andreas Steigmiller, ...

Andreas Steigmiller, Thorsten Liebig and Birte Glimm. Ulm University - Institute of Artificial Intelligence, derivo GmbH and Ulm University - Institute of ...