<div class="gmail_quote">2009/10/26 Sebastian Trüg <span dir="ltr">&lt;<a href="mailto:trueg@kde.org">trueg@kde.org</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

and are not inferred by the crappy inferencer.<br><br></blockquote><div><br></div><div>By the way: if we are using Virtuoso, it introduces some inference functionalities, right? So does it overlap with the crappy inferencer or are they two different things?</div>

</div><br>-- <br>Sivieri Alessandro<br><a href="mailto:alessandro.sivieri@gmail.com">alessandro.sivieri@gmail.com</a><br><a href="http://www.chimera-bellerofonte.eu/">http://www.chimera-bellerofonte.eu/</a><br><a href="http://www.poul.org/">http://www.poul.org/</a><br>