1
0
0
News
Promotionspreis der Thomas Gessmann-Stiftung für Andreas...
www.uni-ulm.de
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 ...
OWLED-ORE : 13th OWL: Experiences and Directions Workshop...
www.wikicfp.com
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
Netzwerk-Profile
LinkedIn: Andreas Steigmiller – Software Development Engineer at AWS...
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...
LinkedIn: Andreas Steigmiller – Forscher – Universität Ulm | LinkedInde.linkedin.com › andreas-steigmiller a
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.
Ausbildung
BMIR Research in Progress: Rafael Gonçalves “The OWL Reasoner...
medicinecalendars.stanford.edu
· Birte Glimm and Andreas Steigmiller – Institute of Artificial Intelligence, University of Ulm, Germany. Abstract:
Dr. Andreas Steigmiller - Universität UlmUni Ulm
www.uni-ulm.de
— Andreas Steigmiller. I left the University of Ulm. This page is no longer maintained. From the beginning of to the beginning of 2019, I ...
Auszeichnungen
Andreas Steigmiller - abitur-und-studium.de
www.abitur-und-studium.de
Für diese Seite sind keine Informationen verfügbar.
Hochschule Ulm - abitur-und-studium.dewww.abitur-und-studium.de › Blogs › Hochschule-Ulm
www.abitur-und-studium.de
Tobias Feger und Andreas Steigmiller sind die Träger des diesjährigen Innovationspreises, den das Förderforum der Hochschule Ulm e.V. auf seiner ...
Bücher
idn= Katalog der Deutschen NationalbibliothekDeutsche Nationalbibliothek
portal.dnb.de
Art des Inhalts, Hochschulschrift ; Titel, Optimisation of tableau-based reasoning systems for expressive description logics / Andreas Steigmiller ; Person(en) ...
Publications of Andreas Steigmiller
mkh.cs.man.ac.uk
[1], Extended Caching and Backjumping for Expressive Description Logics (Andreas Steigmiller, Thorsten Liebig, Birte Glimm), In Description Logics, [bib] ...
The Semantic Web - ISWC 2015: 14th International Semantic Web ...
books.google.co.in
... Andreas Steigmiller for his kind and timely assistance in helping us set up the ORE reasoner competition framework in our evaluation. References
Web Reasoning and Rule Systems: 6th International Conference, RR ...
books.google.co.in
... Philipp Obermeier Yuan Ren Maria Vanina Martinez Patrik Schneider Frantiˇsek Simanc ́ık Andreas Steigmiller Yuting Zhao Christoph Redl VIII Organization.
Dokumente zum Namen
Build it, and they will come: Applications of semantic technology
www.slideshare.net
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…
Konclude: System DescriptionSocial Science Research Network
papers.ssrn.com
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 - HomeACM Digital Library
dl.acm.org
Andreas Steigmiller. Institute of Artificial Intelligence, University of Ulm, Ulm, Germany. , · Birte Glimm. Institute of Artificial Intelligence, University of ...
Konclude: System Description - SSRN Paperspapers.ssrn.com › sol3 › papers
papers.ssrn.com
· Andreas Steigmiller. Ulm University - Institute of Artificial Intelligence ; Thorsten Liebig. derivo GmbH ; Birte Glimm. Ulm University
Wissenschaftliche Veröffentlichungen
Dr. Andreas Steigmiller - GEPRIS - DFGDeutsche Forschungsgemeinschaft
gepris.dfg.de
Dr. Andreas Steigmiller, Institut für Künstliche Intelligenz (KI), James-Franck-Ring, Ulm.
dblp: Andreas Steigmiller
dblp.uni-trier.de
List of computer science publications by Andreas Steigmiller
Dr. Andreas Steigmiller - Universität Ulmwww.uni-ulm.de › inst › team › andreas-steigmiller
www.uni-ulm.de
· Dr. Andreas Steigmiller ☎ + ➤ Universität Ulm ,Institut für Künstliche Intelligenz ,James-Franck-Ring, Ulm.
Beantwortung Konjunktiver Anfragen für Ausdrucksstarke GEPRISgepris.dfg.de › gepris › projekt
gepris.dfg.de
Antragsteller Dr. Andreas Steigmiller. Fachliche Zuordnung Theoretische Informatik Informationssysteme, Prozess- und Wissensmanagement.
Veröffentlichungen allgemein
The OWL Reasoner Evaluation (ORE) Competition ...CORE
core.ac.uk
von B Parsia · · Zitiert von: 118 — Andreas Steigmiller Information Management Group, University of Manchester, Manchester, UK. 2. Stanford Center for Biomedical ...
Coupling Tableau Algorithms for Expressive Description Logics with...
link.springer.com
Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such as SNOMED very efficiently. However, saturation-based...
(PDF) Extended Caching, Backjumping and Merging for ...ResearchGate
www.researchgate.net
... Andreas Steigmiller · Andreas Steigmiller. This person is not on ResearchGate ... Andreas Steigmiller1, Thorsten Liebig2, and Birte Glimm1. 1Ulm University, Ulm ...
Video & Audio
Andreas Steigmiller - YouTubewww.youtube.com › channel
www.youtube.com
Andreas Steigmiller. Andreas Steigmiller. @andreassteigmiller @andreassteigmiller video. Subscribe. Home. Videos. Playlists. Channels.
DL Parallelised ABox Reasoning and Query Answering ...YouTube · KR conference series220+ Aufrufe · vor 3 Jahren
www.youtube.com
Andreas Steigmiller and Birte Glimm Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (short paper) DL
Artikel & Meinungen
Google Groups: [CfP] 4th OWL Reasoner Evaluation (ORE) Workshop (with DL 2015) -...
Andreas Steigmiller, Ulm University, Germany * Valentina Tamma, University of Liverpool, UK * Dmitry Tsarkov, University of Manchester, UK
Parallelised ABox Reasoning and Query Answering OpenReviewopenreview.net › forum
openreview.net
Submission by Andreas Steigmiller • Parallelised ABox Reasoning and Query Answering with Expressive Description Logics · Select All · Paper26 Authors · Paper
Sonstiges
Carlos Manuel López Enríquez - Amazon Web Services ...
www.linkedin.com
Andreas Steigmiller. SDE @ AWS Neptune. Berlin · Connect. Explore collaborative articles. We're unlocking community knowledge in a new way. Experts add insights ... Nuremberg, Bavaria, Germany · Amazon Web Services (AWS)Andreas Steigmiller. SDE @ AWS Neptune. Berlin · Connect. Explore collaborative articles. We're unlocking community knowledge in a new way. Experts add insights ...
Harold Henry - Amazon Web Services (AWS)
www.linkedin.com
Andreas Steigmiller. SDE @ AWS Neptune. Berlin · Connect · Alexandre Riazanov. Seattle, WA · Connect · Laura Davis. Technical Writer at Amazon Web Services (AWS) ... Olympia, Washington, United States · Amazon Web Services (AWS)Andreas Steigmiller. SDE @ AWS Neptune. Berlin · Connect · Alexandre Riazanov. Seattle, WA · Connect · Laura Davis. Technical Writer at Amazon Web Services (AWS) ...
Andreas Steigmiller's research works | Ulm University, Ulm (UULM)...
www.researchgate.net
Andreas Steigmiller's 12 research works with 229 citations and 767 reads, including: Parallelised ABox Reasoning and Query Answering with Expressive Description Logics
Andreas Steigmiller · GitLabgitlab.com › users › andreas-steigmiller › snippets
gitlab.com
Register · Sign in. Toggle navigation Menu. Andreas Steigmiller. @andreas-steigmiller. User ID: Member since July 08, :55 PM. 0 followers.
Andreas Steigmiller - Institute of Artificial Intelligence, Ulm ...VideoLectures
videolectures.net
Andreas Steigmiller. homepage: https://www.uni-ulm.de/en/in/ki/inst/staff/andreas-steigmiller/. search externally: Google Scholar, Springer, CiteSeer ...
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and...
jair.org
Andreas Steigmiller and Birte Glimm (2015) "Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures", Volume 54, pages ...
Andreas Steigmiller · GitLabgitlab.com › andreas-steigmiller
gitlab.com
@andreas-steigmiller. User ID: Member since July 08, :19 PM. 0 followers · 0 following · Overview · Activity · Groups · Contributed projects ...
Publications - derivo GmbH
www.derivo.de
Andreas Steigmiller Person , Thorsten Liebig Person and Birte Glimm Person ... Publisher: Springer-Verlag, DOI: _35.
Es fehlt: grin
[PDF] Absorption for ABoxes | Semantic Scholar
www.semanticscholar.org
· Andreas Steigmiller, Birte Glimm, Thorsten Liebig; DLOG; 2015; Absorption for ABoxes with Local Universal Restrictions. Jiewen Wu, Taras Kinash, …
andreas-steigmiller / ore testing-frameworkBitbucket
bitbucket.org
Andreas Steigmiller · Untitled project. ORE Testing-Framework. Clone. source:master. Filter files. Files. Having trouble showing that directory.
CEUR-WS.org/Vol International Workshop on Description Logics...
ceur-ws.org
27th International Workshop on Description Logics Andreas Steigmiller, Birte Glimm, Thorsten Liebig; Hybrid Query Answering Over DL Ontologies
CEUR-WS.org/Vol Proceedings of the 28th International...
ceur-ws.org
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...
docplayer.net
Extended Caching, Backjumping and Merging for Expressive Description Logics Andreas Steigmiller, Thorsten Liebig, Birte Glimm Ulmer Informatik-Berichte Nr Mai
Bitbucket
bitbucket.org
Andreas Steigmiller · Untitled project · ORE Testing-Framework · Branches. master. Check out. View source. master. change destination. master ...
Tableau Caching for Description Logics with Inverse and Transitive...
docplayer.net
Extended Caching, Backjumping and Merging for Expressive Description Logics Andreas Steigmiller, Thorsten Liebig, ...
18th International Semantic Web Conference (ISWC) ...VideoLectures
videolectures.net
Andreas Steigmiller Andreas Steigmiller. 7 views, 20:00. flag VLog: A Rule Engine for Knowledge GraphsVLog: A Rule Engine for Knowledge Graphs. Jacopo Urbani ...
A Parallel Environment Designing for OWL Thinkingwww.itm-conferences.org › itmconf › ref ›
www.itm-conferences.org
[Google Scholar]; Andreas Steigmiller, Thorsten Liebig, Birte Glimm.: Konclude: System description. Web Semantics: Science, Services and Agents on the World ...
27th International Workshop on Description Logics
www.dbai.tuwien.ac.at
DL 2014, 27th International Workshop on Description Logics
A Parallel Environment Designing for OWL ThinkingAcademia.edu
www.academia.edu
... Andreas Steigmiller et.al. [9] presents Konclude, Water Melon}. a high performance reasoned for the description logic Step 2: As per the above given ...
0.6.2~dfsg-3 : konclude package : Ubuntu
launchpad.net
Thanks to Martin Michlmayr and Andreas Steigmiller. * Declare compliance with Debian Policy * Modernize Vcs-git fields to use https ...
Verwandte Suchanfragen zu Andreas Steigmiller
Thorsten Liebig Birte Glimm Christoph Redl | Francesca Rossi Patrik Schneider Ernesto Jiménez-Ruiz | Rita Steigmiller Elisabeth Klett Sebastian Rahtz |
Personen Vorname "Andreas" (97752) Name "Steigmiller" (23) |
sortiert nach Relevanz / Datum