BibSonomyburst/user/eswc2008/reasoningBibSonomy RSS feed for /user/eswc2008/reasoning2012-02-16T16:35:05+01:00http://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>)Wed May 28 14:50:04 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSFinite model reasoning in DL-Lite2008ontologies reasoning description computational logics complexity formal-languages-2 The semantics of OWL-DL and its subclasses are based on the classical semantics of first-order logic, in which the interpretation domain may be an infinite set. This constitutes a serious expressive limitation for such ontology languages, since, in many real application scenarios for the Semantic Web, the domain of interest is actually finite, although the exact cardinality of the domain is unknown. Hence, in these cases the formal semantics of the OWL-DL ontology does not coincide with its intended semantics. In this paper we start filling this gap, by considering the subclasses of OWL-DL which correspond to the logics of the DL-Lite family, and studying reasoning over finite models in such logics. In particular, we mainly consider two reasoning problems: deciding satisfiability of an ontology, and answering unions of conjunctive queries (UCQs) over an ontology. We first consider the description logic DL-Lite_R and show that, for the two above mentioned problems, finite model reasoning coincides with classical reasoning, i.e., reasoning over arbitrary, unrestricted models. Then, we analyze the description logics DL-Lite_F and DL_Lite_A. Differently from DL-Lite_R, in such logics finite model reasoning does not coincide with classical reasoning. To solve satisfiability and query answering over finite models in these logics, we define techniques which reduce polynomially both the above reasoning problems over finite models to the corresponding problem over arbitrary models. Thus, for all the DL-Lite languages considered, the good computational properties of satisfiability and query answering under the classical semantics also hold under the finite model semantics. Moreover, we have effectively and easily implemented the above techniques, extending the DL-Lite reasoner QuOnto with support for finite model reasoning.http://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>)Wed May 28 14:49:55 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSMapping Validation by Probabilistic Reasoning2008matching mapping probabilistic logics description ontology reasoning formal-languages-1 In the semantic web environment, where two or more independent ontologies can be used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the elements of one ontology and the elements of another ontology. Very often, mappings are not derived by the semantics of the ontologies that are compared, but, rather, by an evaluation of the similarity of the terminology used in the two ontologies or of their syntactic structure. Moreover, ontology mappings can be inaccurate, because ontology matching tools derive such mappings from inaccurate terminology or even because they are not specifically tailored for the domain at hand. In this paper, we propose a new mapping validation approach for interpreting similarity-based mappings as semantic relations, by coping also with inaccuracy situations. The idea is to see two independent ontologies as a unique distributed knowledge base and to assume a semantic interpretation of ontology mappings as probabilistic and hypothetical relations among ontology elements. We present and use a probabilistic reasoning tool in order to validate mappings and to possibly infer new relations among the ontologies.http://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>)Wed May 28 14:49:50 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSSemantic Reasoning: A Path To New Possibilities of Personalization2008techniques activation associations web personalization semantic reasoning spreading user-interfaces-and-personalization Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based recommenders suggest items similar to those the user liked in the past, by resorting to syntactic matching mechanisms. The rigid nature of such mechanisms leads to recommend only items that bear a strong resemblance to those the user already knows. In this paper, we propose a novel content-based strategy that diversifies the offered recommendations by employing reasoning mechanisms borrowed from the Semantic Web. These mechanisms discover extra knowledge about the user's preferences, thus favoring more accurate and flexible personalization processes. Our approach is generic enough to be used in a wide variety of personalization applications and services, in diverse domains and recommender systems. The proposed reasoning-based strategy has been empirically evaluated with a set of real users. The obtained results evidence computational feasibility and significant increases of recommendation accuracy in relation to existing approaches where our reasoning capabilities are disregarded.