BibSonomy publications for /user/eswc2008/ontologiesWed 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.Wed May 28 14:50:03 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSEnriching an Ontology with Multilingual Information2008ontology localization ontologies multilingual semantic-web-services-2 Typically ontologies are described in a determined natural language. Organizations working in a multilingual environment demand multilingual ontologies. To solve this problem we propose LabelTranslator, a NeOn plug-in that automatically localize ontologies. Ontology localization consists in adapting an ontology to a concrete language and culture community. LabelTranslator takes as input an ontology whose labels are described in a source natural language and obtains the most probable translation of each ontology label in a target natural language. Our main contribution is the automatization of this process which reduces human efforts to localize manually the ontology. First, our system uses a translation service which obtains automatic translations of each ontology label (name of an ontology term) in English, German, or Spanish by consulting different linguistic resources such as lexical databases, bilingual dictionaries, and terminologies. Second, a ranking method is used to sort each ontology label according to similarity with its lexical and structural context. The experiments performed in order to evaluate the quality of translation show that our approach is a good approximation to enrich an ontology with multilingual information.Wed May 28 14:49:57 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSAn Ontology for Software Models and its Practical Implications for Semantic Web Reasoning2008model-driven development software engineering ontologies agents-application-ontologies Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focused on the unambiguous representation of domain models during the system analysis phase. However, the design and implementation phases can equally benefit from the logical foundations and reasoning facilities provided by the Ontology technological space. This applies in particular to model-driven approaches that employ models as first class entities throughout the entire software development process. We are currently developing a toolsuite called HybridMDSD that employs Semantic Web technologies to integrate different domain-specific modeling languages based on their ontological foundations. To this end, we have defined a new upper ontology for software models that complements existing work in conceptual and business modeling. This paper describes the structure and axiomatization of our ontology and its underlying conceptualization. Further, we report on the experiences gained with validating the integrity and consistency of software models using a Semantic Web reasoning architecture. We illustrate practical solutions to the problems arising from the open-world assumption in OWL and lack of nonmonotonic queries in SWRL.Wed May 28 14:49:54 CEST 2008Berlin, HeidelbergProceedings of the 5th European Semantic Web ConferenceJuneLNCSAn User Interface Adaptation Architecture for \\Rich Internet Applications2008adaptation applications data internet language mining modeling ontologies rich rule semantic user user-interfaces-and-personalization web The need for adaptive and personalized Rich Internet Application puts a new dimension to already existing approaches of Adaptive Hypermedia Systems. Instead of computing the adaptation steps at the server, Rich Internet Applications need a client-side approach that can react immediately on user input. In this paper we present a novel approach that holistically combines page annotations, semantic Web usage mining, user modeling, ontologies and rules to adapt AJAX pages. The focus of our pater is the conceptual introduction of the autonomous client. An autonomous client directly executes all necessary adaptation steps based on a user model, without requesting any logic on the server. In order to realize this, we use ontologies to annotate Rich Internet Applications and to describe the user model as well as semantic Web usage mining for detecting adaptation rules. Additionally, we provide a detailed overview and evaluation of how we moved resource-intensive ontology processing and rules execution from the server to the client.