Michael Schneider

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Knowledge Representation

Top Venues

Publications

Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions. OWLED (2013)
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions CoRR (2012)
Sebastian Rudolph, Michael Schneider
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies. ICCS (2011)
Michael Schneider, Geoff Sutcliffe
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. CADE (2011)
Michael Schneider, Geoff Sutcliffe
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving CoRR (2011)
Raúl García-Castro, Stephan Grimm, Ioan Toma, Michael Schneider, Adrian Marte
The SEALS yardsticks for ontology management. IWEST@ISWC (2010)
Michael Schneider, Kai Mainzer
A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics. OWLED (2009)
Paraskevi K. Tzouveli, Andreas P. Schmidt, Michael Schneider, Antonis Symvonis, Stefanos D. Kollias
Adaptive Reading Assistance for the Inclusion of Students with Dyslexia: The AGENT-DYSL Approach. ICALT (2008)
Michael Schneider, Felix Kratzer, Kai Mainzer
semSL: Tagging and Data Linking for Second Life. ISWC (Posters & Demos) (2008)
Andreas P. Schmidt, Michael Schneider
Adaptive Reading Assistance for Dyslexic Students: Closing the Loop. LWA (2007)