BibSonomy publications for /user/eswc2008/reasoningBibSonomypublrss/user/eswc2008/reasoningBibSonomy RSS feed for /user/eswc2008/reasoning2012-02-16T21:24:39+01:00Finite model reasoning in DL-Litehttp://www.bibsonomy.org/bibtex/2c637e37e6eb5932d4550f10f0e84c7a2/eswc2008eswc20082008-05-28T14:50:04+02:00ontologies reasoning description computational logics complexity formal-languages-2 <span class="authorEditorList"><a href="/author/Rosati">Riccardo Rosati</a> </span><em>Proceedings of the 5th European Semantic Web Conference, </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em>(<em>June 2008</em>)Mapping Validation by Probabilistic Reasoninghttp://www.bibsonomy.org/bibtex/22042ef8759afd27e1d86a87c67e13e4f/eswc2008eswc20082008-05-28T14:49:55+02:00matching mapping probabilistic logics description ontology reasoning formal-languages-1 <span class="authorEditorList"><a href="/author/Castano">Silvana Castano</a>, <a href="/author/Ferrara">Alfio Ferrara</a>, <a href="/author/Lorusso">Davide Lorusso</a>, <a href="/author/Näth">Tobias Henrik Näth</a>, and <a href="/author/Moeller">Ralf Moeller</a> </span><em>Proceedings of the 5th European Semantic Web Conference, </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em>(<em>June 2008</em>)Semantic Reasoning: A Path To New Possibilities of Personalizationhttp://www.bibsonomy.org/bibtex/23186161593481e5e2006b7e64f23d2c7/eswc2008eswc20082008-05-28T14:49:50+02:00techniques activation associations web personalization semantic reasoning spreading user-interfaces-and-personalization <span class="authorEditorList"><a href="/author/Blanco-Fernandez">Yolanda Blanco-Fernandez</a>, <a href="/author/Pazos-Arias">José J. Pazos-Arias</a>, <a href="/author/Gil-Solla">Alberto Gil-Solla</a>, <a href="/author/Ramos-Cabrer">Manuel Ramos-Cabrer</a>, and <a href="/author/Lopez-Nores">Martin Lopez-Nores</a> </span><em>Proceedings of the 5th European Semantic Web Conference, </em><em>Berlin, Heidelberg, </em><em>Springer Verlag, </em>(<em>June 2008</em>)