Library

Export 5 results:
Filters: Author is Denny Vrandecic  [Clear All Filters]
Conference Paper
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)
Denny Vrandecic, Pascal Hitzler. Faster OWL Using Split Programs. In 2005.  (0 bytes)
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)
Denny Vrandecic, Pascal Hitzler. Resolution-based approximate reasoning for OWL DL. In ISWC2005. Galway, Ireland; 2005. p. 383-397.  (182 KB)