1
0
0
(1 - 32 von 44
)
Dr. Yevgeny Kazakov - Ulm University
www.uni-ulm.de
· I have been actively working on the topic of modularity in ontologies together with Bernardo Cuenca-Grau, Ian Horrocks, and Uli Sattler, and also did some theoretical research on extensions of description logics, modal logics, and ontology languages with expressive features, such as complex role inclusion axioms, graded modalities / counting, role conjunctions, and conjunctive queries ...
[Hol-info] Description Logics 2010: 2nd call for papers | HOL...
sourceforge.net
... UK) Ralf Moeller (Hamburg University of Technology, Germany) Boris Motik ... Germany) Uli Sattler (University of Manchester, UK) Stefan Schlobach (Vrije ...
Frontiers of Combining Systems: 12th International ...google.de
books.google.de
... Uli Sattler School of Computer Science, University of Manchester, UK .uk Description Logics [2] are decidable fragments of first ...
Frontiers of Combining Systems: 12th International ...
books.google.fr
Modularity and Automated Reasoning in Description Logics Uli Sattler School of Computer Science, University of Manchester, UK uli.sattler ...
STAIRS 2014: Proceedings of the 7th European Starting AI Researcher...
books.google.de
... License. doi: Practical Defeasible Reasoning for Description Logics Kody Moodley, Thomas Meyer and Uli Sattler University ...
Modal and Description Logics Week 5 Uli SattlerThe University of Manchester
www.cs.man.ac.uk
Uli Sattler. University of. Manchester. 1. Page 2. Discussion of Coursework. 1. Tableau: • straightforward but cumbersome application of tableau rules. • should ... Uli Sattler. University of. Manchester. 1. Page 2. Discussion of Coursework. 1. Tableau: • straightforward but cumbersome application of tableau rules. • should ...
Description logics, ontologies, and automated reasoning
lc18.uniud.it
› tutorials › uli-sattler-part1
Invited Talks - KR RWTH AachenKR 2021
kr2021.kbsg.rwth-aachen.de
— Bio: Uli Sattler is a professor at the University of Manchester, working in logic-based knowledge representation, Description Logics, and — Bio: Uli Sattler is a professor at the University of Manchester, working in logic-based knowledge representation, Description Logics, and ...
[DL] DL Seminar Series [Reminder]TU Dresden
mailman.zih.tu-dresden.de
— ... Uli Sattler (University of Manchester) on June 2nd at 2pm CEST. Title: Reasoning in Description Logics: how? Why? And who pays? The Zoom — ... Uli Sattler (University of Manchester) on June 2nd at 2pm CEST. Title: Reasoning in Description Logics: how? Why? And who pays? The Zoom ...
Description Logics - International Center for Com…tional Logic
iccl.inf.tu-dresden.de
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
User:Uli - OWLW3C
www.w3.org
— Uli Sattler. I am a Professor in the School of Computer Science in the University of Manchester, and have been working on Description Logics — Uli Sattler. I am a Professor in the School of Computer Science in the University of Manchester, and have been working on Description Logics ...
TEASE-LP Live Session 2, 29 May - Leiden University ...Universiteit Leiden
video.leidenuniv.nl
Uli Sattler: Description Logics and Ontology Languages – an introduction and overview. TEASE-LP Session 2 Full. 1:53:57. Thumbnail for Olivier Hermant and ... Uli Sattler: Description Logics and Ontology Languages – an introduction and overview. TEASE-LP Session 2 Full. 1:53:57. Thumbnail for Olivier Hermant and ...
Uli Sattler: Description Logics and Ontology Languagescoalg.org
www.coalg.org
Uli Sattler: Description Logics and Ontology Languages – an introduction and overview. Forum Slides. Attachments. TEASE-LP_Sattler (7 MB). Extensions of logic ... Uli Sattler: Description Logics and Ontology Languages – an introduction and overview. Forum Slides. Attachments. TEASE-LP_Sattler (7 MB). Extensions of logic ...
Applying DLs to work∞ow reuse and repurposingAcademia.edu
www.academia.edu
by Uli Sattler. See Full PDF Download PDF. Free Related PDFs. Applying Description Logics for Workflow Reuse and Repurposing · Uli Sattler , Description ... by Uli Sattler. See Full PDF Download PDF. Free Related PDFs. Applying Description Logics for Workflow Reuse and Repurposing · Uli Sattler , Description ...
HTML Export for Dagstuhl Reports, Volume 11, Issue 8 - DROPSdagstuhl.de
drops.dagstuhl.de
... Uli Sattler Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar )
Practical Defeasible Reasoning for Description LogicsIOS Press Ebooks
ebooks.iospress.nl
von K Moodley · · Zitiert von: 2 — Kody Moodley, Thomas Meyer, Uli Sattler. Pages DOI Series. Frontiers in Artificial Intelligence and Applications. von K Moodley · · Zitiert von: 2 — Kody Moodley, Thomas Meyer, Uli Sattler. Pages DOI Series. Frontiers in Artificial Intelligence and Applications.
Quantitative Methods for Similarity in Description LogicsQucosa - TU Dresden
tud.qucosa.de
von A Ecke · Zitiert von: 5 — GutachterIn. Prof. Dr.-Ing. Franz Baader; Prof. Dr. Uli Sattler. BetreuerIn. Prof. Dr.-Ing. Franz Baader. Den akademischen Grad verleihende / prüfende ... von A Ecke · Zitiert von: 5 — GutachterIn. Prof. Dr.-Ing. Franz Baader; Prof. Dr. Uli Sattler. BetreuerIn. Prof. Dr.-Ing. Franz Baader. Den akademischen Grad verleihende / prüfende ...
Uli Sattler - Google Scholar Citations
scholar.google.de
Uli Sattler. Professor, IMG, School of Computer Science, University of Manchester · Description Logics, Ontology Engineering, Automated Reasoning. Bestätigte ...
Uli Sattler - Google Scholar
scholar.google.com
Professor, IMG, Department of Computer Science, University of Manchester - อ้างอิงโดย 19,994 รายการ - Description Logics - Ontology Engineering -...
Uli Sattler - Google 학술 검색
scholar.google.co.in
Professor, IMG, Department of Computer Science, University of Manchester - 인용 횟수 21,188번 - Description Logics - Ontology Engineering - Automated...
Introduction,Part1. Uli Sattler 1 Thomas Schneider 2. ESSLLI ...docplayer.net › Introduction-part1-uli-sattler-1-thomas-sc...
docplayer.net
Description Logics: a Nice Family of Logics Introduction,Part1 Uli Sattler and Sebastian Wandelt 2 1 Hamburg University of Technology, Hamburg, ...
Modularity. Uli Sattler 1 Thomas Schneider 2. ESSLLI, 10 August...
zdoc.pub
1 Description Logics: a Nice Family of Logics Modularity Uli Sattler 1 Thomas Schneider 2 1 School of Computer Science, ...
Uli Sattler - Google Acadêmico
scholar.google.com.br
Professor, IMG, Department of Computer Science, University of Manchester - Citado por - Description Logics - Ontology Engineering - Automated...
Uli Sattler - Google Akademik
scholar.google.de
Professor, IMG, Department of Computer Science, University of Manchester - tarafından alıntılandı - Description Logics - Ontology Engineering...
Description Logics
dl.kr.org
A Description Logic Textbook has appeared in The 2nd edition of the Description Logic Handbook has appeared in A navigator for the complexity of description logics by Evgeny Zolin. A list of ontology repositories at the University of Manchester. A list of description logic reasoners maintained by Uli Sattler
ISKOI: Description logics: Dresden: May
liste.cilea.it
... Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, Germany * Boris Motik, Oxford, UK * Ralf Moeller, Hamburg, Germany * Bijan Parsia, Manchester, UK, * Peter Patel-Schneider, Alcatel Lucent, USA * Riccardo Rosati, Rome, Italy * Uli Sattler, Manchester, ...
[Agda] Description Logics 2010: 2nd call for papers
lists.chalmers.se
... of Manchester, UK) Ralf Moeller (Hamburg University of Technology, ... Rudolph (University of Karlsruhe, Germany) Uli Sattler (University of ...
(PDF) Chapter 3 Description Logics | Uli SattlerAcademia.edu
www.academia.edu
Uli Sattler , Lecture Notes in Computer Science. Download Free PDF View PDF. Free PDF. Description Logics for Ontologies. The description logic handbook ... Uli Sattler , Lecture Notes in Computer Science. Download Free PDF View PDF. Free PDF. Description Logics for Ontologies. The description logic handbook ...
[ecoop-info] Description Logics 2010: 2nd call for papers
web.satd.uma.es
... UK) Ralf Moeller (Hamburg University of Technology, Germany) Boris Motik ... Germany) Uli Sattler (University of Manchester, UK) Stefan Schlobach (Vrije ...
27th International Workshop on Description Logics
www.dbai.tuwien.ac.at
DL 2014, 27th International Workshop on Description Logics
Alle Infos zum Namen "Uli Sattler"
sortiert nach Relevanz / Datum