BEGIN:VCALENDAR VERSION:2.0 X-WR-CALNAME:ESWC PRODID:-//University of Manchester//xxx//EN X-WR-TIMEZONE:Europe/Vienna BEGIN:VEVENT SUMMARY:Web Service contracting: specification and reasoning with SCIFF DTSTART;TZID=Europe/Vienna:20070604T103000 DTEND;TZID=Europe/Vienna:20070604T110000 DESCRIPTION:The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, by some authors, contracting. We address contracting both at the operational level and at the semantic level. We present a framework encompassing communication and reasoning, in which web services exchange and evaluate goals and policies. Policies represent behavioural interfaces. The reasoning procedure at the core of the framework is based on the abductive logic programming SCIFF proof-procedure. We describe the framework, show by examples how to formalise policies in the declarative language of SCIFF, and give the framework a model-theoretic and a sound proof-theoretic semantics. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-alberti.pdf UID:dbd1efa7-a2f7-431f-8848-98192a000ecd END:VEVENT BEGIN:VEVENT SUMMARY:Dynamic Service Discovery through Meta-Interactions with Service Providers DTSTART;TZID=Europe/Vienna:20070604T110000 DTEND;TZID=Europe/Vienna:20070604T113000 DESCRIPTION:Dynamic discovery based on semantic description of services is an essential aspect of the Semantic Web services integration process. Since not all data required for service discovery can always be included in service descriptions, some data needs to be obtained during run-time. In this paper we define a model for service interface allowing required data to be fetched from the service provider during discovery process.We also provide a specification of such interface for WSMO and demonstrate the model on a case scenario from the SWS Challenge implemented using WSMX - a middleware platform built specifically to enact semantic service oriented architectures. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-vitvar.pdf UID:4b0da9b5-2297-4a6f-8c78-fd04b393a8bb END:VEVENT BEGIN:VEVENT SUMMARY:Two-phase Web Service Discovery based on Rich Functional Descriptions DTSTART;TZID=Europe/Vienna:20070604T113000 DTEND;TZID=Europe/Vienna:20070604T120000 DESCRIPTION:Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two extensions in continuation of previous works towards goal-based Web service discovery with sophisticated semantic matchmaking. At first, we distinguish goal templates as generic objective descriptions and goal instances that denote concrete requests as an instantiation of a goal template. Secondly, we formally describe requested and provided functionalities on the level of state transitions that denote executions of Web services, respectively solutions for goals. Upon this, we specify a two-phase discovery procedure along with semantic matchmaking techniques that allow to accurately determine the usability of a Web service. The techniques are defined in the Abstract State Space model that supports several languages for describing Web services. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-stollberg.pdf UID:7e53c938-aefe-4d88-9e07-144af318308d END:VEVENT BEGIN:VEVENT SUMMARY:A Reasoning Framework for Rule-Based WSML DTSTART;TZID=Europe/Vienna:20070604T120000 DTEND;TZID=Europe/Vienna:20070604T123000 DESCRIPTION:The use of ontology languages for semantically annotating Web Services demands for reasoning support in order to facilitate tasks like automated discovery or composition of services based on semantic descriptions of their functionality. WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic programming. We present a framework to support reasoning with rule-based WSML language variants based on existing Datalog inference engines. Therein, the WSML reasoning tasks of knowledge base satisfiability and instance retrieval are implemented through a language mapping to Datalog rules and Datalog querying. Part of the WSML semantics is realised by a fixed set of rules that form meta-level axioms. Furthermore, the framework exhibits some debugging functionality that allows for identifying violated constraints and for pointing out involved instances and problem types. Its highly modular architecture facilitates easy extensibility towards other language variants and additional features. The available implementation of the framework provides the first reasoners for the WSML language. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-grimm.pdf UID:7f1af793-fd0a-4ddf-b743-de9455b3f279 END:VEVENT BEGIN:VEVENT SUMMARY:GenTax: A Generic Methodology for Deriving OWL and RDF-S Ontologies from Hierarchical Classifications, Thesauri, and Inconsistent Taxonomies DTSTART;TZID=Europe/Vienna:20070604T103000 DTEND;TZID=Europe/Vienna:20070604T110000 DESCRIPTION:Hierarchical classifications, thesauri, and informal taxonomies are likely the most valuable input for creating, at reasonable cost, non-toy ontologies in many domains. They contain, readily available, a wealth of category definitions plus a hierarchy, and they reflect some degree of community consensus. However, their transformation into useful ontologies is not as straightforward as it appears. In this paper, we show that (1) it often depends on the context of usage whether an informal hierarchical categorization schema is a classification, a thesaurus, or a taxonomy, and (2) present a novel methodology for automatically deriving consistent RDF-S and OWL ontologies from such schemas. Finally, we (3) demonstrate the usefulness of this approach by transforming the two e-business categorization standards eCl@ss and UNSPSC into ontologies that overcome the limitations of earlier prototypes. Our approach allows for the script-based creation of meaningful ontology classes for a particular context while preserving the original hierarchy, even if the latter is not a real subsumption hierarchy in this particular context. Human intervention in the transformation is limited to checking some conceptual properties and identifying frequent anomalies, and the only input required is an informal categorization plus a notion of the target context. In particular, the approach does not require instance data, as ontology learning approaches would usually do. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-hepp.pdf UID:888e57f0-8e0d-4f58-8ea0-4464d3e43da6 END:VEVENT BEGIN:VEVENT SUMMARY:SPARQLeR: Extended Sparql for Semantic Association Discovery DTSTART;TZID=Europe/Vienna:20070604T110000 DTEND;TZID=Europe/Vienna:20070604T113000 DESCRIPTION:Complex relationships, frequently referred to as semantic associations, are the essence of the Semantic Web. Query and retrieval of semantic associations has been an important task in many analytical and scientific activities, such as detecting money laundering schemes and querying for metabolic pathways in biochemistry. We believe that support for semantic path queries should be an integral component of RDF query languages. In this paper, we present SPARQLeR, an extension of the Sparql query language supporting semantic path queries. The proposed extension fits well within the overall syntax and semantics of Sparql and allows easy and natural formulation of queries involving a wide variety of semantic path patterns in RDF graphs. SPARQLeR's path patterns can capture many semantic details of the queried associations. We also present an implementation of SPARQLeR and its initial performance results. Our implementation is built over our own BRAHMS RDF storage system. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-kochut.pdf UID:c6ec4ba1-294a-4fbc-8f9f-efcb66f04f08 END:VEVENT BEGIN:VEVENT SUMMARY:Simple Algorithms for Predicate Suggestions using Similarity and Co-Occurrence DTSTART;TZID=Europe/Vienna:20070604T113000 DTEND;TZID=Europe/Vienna:20070604T120000 DESCRIPTION:When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy prevents terminology divergence but would restrict users needlessly. As seen in collaborative tagging environments, suggestion mechanisms help terminology convergerce without forcing users. We introduce two domain-independent algorithms for recommending predicates (RDF statements) about resources, based on statistical dataset analysis. The first algorithm is based on similarity between resources, the second one is based on co-occurrence of predicates. Experimental evaluation shows very promising results: a high precision with relatively high recall in linear runtime performance. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-oren.pdf UID:76f3ac67-365e-4b28-aaf1-8d277f4e0daf END:VEVENT BEGIN:VEVENT SUMMARY:Learning Disjointness DTSTART;TZID=Europe/Vienna:20070604T120000 DTEND;TZID=Europe/Vienna:20070604T123000 DESCRIPTION:An increasing number of applications benefits from light-weight ontologies, or to put it differently "a little semantics goes a long way". However, our experience indicates that more expressiveness can offer significant advantages. Introducing disjointness axioms, for instance, greatly facilitates consistency checking and the automatic evaluation of ontologies. In an extensive user study we discovered that proper modeling of disjointness is a difficult and very time-consuming task. We therefore developed an approach to automatically enrich learned or manually engineered ontologies with disjointness axioms. This approach relies on several methods for obtaining syntactic and semantic evidence from different sources which we believe to provide a solid base for learning disjointness. After thoroughly evaluating the implementation of our approach we are confident that in future ontology engineering environments the automatic discovery of disjointness axioms may help to increase the richness, quality and usefulness of any given ontology. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-voelker1.pdf UID:0c67e37b-7723-4d14-85b6-cd68a61049c0 END:VEVENT BEGIN:VEVENT SUMMARY:Developing Ontologies for Collaborative Engineering in Mechatronics DTSTART;TZID=Europe/Vienna:20070604T103000 DTEND;TZID=Europe/Vienna:20070604T110000 DESCRIPTION:Creating a coherent set of ontologies to support a collaborative design process amongst different firms who develop mechatronic products is a challenge due to the semantic heterogeneity of the underlying domain models and the amount of domain knowledge that needs to be covered. We tackle the problem of semantic heterogeneity by employing the DOLCE foundational ontology and by aligning our models to it. We approach the problem of scale i.e. the amount of knowledge modelled by keeping the models at a descriptive level which is still granular enough to connect them with domain and task specific engineering tools. In order to manage the complexity of the modelling task we separate the models into the foundational layer, the mechatronics layer consisting of three domain ontologies, one process model and one cross-domain model, and the collaborative application layer. For the development process, we employ a methodology for dynamic ontology creation, which moves from taxonomical structures to formal models. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-damjanovic.pdf UID:6e1f2028-307f-4add-a5a8-b3127e179cc0 END:VEVENT BEGIN:VEVENT SUMMARY:Media, Politics, and the Semantic Web: An experience report in advanced RDF usage DTSTART;TZID=Europe/Vienna:20070604T110000 DTEND;TZID=Europe/Vienna:20070604T113000 DESCRIPTION:The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. The methods developed in this field utilize complex data models and background knowledge. This data is generally represented ad hoc, making it difficult to analyze, combine and share data sets. In this paper we present our work on formalizing this representation using RDF(S). We introduce the domain and discuss the requirements on a good representation and a number of non-trivial modeling decisions. We conclude with a description of the resulting system and the benefits for a recent investigation of the 2006 Dutch parliamentary campaign. This case study shows concrete improvements for annotating, querying, and analyzing data, but also indicates a number of aspects that were more difficult to model in RDF(S), contributing to the discussion on modeling with and improving RDF(S) and associated tools. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-atteveldt.pdf UID:11929234-5dfe-4d1e-af22-e5440489c2a6 END:VEVENT BEGIN:VEVENT SUMMARY:SEEMP: a Semantic Interoperability Infrastructure for e-government services in the employment sector DTSTART;TZID=Europe/Vienna:20070604T113000 DTEND;TZID=Europe/Vienna:20070604T120000 DESCRIPTION:This paper presents SEEMP, a marketplace to coordinate and integrate public and private employment services (ESs) around the EU Member States. The need for flexible collaboration in the marketplace gives rise to the issue of interoperability in both data exchange and share of services. SEEMP proposes a mixed approach that relies on the concepts of services and semantics. SEEMP approach combines Software Engineering and Semantic Web methodologies/tools in an infrastructure that allows for a meaningful service-based communication among ESs. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-dellavalle.pdf UID:27fb573b-c89a-4d6a-9d40-45cda1255825 END:VEVENT BEGIN:VEVENT SUMMARY:Using and Combining RDF Vocabularies for Expert Finding DTSTART;TZID=Europe/Vienna:20070604T120000 DTEND;TZID=Europe/Vienna:20070604T123000 DESCRIPTION:This paper presents a framework for the reuse and extension of existing, established vocabularies in the Semantic Web. Driven by the primary application of expert finding, we will explore the reuse of vocabularies that have attracted a considerable user community already (FOAF, SIOC, etc.) or are derived from de facto standards used in tools or industrial practice (such as vCard, iCal and Dublin Core). This focus guarantees direct applicability and low entry barriers, unlike when devising a new ontology from scratch. The Web is already populated with several vocabularies which complement each other (but also have considerable overlap) in that they cover a wide range of necessary features to adequately describe the expert finding domain. Little effort has been made so far to identify and compare existing approaches, and to devise best practices on how to use and extend various vocabularies conjointly. It is the goal of the recently started ExpertFinder initiative to fill this gap. In this paper we present the ExpertFinder framework for reuse and extension of existing vocabularies in the Semantic Web. We provide a practical analysis of overlaps and options for combined use and extensions of several existing vocabularies as well as a proposal for applying rules and other enabling technologies to the expert finding task. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-alemanmeza.pdf UID:4dfe6d55-0e86-44d9-bf54-7626aab894a1 END:VEVENT BEGIN:VEVENT SUMMARY:Empowering Software Maintainers with Semantic Web Technologies DTSTART;TZID=Europe/Vienna:20070604T150000 DTEND;TZID=Europe/Vienna:20070604T153000 DESCRIPTION:Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different representations and the size and complexity of legacy systems. One of the main challenges in software maintenance is to establish and maintain the semantic connections among all the different artifacts. In this paper, we show how Semantic Web technologies can deliver a unified representation to explore, query and reason about a multitude of software artifacts. A novel feature is the automatic integration of two important types of software maintenance artifacts, source code and documents, by populating their corresponding sub-ontologies through code analysis and text mining. We demonstrate how the resulting "Software Semantic Web" can support typical maintenance tasks through ontology queries and DL reasoning, such as security analysis, architectural evolution, and traceability recovery between code and documents. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-witte.pdf UID:4bc4c21b-142e-46e3-a22f-32e51ba27acb END:VEVENT BEGIN:VEVENT SUMMARY:Minimal Deductive Systems for RDF DTSTART;TZID=Europe/Vienna:20070604T153000 DTEND;TZID=Europe/Vienna:20070604T160000 DESCRIPTION:This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler language which preserves the original semantics. This approach is beneficial in at least two directions: (a) To have a simple abstract fragment of RDFS easy to formalize and to reason about, which captures the essence of RDFS; (b) To obtain algorithmic properties of deduction and optimizations that are relevant for particular fragments. Among our results are: the identification of a simple fragment of RDFS; the proof that it encompasses the main features of RDFS; a formal semantics and a deductive system for it; sound and complete deductive systems for their sub-fragments; and an O(n log n) complexity bound for ground entailment in this fragment. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-munoz.pdf UID:14e1984f-7f50-4fe1-bfd8-f6e85ef2a4b3 END:VEVENT BEGIN:VEVENT SUMMARY:Extracting Social Networks among Various Entities on the Web DTSTART;TZID=Europe/Vienna:20070604T163000 DTEND;TZID=Europe/Vienna:20070604T170000 DESCRIPTION:Social networks have recently attracted much attention for their importance to the Semantic Web. Several methods exist to extract social networks for people (particularly researchers) from the web using a search engine. Our goal is to expand existing techniques to obtain social networks among various entities. This paper proposes two improvements, i.e. relation identification and threshold tuning, which enable us to deal with complex and inhomogeneous communities. Social networks among firms and artists (of contemporary) are extracted as examples: Several evaluations emphasize the effectiveness of these methods. Our system was used at the International Triennale of Contemporary Art (Yokohama Triennale 2005) to facilitate navigation of artists' information. This study contributes to the Semantic Web in that we increase the applicability of social network extraction for several studies. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-jin.pdf UID:4f8e9508-9ce3-4869-99ea-4b89f3b7ece3 END:VEVENT BEGIN:VEVENT SUMMARY:Towards Semantic Social Networks DTSTART;TZID=Europe/Vienna:20070604T170000 DTEND;TZID=Europe/Vienna:20070604T173000 DESCRIPTION:Computer manipulated social networks are usually built from the explicit assertion by users that they have some relation with other users or by the implicit evidence of such relations (e.g., co-authoring). However, since the goal of social network analysis is to help users to take advantage of these networks, it would be convenient that they take more information into account. We introduce a three-layered model which involves the network between people (social network), the network between the ontologies they use (ontology network) and a network between concepts occurring in these ontologies. We explain how relationships in one network can be extracted from relationships in another one based on analysis techniques relying on this network specificity. For instance, similarity in the ontology network can be extracted from a similarity measure on the concept network. We illustrate the use of these tools for the emergence of consensus ontologies in the context of semantic peer-to-peer systems. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-jung.pdf UID:2dca67af-5dbc-4c57-8c06-d84ba3d8ca57 END:VEVENT BEGIN:VEVENT SUMMARY:Knowledge Sharing on the Semantic Web DTSTART;TZID=Europe/Vienna:20070604T173000 DTEND;TZID=Europe/Vienna:20070604T180000 DESCRIPTION:This paper details the design, implementation and evaluation of an ontology-based knowledge sharing tool. The system, "Squidz", automatically classifies browsed web pages against an ontology, and allows users to share comments made about those pages to members of a community. As the user browses web pages, recommendations of relevant documents which have already been shared are produced, based upon both the user's social network as well as the semantic content of the page currently in view. Key to the design of the system has been the requirement, evidenced by earlier studies, that sharing should be easily effected as a side-effect of browsing rather than comprising a separate and distracting task. Another feature of the system is the linkage of a formal ontology with user-provided tags of shared information, thus combining the proven popularity of folksonomy-based systems with the shared and formal domain model provided by an ontology. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-kings.pdf UID:ad26ee41-4374-4f6c-b08c-5ab5a5f466f2 END:VEVENT BEGIN:VEVENT SUMMARY:Real-world Reasoning with OWL DTSTART;TZID=Europe/Vienna:20070604T163000 DTEND;TZID=Europe/Vienna:20070604T170000 DESCRIPTION:This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not well suited to provide helpful hints for users who seek for an appropriate reasoning system able to deal with expressive terminological descriptions, large volumes of assertional data, and frequent updates in a sound and complete way. This paper tries to provide some insights into currently available reasoning approaches and aims at identifying requirements to make future benchmarks more useful for application developers. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-weithoener.pdf UID:750f1b63-1a41-4a99-a381-38495225f333 END:VEVENT BEGIN:VEVENT SUMMARY:How to design better ontology metrics DTSTART;TZID=Europe/Vienna:20070604T170000 DTEND;TZID=Europe/Vienna:20070604T173000 DESCRIPTION:You can only control what you can measure. Measuring ontologies is necessary to evaluate ontologies both during engineering and application. Metrics allow both the fast and simple assessment of an ontology and also to track their subsequent evolution. In the last few years, a growing number of ontology metrics and measures have been suggested and defined. But many of them suffer from a recurring set of problems, most importantly they do not take the semantics of the ontology language properly into account. The work presented here is a principal approach to facilitate the creation of ontology metrics with the clear goal to go beyond structural metrics to proper semantic-aware ontology metrics. We have developed guidelines and a set of methodological tools based on the notion of ``normalization'' and ``stable metrics'' for creating ontology metrics. These guidelines allow the metric author to decide which properties the metrics need to fulfil and to appropriately design the desired metric. A discussion of an exemplary metric (taken from literature) illustrates and motivates the raised issues and suggested solutions. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-vrandecic.pdf UID:849fbce6-fb4f-486c-a773-626aad840a3f END:VEVENT BEGIN:VEVENT SUMMARY:Measuring Inconsistencies in Ontologies DTSTART;TZID=Europe/Vienna:20070604T173000 DTEND;TZID=Europe/Vienna:20070604T180000 DESCRIPTION:Ontologies play a key role in the infrastructure of the Semantic Web for sharing precisely defined terms which can be made accessible to automated agents. For ontologies with complex knowledge to represent and reason with, errors due to inconsistencies become quite common, and these inconsistencies can be intrinsically different. While there are Description Logics reasoners that can detect inconsistencies in input ontologies, they do not help classify and/or summarize the nature of the inconsistencies that are present. In this paper, we propose a novel technique based on Shapley values to measure inconsistencies in ontologies. This measure can be used to identify which axioms in an input ontology or which part of these axioms need to be removed or modified in order to make the input consistent. We also propose optimization techniques, such as partitioning, to improve the efficiency of computing Shapley values. The proposed techniques are independent of a particular ontology language and are independent of a particular reasoning system used. Application of this method can improve the quality of ontology diagnosis and repair in general. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-deng.pdf UID:ec0d2e17-042d-4622-a9c3-fef05ed34c53 END:VEVENT BEGIN:VEVENT SUMMARY:Squirrel: An Advanced Semantic Search and Browse Facility DTSTART;TZID=Europe/Vienna:20070604T163000 DTEND;TZID=Europe/Vienna:20070604T170000 DESCRIPTION:Search is seen as a key application that can benefit from semantic technology with improvements to recall and precision over conventional Information Retrieval techniques. This paper describes Squirrel, a search and browse tool that provides access to semantically annotated data. Squirrel provides combined keyword based and semantic searching. The intention is to provide a balance between the speed and ease of use of simple free text search and the power of semantic search. In addition, the ontological approach provides the user with a much richer browsing experience. Squirrel builds on and integrates a number of semantic technology components. These include machine learning and information extraction components which generate, extract and manage semantic metadata contained within and about textual documents at index time. A number of run-time components have also been integrated to deliver an enhanced user experience which goes beyond merely presenting a list of documents as a query response. The tool has been trialled and evaluated in two case studies and we report early results from this exercise, revealing promising results. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-duke.pdf UID:a07db70e-7b7f-4137-bb61-6d5db9ddb6d0 END:VEVENT BEGIN:VEVENT SUMMARY:User-centric Faceted Search for Semantic Portals DTSTART;TZID=Europe/Vienna:20070604T170000 DTEND;TZID=Europe/Vienna:20070604T173000 DESCRIPTION:Many semantic portals use faceted browsing, where the facets are based on the underlying indexing ontologies of the content. However, in many cases, like in medical applications, the ontologies may be very large and complex, and do not provide the end-user with intuitive facet hierarchies for conceptualizing the content, for formulating queries, and for classifying the search results. We argue that in such cases end-user facets should be separated from the annotation ontologies, and show how to generalize the semantic view-based search paradigm to take into account this fact. A user-centric card sorting method is proposed for designing intuitive views for the end-users and a method for mapping its facets onto the indexing ontologies and search items is presented. The system has been implemented in a prototype of the semantic portal TerveSuomi.fi, a national health promotion portal in Finland. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-suominen UID:df338c32-e24d-437e-a163-c45908bde923 END:VEVENT BEGIN:VEVENT SUMMARY:An Approach for Identification of Users' Intentions During the Navigation in Semantic Websites DTSTART;TZID=Europe/Vienna:20070604T173000 DTEND;TZID=Europe/Vienna:20070604T180000 DESCRIPTION:The growing need for content customization in websites has fostered the development of systems which try to identify the users' navigation patterns. One way of doing this is means of log files analysis. However, this solution does not identify the semantic intention behind the user navigation. This paper provides an approach to incorporating semantic knowledge to the process of identifying users' intentions in the navigation of a website with semantic support. The capture of the users' intentions is achieved by the semantic enrichment of log files and the use of an approach that takes into account the linguistic and cognitive aspects of the development of the users' model of the website. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-roberto.pdf UID:72387c87-6bda-4363-8a92-c5cf1e9caf6a END:VEVENT BEGIN:VEVENT SUMMARY:A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web DTSTART;TZID=Europe/Vienna:20070605T103000 DTEND;TZID=Europe/Vienna:20070605T110000 DESCRIPTION:We present a novel combination of disjunctive logic programs under the answer set semantics with description logics for the Semantic Web. The combination is based on a well-balanced interface between disjunctive logic programs and description logics, which guarantees the decidability of the resulting formalism without assuming syntactic restrictions. We show that the new formalism has very nice semantic properties. In particular, it faithfully extends both disjunctive programs and description logics. Furthermore, we describe algorithms for reasoning in the new formalism, and we give a precise picture of its computational complexity. We also provide a special case with polynomial data complexity. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-lukasiewicz.pdf UID:20513054-59c1-475b-b879-93aa8d10eaf6 END:VEVENT BEGIN:VEVENT SUMMARY:Algorithms for Paraconsistent Reasoning with OWL DTSTART;TZID=Europe/Vienna:20070605T110000 DTEND;TZID=Europe/Vienna:20070605T113000 DESCRIPTION:In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and accuracy. Practical reasoning techniques for ontologies therefore will have to be tolerant to this kind of data, including the ability to handle inconsistencies in a meaningful way. For this purpose, we employ paraconsistent reasoning based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases. Its transfer to OWL DL, however, necessitates the making of fundamental design choices in dealing with class inclusion, which has resulted in differing proposals for paraconsistent description logics. In this paper, we build on one of the more general approaches which due to its flexibility appears to be most promising for further investigations. We present two algorithms suitable for implementation, one based on a preprocessing before invoking a classical OWL reasoner, the other based on a modification of the KAON2 transformation algorithms. We also report on an implementation. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-ma.pdf UID:fba02a4e-1efd-4ca3-8604-f5808c5e35fb END:VEVENT BEGIN:VEVENT SUMMARY:Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces DTSTART;TZID=Europe/Vienna:20070605T113000 DTEND;TZID=Europe/Vienna:20070605T120000 DESCRIPTION:In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketplaces. In particular we mix in a formal and principled way the semantic expressiveness of DLR-lite Logic Programs, fuzzy logic and utility theory. We adopt DLR-Lite Logic Programs to obtain a reasonable compromise between expressiveness and complexity to ensure the scalability of our approach to large e-marketplaces, and Fuzzy Logic to model logical specifications as soft constraints. Furthermore, fully exploiting the peer-to-peer paradigm, we consider in the matchmaking process preferences and corresponding utilities of both parties. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-ragone.pdf UID:7a7aa55d-83b4-4b9e-ba4d-8aec567ab365 END:VEVENT BEGIN:VEVENT SUMMARY:Symbol Grounding for the Semantic Web DTSTART;TZID=Europe/Vienna:20070605T120000 DTEND;TZID=Europe/Vienna:20070605T123000 DESCRIPTION:A true semantic web of data requires dynamic, real-time interoperability between disparate data sources, developed by different organizations in different ways, each for their own specific purposes. Ontology languages provide a means to relate data items to each other in logically well-defined ways, producing complex logical structures with an underlying formal semantics. Whilst these structures have a logical formal semantics, they lack a pragmatic semantics linking them in a systematic and unambiguous way to the real world entities they represent. Thus they are intricate "castles in the air", which may certainly have pathways built to link them together, but lack the solid foundations required for robust real-time dynamic interoperability between structures not mapped to each other in the design stage. Current ontology interoperability strategies lack such a meaning-based arbitrator, and depend instead on human mediation or heuristic approaches. This paper introduces the symbol grounding problem, explains its relevance for the Semantic Web, illustrates how inappropriate correspondence between symbol and referent can result in logically valid but meaningless inferences, examines some of the shortcomings of the current approach in dealing effectively at the level of meaning, and concludes with some ideas for identifying effective grounding strategies. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-cregan.pdf UID:95370614-625e-4d3e-9ea0-6a2129e70df9 END:VEVENT BEGIN:VEVENT SUMMARY:Ontology-Driven Semantic Ranking for Natural Language Disambiguation in the OntoNL Framework DTSTART;TZID=Europe/Vienna:20070605T103000 DTEND;TZID=Europe/Vienna:20070605T110000 DESCRIPTION:The measurement of the semantic relatedness has many applications in natural language processing, and many different measures have been proposed. Most of these measures use WordNet as their central resource and not domain ontologies of a particular context. We propose and evaluate a semantic relatedness measure for OWL domain ontologies that concludes to the semantic ranking of ontological, grammatically-related structures. This procedure is used to disambiguate in a particular domain of context and represent in an ontology query language, natural language expressions. The ontology query language that we use is the SPARQL. The construction of the queries is automated and also dependent on the semantic relatedness measurement of ontology concepts. The methodology has been successfully integrated into the OntoNL Framework, a natural language interface generator for knowledge repositories. The experimentations show a good performance in a number of OWL ontologies. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-karanastasi.pdf UID:1a236211-af72-411b-873e-589ed7e69896 END:VEVENT BEGIN:VEVENT SUMMARY:Web-Annotations for Humans and Machines DTSTART;TZID=Europe/Vienna:20070605T110000 DTEND;TZID=Europe/Vienna:20070605T113000 DESCRIPTION:We propose to manually annotate web pages with computer-processable controlled natural language. These annotations have well-defined formal properties and can be used as query relevant summaries to automatically answer questions expressed in controlled natural language, and as the basis for other forms of automated reasoning. Last, but not least, the annotations can also serve as human-readable summaries of the contents of the web pages. Arguably, annotations written in controlled natural language can bridge the gap between informal and formal notations and leverage true collaboration between humans and machines. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-fuchs.pdf UID:41359840-2fb9-455e-92de-933a9ca51fca END:VEVENT BEGIN:VEVENT SUMMARY:PANTO: A Portable Natural Language Interface to Ontologies DTSTART;TZID=Europe/Vienna:20070605T113000 DTEND;TZID=Europe/Vienna:20070605T120000 DESCRIPTION:Providing a natural language interface to ontologies will not only offer ordinary users the convenience of acquiring needed information from ontologies, but also expand the influences of ontologies and the semantic web consequently. This paper presents PANTO, (Portable nAtural laNguage inTerface to Ontologies), which accept generic natural language queries and output SPARQL queries. Based on a special consideration on nominal phrase, it adopts a triple-base data model to interpret the parse trees output by an off-the-shelf parser. Complex modifications in natural language query such as negations, superlative and comparative are investigated. The experiments have shown that PANTO provides state-of-art results. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-wang.pdf UID:9acd5de7-1365-4d9d-a088-98c327fae9eb END:VEVENT BEGIN:VEVENT SUMMARY:Mining the web through verbs: a case study DTSTART;TZID=Europe/Vienna:20070605T120000 DTEND;TZID=Europe/Vienna:20070605T123000 DESCRIPTION:Mining non-taxonomic relations is an important part of the Semantic Web puzzle. Building on the work of the semantic annotation community, we address the problem of extracting relation instances among annotated entities. In particular, we analyze the problem of verb-based relation instantiation in some detail and present a heuristic domain independent approach, based on verb chunking and entity clustering, which doesn't require parsing. A case study conducted within the biography domain demonstrates the validity of our results in contrast to related work, whilst examining the complexity of the extraction task and the feasibility of verb-based extraction in general. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-sazedj.pdf UID:57a31f77-c28c-4689-961e-ee0b18075d28 END:VEVENT BEGIN:VEVENT SUMMARY:What have Innsbruck and Leipzig in common? Extracting Semantics from Wiki Content. DTSTART;TZID=Europe/Vienna:20070605T103000 DTEND;TZID=Europe/Vienna:20070605T110000 DESCRIPTION:Wikis are established means for the collaborative authoring, versioning and publishing of textual articles. The Wikipedia project, for example, succeeded in creating the by far largest encyclopedia just on the basis of a wiki. Recently, several approaches have been proposed on how to extend wikis to allow the creation of structured and semantically enriched content. However, the means for creating semantically enriched structured content are already available and are, although unconsciously, even used by Wikipedia authors. In this article, we present a method for revealing this structured content by extracting information from template instances. We suggest ways to efficiently query the vast amount of extracted information (e.g. more than 8 million RDF statements for the English Wikipedia version alone), leading to astonishing query answering possibilities (such as for the title question). We analyze the quality of the extracted content, and propose strategies for quality improvements with just minor modifications of the wiki systems being currently used. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-auer.pdf UID:a65cfe24-c9b3-4b80-a33e-be850f84c798 END:VEVENT BEGIN:VEVENT SUMMARY:SALT - Semantically Annotated LaTeX for scientific publications DTSTART;TZID=Europe/Vienna:20070605T110000 DTEND;TZID=Europe/Vienna:20070605T113000 DESCRIPTION:Machine-understandable data constitutes the foundation for the Semantic Web. This paper presents a viable way for authoring and annotating Semantic Documents on the desktop. In our approach, the PDF file format is the container for document semantics, being able to store both the content and the related metadata in a single file. To achieve this, we provide a framework (SALT - Semantically Annotated LATEX), that extends the LATEX writing environment and supports the creation of metadata for scientific publications. SALT allows the author to create metadata concurrently, i.e. while in the process of writing a document. We discuss some of the requirements which have to be met when developing such a support for creating semantic documents. In addition, we describe a usage scenario to show the feasability and benefit of our approach. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-groza.pdf UID:4f04117e-4509-4a21-ad63-e029e2240623 END:VEVENT BEGIN:VEVENT SUMMARY:Annotating Relationships between Multiple Mixed-media Digital Objects by Extending Annotea DTSTART;TZID=Europe/Vienna:20070605T113000 DTEND;TZID=Europe/Vienna:20070605T120000 DESCRIPTION:Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user may attach supplementary information to a resource or part of a resource in the form of: either a simple textual comment; a hyperlink to another web page; a local file; or a semantic tag extracted from a formal ontology and controlled vocabulary. Hence, annotations can be used to attach subjective notes, comments, rankings, queries or tags to enable semantic reasoning across web resources. More recently tabbed Browsers and specific annotation tools, allow users to view several resources (e.g., images, video, audio, text, HTML, PDF) simultaneously in order to carry out side-by-side comparisons. In such scenarios, users frequently want to be able to create and annotate a link or relationship between two or more objects or between segments within those objects. For example, a user might want to create a link between a scene in an original film and the corresponding scene in a remake and attach an annotation to that link. Based on past experiences gained from implementing Annotea within different communities in order to enable knowledge capture, this paper describes and compares alternative ways in which the Annotea Schema may be extended for the purpose of annotating links between multiple resources (or segments of resources). It concludes by identifying and recommending an optimum approach which will enhance the power, flexibility and applicability of Annotea in many domains. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-schreoter.pdf UID:2f12ca09-2d72-4067-9ae3-75dcfba267ab END:VEVENT BEGIN:VEVENT SUMMARY:Describing Ontology Applications DTSTART;TZID=Europe/Vienna:20070605T120000 DTEND;TZID=Europe/Vienna:20070605T123000 DESCRIPTION:Semantic Web technologies are finally, after a few years of infancy, truly entering the business world to support the growing needs of computer aided information selection and processing. There are already quite well-defined development processes and methods in the software engineering field to handle the construction of large scale and complex enterprise systems, and to reuse knowledge in different software domains patterns are considered to be common practise. Patterns can be described on different levels of abstraction, but the patterns in the focus of this paper are on the software architecture level. In this paper we present a definition of the notion "ontology application pattern", as a special form of software architecture patterns describing an ontology-based system. We also show how such patterns, as well as the description of the pattern instantiations, can be described using a modified Architecture Description Language. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-albertsen.pdf UID:9090f4ed-61cc-4d8d-b2eb-c034071af674 END:VEVENT BEGIN:VEVENT SUMMARY:The SPARQL Query Graph Model for Query Optimization DTSTART;TZID=Europe/Vienna:20070605T153000 DTEND;TZID=Europe/Vienna:20070605T160000 DESCRIPTION:The Semantic Web community has proposed several query languages for RDF before the World Wide Web Consortium started to standardize SPARQL. Due to the declarative nature of the query language, a query engine should be responsible to choose an efficient evaluation strategy. Although all RDF repositories provide query capabilities, some of them require manual interaction to reduce query execution time by several orders of magnitude. In this paper, we propose the SPARQL query graph model (SQGM) supporting all phases of query processing. On top of the SQGM we defined transformations rules to simplify and to rewrite a query. Based on these rules we developed heuristics to achieve an efficient query execution plan. Experiments illustrate the potential of our approach. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-hartig.pdf UID:e1c50c6d-c298-419f-a4c3-8ce749255c78 END:VEVENT BEGIN:VEVENT SUMMARY:A Unified Approach to Retrieving Web Documents and Semantic Web Data DTSTART;TZID=Europe/Vienna:20070605T160000 DTEND;TZID=Europe/Vienna:20070605T163000 DESCRIPTION:The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discuss the Unified Web model that integrates the two webs and formalizes the structure and the semantics of interconnections between them. We also discuss the Hybrid Query Language which combines the Data and Information Retrieval techniques to provide a convenient and uniform way to retrieve data and documents from the Unified Web. We present SITAR, an Apache Lucene based hybrid retrieval system, and some results obtained by testing the system using data from the AIFB SEAL semantic portal. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-immaneni.pdf UID:47343254-1836-4479-b5ed-2799c6672fdf END:VEVENT BEGIN:VEVENT SUMMARY:Distributed Knowledge Representation on the Social Semantic Desktop: Named Graphs, Views and Roles in NRL DTSTART;TZID=Europe/Vienna:20070605T163000 DTEND;TZID=Europe/Vienna:20070605T170000 DESCRIPTION:The vision of the social semantic desktop defines a user's per-sonal information environment as a source and end-point of the Semantic Web: Knowledge workers comprehensively express their information and data with respect to their own conceptualizations. Semantic Web lan- guages and protocols are used to formalize these conceptualizations and for coordinating local and global information access. From the way this vision is being pursued in the NEPOMUK project, we identified several requirements and research questions with respect to knowledge represen- tation. In addition to the general question of the expressivity needed in such a scenario, two main challenges come into focus: i) How can we cope with the heterogeneity of knowledge models and ontologies, esp. multi- ple knowledge modules with potentially different interpretations? ii) How can we support the tailoring of ontologies towards different needs in var- ious exploiting applications? The latter turned out to be an important prerequisite for a clean ontology design on the semantic desktop, as many applications shall use a knowledge worker's "personal ontology." In this paper, we present NRL, an approach to these two question that is based on named graphs for the modularization aspect and a view concept for the tailoring of ontologies. This view concept turned out to be of additional value, as it also provides a mechanism to impose different semantics on the same syntactical structure. We think that the elements of our approach are not only adequate for the semantic desktop scenario, but are also of importance as building blocks for the general Semantic Web. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-sintek.pdf UID:68219a1a-359a-4d70-a6e3-3bd4b70a8e71 END:VEVENT BEGIN:VEVENT SUMMARY:Semantic Process Retrieval with iSPARQL DTSTART;TZID=Europe/Vienna:20070605T170000 DTEND;TZID=Europe/Vienna:20070605T173000 DESCRIPTION:The vision of semantic business processes is to enable the integration and inter-operability of business processes across organizational boundaries. Since different organizations model their processes differently, the discovery and retrieval of similar semantic business processes is necessary in order to foster inter-organizational collaborations. This paper presents our approach of using iSPARQL - our imprecise query engine based on SPARQL - to query the OWLized MIT Process Handbook - a large collection of over 5000 semantic business processes. We particularly show how it easy it is to use iSPARQL to perform the presented process retrieval task. Furthermore, since choosing the best performing similarity strategy is a non-trivial, data-, and context-dependent task, we evaluate the performance of three simple and two human-engineered similarity strategies. In addition, we conduct machine learning experiments to learn similarity measures showing that complimentary information contained in the different notions of similarity strategies provide a very high retrieval accuracy. Our preliminary results indicate that iSPARQL is indeed useful for extending the reach of queries and that it, therefore, is an enabler for inter- and intra-organizational collaborations. LOCATION:Strassburg URL:http://www.eswc2007.org/pdf/eswc07-kiefer.pdf UID:dca40641-d7d1-46de-b018-10345f1d23e2 END:VEVENT BEGIN:VEVENT SUMMARY:Integrating Folksonomies with the Semantic Web DTSTART;TZID=Europe/Vienna:20070605T153000 DTEND;TZID=Europe/Vienna:20070605T160000 DESCRIPTION:While tags in collaborative tagging systems serve primarily an indexing purpose, facilitating search and navigation of resources, the use of the same tags by more than one individual can yield a collective classification schema. We present an approach for making explicit the semantics behind the tag space in social tagging systems, so that this collaborative organization can emerge in the form of partial ontologies. This is achieved by using a combination of shallow pre-processing strategies and statistical techniques together with knowledge provided by ontologies available on the semantic web. Preliminary results on the Del.icio.us and Flickr tag sets showed that the approach is very promising: it generates clusters with highly related tags corresponding to concepts in ontologies, and meaningful relationships among subsets of these tags can be identified. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-specia.pdf UID:03d52444-91e8-4052-90b4-0a4d9a691eee END:VEVENT BEGIN:VEVENT SUMMARY:IdentityRank: Named Entity disambiguation in the context of the NEWS project DTSTART;TZID=Europe/Vienna:20070605T160000 DTEND;TZID=Europe/Vienna:20070605T163000 DESCRIPTION:In this paper we introduce the IdentityRank algorithm, developed as part of the EU-funded project NEWS to address the problem of named entity disambiguation in the context of semantic annotation of ne ws items. The algorithm provides a ranking of the candidate instances within an ontology which can be associated to a certain entity. In order to do so, it uses as context the metadata available in a certain news item. The algorithm has been evaluated with promising results. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-fernandez.pdf UID:0a7759bb-790e-4adb-8224-5e5075bc0b6f END:VEVENT BEGIN:VEVENT SUMMARY:A Study in Empirical and `Casuistic' Analysis of Ontology Mapping Results DTSTART;TZID=Europe/Vienna:20070605T163000 DTEND;TZID=Europe/Vienna:20070605T170000 DESCRIPTION:Many ontology mapping systems nowadays exist. In order to evaluate their strengths and weaknesses, several benchmark datasets (ontology collections) have been created, several of which have been used in the most recent edition of the Ontology Alignment Evaluation Initiative (OAEI). While most OAEI tracks rely on comparison of the results achieved by the mapping systems with some kind of reference mapping, the 'conference' track (based on the OntoFarm collection of heterogeneous 'conference organisation' ontologies) instead anticipated evaluation via a face to face consensus workshop plus posterior automated discovery of frequent patterns in the overall set of mappings. In this paper, we discuss the argumentation used at the consensus workshop, its outcomes, and present the results of subsequent mining for associations in the mapping data (using the LISp-Miner system), including the most frequent graph patterns. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-svab.pdf UID:19a20dbd-d310-47c2-bbc4-f07b7f578bab END:VEVENT BEGIN:VEVENT SUMMARY:Acquisition of OWL DL Axioms from Lexical Resources DTSTART;TZID=Europe/Vienna:20070605T170000 DTEND;TZID=Europe/Vienna:20070605T173000 DESCRIPTION:State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connectives, role restrictions, and other expressive features of the Web Ontology Language OWL remains largely unexplored. In this paper, we present a method and implementation for enriching inexpressive OWL ontologies with expressive axioms which is based on a deep syntactic analysis of natural language definitions. We argue that it can serve as a core for a semi-automatic ontology engineering process supported by a methodology that integrates methods for both ontology learning and evaluation. The feasibility of our approach is demonstrated by generating complex class descriptions from Wikipedia definitions and from a fishery glossary provided by the Food and Agriculture Organization of the United Nations. LOCATION:Innsbruck URL:http://www.eswc2007.org/pdf/eswc07-voelker2.pdf UID:6dab2b10-a5c3-4536-b8a4-6ba72e5546a7 END:VEVENT BEGIN:VEVENT SUMMARY:On Enriching Ajax with Semantics: The Web Personalization Use Case DTSTART;TZID=Europe/Vienna:20070605T153000 DTEND;TZID=Europe/Vienna:20070605T160000 DESCRIPTION:With the dawn of Ajax the capabilities of tracking user behavior multiplied. The same holds for the capabilities of adapting the user interface in a Web browser. To provide meaningful adaptation, the events, context and elements of an Ajaxified Portal must be given meaning. We show the use of ontologies as a model for user-related context and portal-related content. Content-related concepts are used to annotate Ajax widgets to associate them with meaning. As a user navigates a portal and fires events related to the widgets, a semantically rich user model is built, enabling suitable adaptation. Both the user model and the adaptation are based on ontologies and logic rules. Since user tracking and portal adaptation in the era of Ajax, now takes place on the client-side we present a resource-saving approach to executing adaptation rules in the browser. The approach is applied in an e-Government case study. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-schmidt.pdf UID:68e7e91c-f9b1-419f-a50a-538893108847 END:VEVENT BEGIN:VEVENT SUMMARY:A Semantic Web Service oriented Framework for adaptive Learning Environments DTSTART;TZID=Europe/Vienna:20070605T160000 DTEND;TZID=Europe/Vienna:20070605T163000 DESCRIPTION:The current state of the art in supporting e-learning objectives is primarily based on providing a learner with learning content by using metadata standards. Due to this approach, several issues have to be taken into account - e. g. limited re-usability across different standards and learning contexts and high development costs. To overcome these issues, this paper describes an innovative semantic web service-oriented framework aimed at changing this data- and metadata-based paradigm to a highly dynamic service-oriented approach. Instead of providing a learner with static data, our approach is based on fulfilling learning objectives based on a dynamic supply of services. Therefore, we introduce a semantic layer architecture to abstract from existing learning data as well as process metadata standards by using Semantic Web Service (SWS) technology. Furthermore, our approach is based on abstract and reusable learning process models describing a learning process semantically as a composition of learning goals. Based on the formal semantic descriptions of learning goals as well as web services, services appropriate to achieve a specific learning goal can be selected, composed and invoked dynamically. This supports a high level of re-usability since a dynamic adaptation to different learning contexts and requirements of individual learners is achieved while utilizing standard-compliant learning applications. To illustrate the application of our approach, we describe a prototypical implementation utilizing the introduced approach based on the SWS framework WSMO. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-dietze.pdf UID:c1dcc414-e1de-4f1c-91a9-ddadf37b07e6 END:VEVENT BEGIN:VEVENT SUMMARY:Semantic Composition of Lecture Subparts for a Personalized e-Learning DTSTART;TZID=Europe/Vienna:20070605T163000 DTEND;TZID=Europe/Vienna:20070605T170000 DESCRIPTION:In this paper we propose an algorithm for personalized learning based on a user's query and a repository of lecture subparts -i.e., learning objects- both are described in a subset of OWL-DL. It works in two steps. First, it retrieves lecture subparts that cover as much as possible the user's query. The solution is based on the concept covering problem for which we present a modified algorithm. Second, an appropriate sequence of lecture subparts is generated. Indeed, the different lecture subparts are only reachable when a given prerequisite is fulfilled, i.e., the learner must have a minimal background knowledge to be able to assimilate the requested learning object. Therefore, our algorithm takes into account the user's knowledge to generate a personalized lecture composition and suggests a flow of learning objects to the user. LOCATION:Grenoble URL:http://www.eswc2007.org/pdf/eswc07-karam.pdf UID:cb16890b-5a7a-4f79-a4da-6c682644eff9 END:VEVENT BEGIN:VEVENT SUMMARY:Invited Talk: Stefano Ceri DTSTART;TZID=Europe/Vienna:20070604T090000 DTEND;TZID=Europe/Vienna:20070604T100000 DESCRIPTION: Chair: Wolfgang May LOCATION:Innsbruck URL: UID:188b3fe2-f8e3-46f3-ae78-349e7b0d868b END:VEVENT BEGIN:VEVENT SUMMARY:Semantic Web Services DTSTART;TZID=Europe/Vienna:20070604T103000 DTEND;TZID=Europe/Vienna:20070604T123000 DESCRIPTION: Chair: Norbert Fuchs LOCATION:Strassburg URL: UID:9c99bd41-70c3-4fbb-add7-2654c6d3a461 END:VEVENT BEGIN:VEVENT SUMMARY:Ontology Learning, Inference and Mapping I DTSTART;TZID=Europe/Vienna:20070604T103000 DTEND;TZID=Europe/Vienna:20070604T123000 DESCRIPTION: Chair: Elena Simperl LOCATION:Innsbruck URL: UID:3851ae8c-4702-41f2-b069-f8704879e878 END:VEVENT BEGIN:VEVENT SUMMARY:Case Studies DTSTART;TZID=Europe/Vienna:20070604T103000 DTEND;TZID=Europe/Vienna:20070604T123000 DESCRIPTION: Chair: Abraham Bernstein LOCATION:Grenoble URL: UID:d2c95df8-1165-4d65-9082-57370c1f4c2a END:VEVENT BEGIN:VEVENT SUMMARY:Invited Talk: Ning Zhong DTSTART;TZID=Europe/Vienna:20070604T140000 DTEND;TZID=Europe/Vienna:20070604T150000 DESCRIPTION: Chair: Dieter Fensel LOCATION:Innsbruck URL: UID:3773d164-64e8-43dc-b2b3-11fcf04924ce END:VEVENT BEGIN:VEVENT SUMMARY:Best Papers DTSTART;TZID=Europe/Vienna:20070604T150000 DTEND;TZID=Europe/Vienna:20070604T160000 DESCRIPTION: Chair: Dieter Fensel LOCATION:Innsbruck URL: UID:04273a4a-dbc1-4253-8e59-104319400440 END:VEVENT BEGIN:VEVENT SUMMARY:Social Semantic Web DTSTART;TZID=Europe/Vienna:20070604T163000 DTEND;TZID=Europe/Vienna:20070604T180000 DESCRIPTION: Chair: Harold Boley LOCATION:Strassburg URL: UID:afc9eca3-8ca7-42fb-b0ae-a60ba6420b6d END:VEVENT BEGIN:VEVENT SUMMARY:Ontologies: Requirements and Analysis DTSTART;TZID=Europe/Vienna:20070604T163000 DTEND;TZID=Europe/Vienna:20070604T180000 DESCRIPTION: Chair: Pascal Hitzler LOCATION:Innsbruck URL: UID:0c3cf03d-e204-491d-8f64-3b1892275034 END:VEVENT BEGIN:VEVENT SUMMARY:Personalization I DTSTART;TZID=Europe/Vienna:20070604T163000 DTEND;TZID=Europe/Vienna:20070604T180000 DESCRIPTION: Chair: Ruediger Klein LOCATION:Grenoble URL: UID:3178f290-749c-431f-b2c4-3ae00a2c6a0a END:VEVENT BEGIN:VEVENT SUMMARY:System Descriptions/Poster Session DTSTART;TZID=Europe/Vienna:20070604T190000 DTEND;TZID=Europe/Vienna:20070604T220000 LOCATION:Kristall Foyer URL: UID:cb919dd1-dbe0-42da-9150-5d63360d12e0 END:VEVENT BEGIN:VEVENT SUMMARY:Invited Talk: Georg Gottlob DTSTART;TZID=Europe/Vienna:20070605T090000 DTEND;TZID=Europe/Vienna:20070605T100000 DESCRIPTION: Chair: Michael Kifer LOCATION:Innsbruck URL: UID:c0a2c453-5544-4154-a7af-e60f9c96f74d END:VEVENT BEGIN:VEVENT SUMMARY:Foundations of the Semantic Web DTSTART;TZID=Europe/Vienna:20070605T103000 DTEND;TZID=Europe/Vienna:20070605T123000 DESCRIPTION: Chair: Umberto Straccia LOCATION:Strassburg URL: UID:41704e9b-fa68-40e0-a000-2e62c3a56044 END:VEVENT BEGIN:VEVENT SUMMARY:Natural Languages and Ontologies DTSTART;TZID=Europe/Vienna:20070605T103000 DTEND;TZID=Europe/Vienna:20070605T123000 DESCRIPTION: Chair: York Sure LOCATION:Innsbruck URL: UID:bc24c36b-bdb0-48bd-a150-a7f8eef86cd6 END:VEVENT BEGIN:VEVENT SUMMARY:Applications DTSTART;TZID=Europe/Vienna:20070605T103000 DTEND;TZID=Europe/Vienna:20070605T123000 DESCRIPTION: Chair: Jos de Bruijn LOCATION:Grenoble URL: UID:a834013f-1227-4394-9b49-bff3f9f5d5f0 END:VEVENT BEGIN:VEVENT SUMMARY:Invited Talk: Ron Brachman DTSTART;TZID=Europe/Vienna:20070605T140000 DTEND;TZID=Europe/Vienna:20070605T150000 DESCRIPTION: Chair: Enrico Franconi LOCATION:Innsbruck URL: UID:a41a0a38-1de0-4494-b8d4-7d8cd014c4de END:VEVENT BEGIN:VEVENT SUMMARY:Querying and Web Data Models DTSTART;TZID=Europe/Vienna:20070605T153000 DTEND;TZID=Europe/Vienna:20070605T173000 DESCRIPTION: Chair: Axel Polleres LOCATION:Strassburg URL: UID:bcaa3b2f-183a-410e-bc86-67fd0597f158 END:VEVENT BEGIN:VEVENT SUMMARY:Ontology Learning, Inference and Mapping II DTSTART;TZID=Europe/Vienna:20070605T153000 DTEND;TZID=Europe/Vienna:20070605T173000 DESCRIPTION: Chair: Francois Bry LOCATION:Innsbruck URL: UID:ed536be0-56c8-4c3c-a717-41d69d2dd39a END:VEVENT BEGIN:VEVENT SUMMARY:Personalization II DTSTART;TZID=Europe/Vienna:20070605T153000 DTEND;TZID=Europe/Vienna:20070605T173000 DESCRIPTION: Chair: Stijn Heymans LOCATION:Grenoble URL: UID:659348bf-0db7-4534-be81-c8e7e0a43e45 END:VEVENT END:VCALENDAR