Michael Schneider

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