1
0
0
(1 - 17 von 18
)
bol.com: Uli Sattler artikelen kopen? Alle artikelen online | bol.com
Op zoek naar artikelen van Uli Sattler? Artikelen van Uli Sattler koop je eenvoudig online bij bol.com ✓ Snel in huis ✓ Veelal gratis verzonden
Frontiers of Combining SystemsSpringer
link.springer.com
von U Sattler · — University of Manchester, Manchester, UK. Uli Sattler · Czech Technical University in Prague, Prague, Czech Republic. Martin Suda ... von U Sattler · — University of Manchester, Manchester, UK. Uli Sattler · Czech Technical University in Prague, Prague, Czech Republic. Martin Suda ...
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 ...
Automated ReasoningSpringer
link.springer.com
von B Gramlich — Dale Miller,; Uli Sattler. Bernhard Gramlich. Fakultät für Informatik, Technische Universität Wien, Wien, Austria. von B Gramlich — Dale Miller,; Uli Sattler. Bernhard Gramlich. Fakultät für Informatik, Technische Universität Wien, Wien, Austria.
a Nice Family of Logics — Introduction, Part 1esslli 2016
esslli2016.unibz.it
Uli Sattler, Thomas Schneider. DL: Introduction Welcome! Let us know if you ... have questions. – Do ask them at any time have difficulties ... Uli Sattler, Thomas Schneider. DL: Introduction Welcome! Let us know if you ... have questions. – Do ask them at any time have difficulties ...
a Nice Family of Logics [4pt] — Complexity, Part 1esslli 2016
esslli2016.unibz.it
Uli Sattler, Thomas Schneider. DL: Complexity (1). 1. Page 2. Complexity basics. EXPTIME-membership. Goal for today & tomorrow. Automated reasoning plays an ... Uli Sattler, Thomas Schneider. DL: Complexity (1). 1. Page 2. Complexity basics. EXPTIME-membership. Goal for today & tomorrow. Automated reasoning plays an ...
Interview with Uli Sattler | KI - Künstliche Intelligenz -...
link.springer.com
22. Juli · Uli Sattler is a professor of logic-based knowledge representation at the University of Manchester. She worked as a dressmaker before studying Computer Science in Erlangen, Germany, received her PhD from RWTH Aachen, and completed her habilitation at TU Dresden. In 2003, she joined the Information Management Group at the University ...
Automated Reasoning | SpringerLink
link.springer.com
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June...
These minutes have been approved ...W3C
www.w3.org
... Uli Sattler, Jeremy Carroll, Achille Fokoue, Bernardo Cuenca Grau, Sandro Hawke, Alan Ruttenberg, Bijan Parsia, Ian Horrocks, Zhe Wu; Regrets: Martin Dzbor Uli Sattler, Jeremy Carroll, Achille Fokoue, Bernardo Cuenca Grau, Sandro Hawke, Alan Ruttenberg, Bijan Parsia, Ian Horrocks, Zhe Wu; Regrets: Martin Dzbor ...
Measuring Similarity in Ontologies: A New Family of Measures
link.springer.com
von T Alsubait · · Zitiert von: 15 — Measuring Similarity in Ontologies: A New Family of Measures. Tahani Alsubait,; Bijan Parsia &; Uli Sattler. Conference paper Accesses. 8 Citations. › chapter
a Nice Family of Logics [4pt] — Introduction, Part 1 - esslli 2016
esslli2016.unibz.it
2Department of Computer Science, University of Bremen, Germany. ESSLLI, 15 August Uli Sattler, Thomas Schneider. DL: Introduction 1. › uploads ›
General Terminology Induction in OWL | SpringerLink
link.springer.com
Automated acquisition, or learning, of ontologies has attracted research attention because it can help ontology engineers build ontologies and give domain...
a Nice Family of Logics — Modularityesslli 2016
esslli2016.unibz.it
von U Sattler — Uli Sattler, Thomas Schneider. DL: Modularity. 1. Plan for today. 1 What is modularity good for? 2 Modules for reuse. 3 Summary and Outlook. Uli Sattler, Thomas ... von U Sattler — Uli Sattler, Thomas Schneider. DL: Modularity. 1. Plan for today. 1 What is modularity good for? 2 Modules for reuse. 3 Summary and Outlook. Uli Sattler, Thomas ...
IOS Press Ebooks - The Modular Structure of an Ontology: Atomic...
ebooks.iospress.nl
The Modular Structure of an Ontology: Atomic Decomposition and Module Count. Authors. Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider.
Regeln für OWL (12. Vorlesung SWebT1 WS09/10) –...
www.semantic-web-grundlagen.de
Boris Motik, Uli Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. Journal of Web Semantics 3 (1), S. 41–60, July
Konjunktive Anfragen und Regelsprachen (11. Vorlesung SWebT1 WS07/08)...
www.semantic-web-grundlagen.de
Konjunktive Anfragen und Regelsprachen. Dozent. Markus Krötzsch. Datum ... Boris Motik, Uli Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. ...
Property Chains - OWL
www.w3.org
Issue 8 notes that Uli Sattler will think about whether a non structural restriction preventing use of non-unary predicates other …
sortiert nach Relevanz / Datum