Export 2 results:
Filters: Author is Michael Sintek  [Clear All Filters]
Sebastian Rudolph, Markus Krotzsch, Michael Sintek, Denny Vrandecic, Pascal Hitzler. Efficient OWL Reasoning with Logic Programs - Evaluations. In International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007. p. 370-373.  (106.23 KB)
M. Krotzsch, D. Vrandecic, M. Sintek, Pascal Hitzler. How to Reason with OWL in a Logic Programming System. In the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006. Athens, Georgia; 2006. p. 17-26.  (168 KB)