TY - GEN
AU - Hitzler, Pascal
AU - Krötzsch, Markus
AU - Rudolph, Sebastian
AU - Tserendorj, Tuvshintur
AU - Pascal Hitzler and Markus Krötzsch and Sebastian Rudolph and Tuvshintur Tserendorj
TI - Approximate OWL Instance Retrieval with SCREECH
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - automated reasoning
KW - approximate reasoning
KW - Description logics
KW - Horn logic
PY - 2008
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation