Reports of the AAAI 2008 Spring Symposia

Total Page:16

File Type:pdf, Size:1020Kb

Reports of the AAAI 2008 Spring Symposia Reports Reports of the AAAI 2008 Spring Symposia Marcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo Huberman, Eva Hudlicka, Kristina Lerman, Christine Lisetti, Deborah McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek Sleeman, Barbara Thönssen, Juan Velasquez, and Dan Ventura I The Association for the Advancement of Ar- tems. The goal of the Emotion, Personality, and he Association for the Advance- tificial Intelligence (AAAI) was pleased to pres- Social Behavior symposium was to examine ment of Artificial Intelligence ent the AAAI 2008 Spring Symposium Series, fundamental issues in affect and personality in (AAAI) was pleased to present held Wednesday through Friday, March 26–28, both biological and artificial agents, focusing T the AAAI 2008 Spring Symposium Se- 2008, at Stanford University, California. The on the roles of these factors in mediating social ries, held Wednesday through Friday, eight symposia were titled (1) AI Meets Business behavior. The Semantic Scientific Knowledge Rules and Process Management, (2) Architec- Integration symposium brought together the se- March 26–28, 2008, at Stanford Uni- tures for Intelligent Theory-Based Agents, (3) mantic technologies community with the scien- versity, California. The titles of the Creative Intelligent Systems, (4) Emotion, Per- tific information technology community in an eight symposia were as follows: sonality, and Social Behavior, (5) Semantic Sci- effort to build the general semantic science in- I AI Meets Business Rules and Process entific Knowledge Integration, (6) Social Infor- formation community. The Social Information Management mation Processing, (7) Symbiotic Relationships Processing symposium’s goal was to investigate between Semantic Web and Knowledge Engi- computational and analytic approaches that I Architectures for Intelligent Theory- neering, (8) Using AI to Motivate Greater Par- will enable users to harness the efforts of large Based Agents ticipation in Computer Science. numbers of other users to solve a variety of in- I Creative Intelligent Systems formation processing problems, from discover- The goal of the AI Meets Business Rules and I Emotion, Personality, and Social Be- Process Management AAAI symposium was to ing high-quality content to managing common havior investigate the various approaches and stan- resources. The goal of the Symbiotic Relation- dards to represent business rules, business ships between the Semantic Web and Software I Semantic Scientific Knowledge Inte- process management, and the semantic web Engineering symposium was to explore how the gration lessons learned by the knowledge-engineering with respect to expressiveness and reasoning ca- I Social Information Processing pabilities. The focus of the Architectures for In- community over the past three decades could be I telligent Theory-Based Agents AAAI sympo- applied to the bold research agenda of current Symbiotic Relationships between sium was the definition of architectures for workers in semantic web technologies. The pur- Semantic Web and Knowledge Engi- intelligent theory-based agents, comprising lan- pose of the Using AI to Motivate Greater Partic- neering guages, knowledge representation methodolo- ipation in Computer Science symposium was to I Using AI to Motivate Greater Partic- identify ways that topics in AI may be used to gies, reasoning algorithms, and control loops. ipation in Computer Science The Creative Intelligent Systems symposium in- motivate greater student participation in com- cluded five major discussion sessions and a gen- puter science by highlighting fun, engaging, and eral poster session (in which all contributing pa- intellectually challenging developments in the AI Meets Business Rules pers were presented). The purpose of this AI-related curriculum at a number of educa- symposium was to explore the synergies be- tional levels. Technical reports of the symposia and Process Management tween creative cognition and intelligent sys- were published by AAAI Press. Knowledge representation in general and rule-based representations in par- ticular are core areas of AI. Research re- sults in these areas strongly influenced standards for the web, for example, the Rule Markup Language (RuleML) Copyright © 2008, Association for the Advancement of Artificial Intelligence. All rights reserved. ISSN 0738-4602 FALL 2008 107 Reports or the World Wide Web Consortium nities. A major theme of papers was metamodels on the conceptual level (W3C) semantic web standards Web the combination of business process and keep the instance level to the exe- Ontology Language (OWL) and the Se- with semantics. Most of the approach- cuted workflow instances. Another mantic Web Rule Language (SWRL). es for semantic business process man- topic discussed in depth was the miss- Business rules and business process agement relied on the W3C standards ing multilevel view of domain-specific management have been very active re- OWL and SWRL. Only a few papers ontologies. As a major drawback the search and applications areas for some dealt with the more application-ori- single use of ontologies has been iden- years now. Reference models and stan- ented SBVR standard. tified. Although intended for reuse, dards for business process definition The AI Meets Business Rules and ontologies as they are modeled to and execution have been put forward Process Management symposium was meet a certain business requirement by organizations like Workflow Man- structured into presentation sessions are hard to reuse. Today no methods agement Coalition (WfMC) and Ob- and breakout sessions. At the presen- to solve the problem are at hand. ject Management Group (OMG) mak- tation sessions a commentator was as- When comparing the standards of ing use of model-driven knowledge signed to comment on the presenta- W3C and OMG, it became obvious representations. In the last few years, tions and thus force controversial that SBVR defines a standard on the the potential of knowledge represen- discussions. business level while RDF, OWL, and tations with precise semantics has In the two breakout sessions, two SWRL are more technical. While SBVR been recognized. There is increasing main topics were discussed: applica- combines structural and relational research interest in combining busi- tion requirements and the semantics rules and allows specification of a ness processes and business rules with of business rule and process models. broad spectrum of semantics (for ex- semantic technologies. For example, One point of discussion was how the ample, open and closed world, modal- OMG is bringing semantics into busi- three levels of business processes ities, and so on), the restricted expres- ness rules with semantics of business (workflow instances, process models, siveness of the W3C standards to vocabulary and business rules (SBVR) metamodels) can be mapped to two standard logic was criticized repeated- and also developed the production- levels by distinguishing concepts and ly. In addition, many findings of AI rule representation standard PRR. instances. Here no final solution was knowledge representation, such as This symposium brought together found, although it seemed appropriate nonmonotonic reasoning, modal log- researchers from the different commu- to represent the process models and ic, or fuzziness, are not considered in 108 AI MAGAZINE Reports these standards but could improve stances that develop during the that are autonomously creative, sys- their use in business applications. agent’s interaction with the environ- tems that augment or enhance human Another topic intensely discussed ment. creativity, and computational models was the complexity of all of these stan- Another major theme at the sympo- for understanding creativity. dards: how can business people be en- sium was that of agent architectures The focus of the submissions to the abled to model their business using oriented toward real-time perform- symposium varied widely, and the se- these standards? Easy-to-use editors ance. Here, rigorous development and lection criteria were based on the sub- for business rules and business theoretical work allow researchers to missions’ relevance to the goals of the processes modeling based on and en- take high-level specifications of the symposium. The contributions of the forcing the standards are needed. environment and of the desired agent selected papers and the discussion top- Knut Hinkelmann and Barbara behavior and synthesize lower-level ics led to the emergence of four major Thönssen served as cochairs of this agent controls implementing the de- themes: computational creativity, sim- symposium. The papers of the sympo- sired behavior. Thanks to the rigorous ulating creativity as a social process, sium were published as AAAI Press foundations of these approaches, the creativity and computational linguis- Technical Report SS-08-01. resulting agents are guaranteed to re- tics, and computational environments spond to changes in the environment for creativity. Architectures for in real time, and can be proven to The first theme centered on defin- avoid undesired states no matter how ing various axes for describing or as- Intelligent the environment evolves. sessing computational creativity. As- Theory-Based Agents Remarkably, many of the architec- sessing the value of a creative work tures presented at the symposium may be as objective as validating the In the past years, a number of reason- have been tested successfully on actu-
Recommended publications
  • The Semantic Web - ISWC 2004
    Lecture Notes in Computer Science 3298 The Semantic Web - ISWC 2004 Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings Bearbeitet von Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen 1. Auflage 2004. Taschenbuch. xxxv, 844 S. Paperback ISBN 978 3 540 23798 3 Format (B x L): 15,5 x 23,5 cm Gewicht: 970 g Weitere Fachgebiete > EDV, Informatik > Datenbanken, Informationssicherheit, Geschäftssoftware > Datenkompression, Dokumentaustauschformate schnell und portofrei erhältlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8 Millionen Produkte. Preface The 3rd International Semantic Web Conference (ISWC 2004) was held Novem- ber 7–11, 2004 in Hiroshima, Japan. If it is true what the proverb says: “Once by accident, twice by habit, three times by tradition,” then this third ISWC did indeed firmly establish a tradition. After the overwhelming interest in last year’s conference at Sanibel Island, Florida, this year’s conference showed that the Semantic Web is not just a one-day wonder, but has established itself firmly on the research agenda. At a time when special interest meetings with a Seman- tic Web theme are springing up at major conferences in numerous areas (ACL, VLDB, ECAI, AAAI, ECML, WWW, to name but a few), the ISWC series has established itself as the primary venue for Semantic Web research. Response to the call for papers for the conference continued to be strong.
    [Show full text]
  • Trombert-Paviot, Alan Rector, Robert Baud, Pieter
    HIMJ: Reviewed articles The development of CCAM: The new French coding system of clinical HIMJ HOME procedures Beatrice Trombert-Paviot, Alan Rector, Robert Baud, Pieter CONTENTS Zanstra, Caroline Martin, Egbert van der Haring, Lucienne Clavel and Jean Marie Rodrigues GUIDELINES Abstract MISSION A new French coding system of clinical procedures, the Classification Commune Des Actes Medicaux (CCAM), has been developed at the turn of the millennium (between 1996 and CONTACT US 2001). Two methodologies were used: a traditional domain- experts consensus method, and an artificial-intelligence-based semantic representation. An economic evaluation of clinical procedures was also undertaken for the rating for fee-for- service payment. We present the methodologies used and stress how the European Union research project, ‘European Consortium, Generalised Architecture for Languages, Encyclopaedias and Nomenclatures in Medicine’ (GALEN), facilitated the sharing and maintaining of consistent medical knowledge. This country case study highlights the significant cost to individual countries in developing their own HIMAA classifications in isolation. It also demonstrates the benefits of Locked Bag 2045 North Ryde, NSW contributing to international efforts such as GALEN that enable Australia 1670 harmonisation, yet still allow for diversity. ABN 54 008 451 910 Key words : Artificial intelligence; coding system; clinical procedures; terminology; GALEN Introduction Following an Act passed in the National Assembly and issued in January 1993, the Ministry
    [Show full text]
  • Ontologies and the Semantic Web
    Ontologies and the Semantic Web Ian Horrocks <[email protected]> Information Management Group School of Computer Science University of Manchester The Semantic Web Today’s Web • Distributed hypertext/hypermedia • Information accessed via (keyword based) search and browse • Browser tools render information for human consumption What is the Semantic Web? • Web was “invented” by Tim Berners-Lee (amongst others), a physicist working at CERN • His vision of the Web was much more ambitious than the reality of the existing (syntactic) Web: “… a set of connected applications … forming a consistent logical web of data …” “… an extension of the current web in which information is given well-defined meaning, better enabling computers and people to work in cooperation …” • This vision of the Web has become known as the Semantic Web Hard Work using “Syntactic Web” Find images of Peter Patel-Schneider, Frank van Harmelen and Alan Rector… Rev. Alan M. Gates, Associate Rector of the Church of the Holy Spirit, Lake Forest, Illinois Impossible (?) using “Syntactic Web” • Complex queries involving background knowledge – Find information about “animals that use sonar but are neither bats nor dolphins” , e.g., Barn Owl • Locating information in data repositories – Travel enquiries – Prices of goods and services – Results of human genome experiments • Finding and using “web services” – Given a DNA sequence, identify its genes, determine the proteins they can produce, and hence the biological processes they control • Delegating complex tasks to web “agents” – Book me a holiday next weekend somewhere warm, not too far away, and where they speak either French or English What is the Problem? Consider a typical web page: • Markup consists of: – rendering information (e.g., font size and colour) – Hyper-links to related content • Semantic content is accessible to humans, but not (easily) to computers… What is the (Proposed) Solution? • Add semantic annotations to web resources Dr.
    [Show full text]
  • Knowledge Driven Software and “Fractal Tailoring”: Ontologies in Development Environments for Clinical Systems
    Knowledge Driven Software and “Fractal Tailoring”: Ontologies in development environments for clinical systems Alan RECTOR School of Computer Science, University of Manchester, UK Abstract. Ontologies have been highly successful in applications involving annotation and data fusion. However, ontologies as the core of “Knowledge Driven Architectures” have not achieved the same influence as “Model Driven Architectures”, despite the fact that many biomedical applications require features that seem achievable only via ontological technologies – composition of descriptions, automatic classification and inference, and management of combinatorial explosions in many contexts. Our group adopted Knowledge Driven Architectures based on ontologies to address these problems in the early 1990s. In this paper we discuss first the use cases and requirements and then some of the requirements for more effective use of Knowledge Driven Architectures today: clearer separation of language and formal ontology, integration with contingent knowledge, richer and better distinguished annotations, higher order representations, integration with data models, and improved auxiliary structures to allow easy access and browsing by users. Keywords. Ontology based systems, Model driven architecture, OWL Citation. Rector A; Knowledge driven software and “fractal tailoring”: Ontologies in development environments for clinical systems. 2010; Formal Ontology in Information Systems (FOIS 2010): IOS Press; 17-30. 1. Introduction In the past fifteen years, the notion of “ontology” has gone from being an obscure “O” word to almost a synonym for “good”. Everybody thinks, and is often told, that they need ontologies. At the same time ontologies have, on the one hand, become dissociated from other forms of knowledge representation and, on the other hand, been taken by some to be all of knowledge representation.
    [Show full text]
  • Analysing Syntactic Regularities and Irregularities in SNOMED-CT Eleni Mikroyannidi*, Robert Stevens, Luigi Iannone and Alan Rector
    Mikroyannidi et al. Journal of Biomedical Semantics 2012, 3:8 http://www.jbiomedsem.com/content/3/1/8 JOURNAL OF BIOMEDICAL SEMANTICS RESEARCH Open Access Analysing Syntactic Regularities and Irregularities in SNOMED-CT Eleni Mikroyannidi*, Robert Stevens, Luigi Iannone and Alan Rector Abstract Motivation: In this paper we demonstrate the usage of RIO; a framework for detecting syntactic regularities using cluster analysis of the entities in the signature of an ontology. Quality assurance in ontologies is vital for their use in real applications, as well as a complex and difficult task. It is also important to have such methods and tools when the ontology lacks documentation and the user cannot consult the ontology developers to understand its construction. One aspect of quality assurance is checking how well an ontology complies with established ‘coding standards’; is the ontology regular in how descriptions of different types of entities are axiomatised? Is there a similar way to describe them and are there any corner cases that are not covered by a pattern? Detection of regularities and irregularities in axiom patterns should provide ontology authors and quality inspectors with a level of abstraction such that compliance to coding standards can be automated. However, there is a lack of such reverse ontology engineering methods and tools. Results: RIO framework allows regularities to be detected in an OWL ontology, i.e. repetitive structures in the axioms of an ontology. We describe the use of standard machine learning approaches to make clusters of similar entities and generalise over their axioms to find regularities. This abstraction allows matches to, and deviations from, an ontology’s patterns to be shown.
    [Show full text]
  • Ontologies and the Semantic Web
    Ontologies and the Semantic Web Ian Horrocks <[email protected]> Information Management Group School of Computer Science University of Manchester The Semantic Web Today’s Web • Distributed hypertext/hypermedia • Information accessed via (keyword based) search and browse • Browser tools render information for human consumption What is the Semantic Web? • Web was “invented” by Tim Berners-Lee (amongst others), a physicist working at CERN • His vision of the Web was much more ambitious than the reality of the existing (syntactic) Web: “… a set of connected applications … forming a consistent logical web of data …” “… an extension of the current web in which information is given well-defined meaning, better enabling computers and people to work in cooperation …” • This vision of the Web has become known as the Semantic Web Hard Work using “Syntactic Web” Find images of Peter Patel-Schneider, Frank van Harmelen and Alan Rector… Rev. Alan M. Gates, Associate Rector of the Church of the Holy Spirit, Lake Forest, Illinois Impossible (?) using “Syntactic Web” • Complex queries involving background knowledge – Find information about “animals that use sonar but are neither bats nor dolphins” , e.g., Barn Owl • Locating information in data repositories – Travel enquiries – Prices of goods and services – Results of human genome experiments • Finding and using “web services” – Given a DNA sequence, identify its genes, determine the proteins they can produce, and hence the biological processes they control • Delegating complex tasks to web “agents” – Book me a holiday next weekend somewhere warm, not too far away, and where they speak either French or English What is the Problem? Consider a typical web page: • Markup consists of: – rendering information (e.g., font size and colour) – Hyper-links to related content • Semantic content is accessible to humans, but not (easily) to computers… What is the (Proposed) Solution? • Add semantic annotations to web resources Dr.
    [Show full text]
  • Thesis Submitted to the University of Manchester for the Degree of Doctor of Philosophy in the Faculty of Medicine
    Structured Methods of Information Management for Medical Records A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Medicine 1993 William Anthony Nowlan Table of Contents Structured Methods of Information Management for Medical Records 1 Table of Contents 2 List of Figures 8 Abstract 9 Declaration 11 Acknowledgements 12 The Author 13 1 Purpose and Introduction 14 1.1 The purpose of this thesis 14 1.2 Motivations for the work 14 1.2.1 Research on clinical information systems: PEN&PAD 14 1.2.2 Characteristics of clinical information systems 15 1.3 What is to be represented: the shared medical model 15 1.3.1 An example: thinking about ‘stroke’ 16 1.3.2 Medical limits on what can be modelled 16 1.4 Scope of the work in this thesis: the limits on context and modelling 17 1.5 Organisation of the thesis 17 2 Coding and Classification Schemes 18 2.1 The changing task: the move from populations to patients 18 2.2 Current methods: nomenclatures and classifications 19 2.2.1 Nomenclatures. 19 2.2.2 Classifications 19 2.2.3 Classification rules 20 2.3 An exemplar classification: the International Classification of Diseases (ICD) 20 2.3.1 History of the International Classification of Diseases 20 2.3.2 The organisation of ICD-9 21 2.3.3 Classification principles within ICD-9 23 2.3.4 Goal-orientation 24 2.3.5 The use of the classification structure: abstraction 24 2.3.6 Extending the coverage of a classification and the ‘combinatorial explosion’ 25 2 Contents 3 2.4 Multiaxial nomenclatures and classifications: SNOMED 26 2.4.1 Organisation of SNOMED 26 2.4.2 SNOMED coding of terms 27 2.4.3 Sense and nonsense in SNOMED 28 2.5 The structure within SNOMED fascicles 28 2.5.1 Abstraction in SNOMED 29 2.5.2 Relationships between topographical concepts in the SNOMED topography fascicle 31 2.6 SNOMED enhancements.
    [Show full text]
  • Semantic Mapping of Clinical Model Data to Biomedical Terminologies to Facilitate Interoperability
    SEMANTIC MAPPING OF CLINICAL MODEL DATA TO BIOMEDICAL TERMINOLOGIES TO FACILITATE INTEROPERABILITY A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences 2008 By Rahil Qamar School of Computer Science Contents Abstract 17 Declaration 19 Copyright 20 Dedication 21 Acknowledgments 22 1 Introduction 24 1.1 The task of semantic interoperability . 25 1.2 The Research Agenda . 26 1.2.1 Research Objective . 27 1.2.2 Research Aim . 29 1.2.3 Research Question . 30 1.2.4 Research Contributions . 30 1.2.5 Significance of the Research . 31 1.2.6 The Research Programme . 32 1.3 Vocabulary and Notations . 35 1.4 Thesis Outline . 36 1.5 List of Publications . 37 2 Clinical Data Models and Terminologies 39 2.1 Why is the medical domain particularly complex? . 40 2.2 Problems facing interoperability standards . 42 2.3 Benefits of standardised data in health care . 43 2.4 Clinical Data Models . 44 2.4.1 Need for Structured Clinical Data Models . 45 2 2.4.2 Examples of Data Models . 46 2.4.2.1 The openEHR Archetype Models . 46 2.4.2.2 HL7 CDA documents . 47 2.4.3 History of openEHR Archetypes . 49 2.4.3.1 Archetype Modeling Features . 50 2.4.3.2 Purpose of Archetypes . 51 2.4.3.3 Reasons for selecting Archetypes . 52 2.4.3.4 Term Binding in Archetypes . 53 2.5 The openEHR Information Model . 54 2.5.1 The openEHR ENTRY submodel . 55 2.5.1.1 The Observation subclass .
    [Show full text]
  • An Introduction to OWL
    An Introduction to OWL Sean Bechhofer School of Computer Science University of Manchester, UK http://www.cs.manchester.ac.uk OWL: Web Ontology Language • OWL is an ontology language designed for the Semantic Web – It provides a rich collection of operators for forming concept descriptions – It is a W3C standard, promoting interoperation and sharing between applications – It has been designed to be compatible with existing web standards • In this talk, we’ll see some of the motivation behind OWL and some details of the language Introduction to the Semantic Web Tutorial Towards a Semantic Web • The Web was made possible through established standards – TCP/IP for transporting bits down a wire – HTTP & HTML for transporting and rendering hyperlinked text • Applications able to exploit this common infrastructure – Result is the WWW as we know it • 1st generation web mostly handwritten HTML pages • 2nd generation (current) web often machine generated/active – Both intended for direct human processing/interaction • In next generation web, resources should be more accessible to automated processes – To be achieved via semantic markup – Metadata annotations that describe content/function Introduction to the Semantic Web Tutorial What’s the Problem? • Consider a typical web page • Markup consists of: – rendering information (e.g., font size and colour) – Hyper-links to related content • Semantic content is accessible to humans but not (easily) to computers… • Requires (at least) NL understanding Introduction to the Semantic Web Tutorial A Semantic
    [Show full text]
  • OWL 2 Web Ontology Language Primer (Second Edition) W3C Recommendation 11 December 2012
    OWL 2 Web Ontology Language Primer (Second Edition) W3C Recommendation 11 December 2012 OWL 2 Web Ontology Language Primer (Second Edition) W3C Recommendation 11 December 2012 This version: http://www.w3.org/TR/2012/REC-owl2-primer-20121211/ Latest version (series 2): http://www.w3.org/TR/owl2-primer/ Latest Recommendation: http://www.w3.org/TR/owl-primer Previous version: http://www.w3.org/TR/2012/PER-owl2-primer-20121018/ Editors: Pascal Hitzler, Wright State University Markus Krötzsch, University of Oxford Bijan Parsia, University of Manchester Peter F. Patel-Schneider, Nuance Communications Sebastian Rudolph, FZI Research Center for Information Technology Please refer to the errata for this document, which may include some normative corrections. A color-coded version of this document showing changes made since the previous version is also available. This document is also available in these non-normative formats: PDF version. See also translations. Copyright © 2012 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark and document use rules apply. Abstract The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data values and are stored as Semantic Web documents. OWL 2 ontologies can be used along with information written in RDF, and OWL 2 ontologies themselves are primarily exchanged as RDF documents. The OWL 2 Document Overview describes the overall state of OWL 2, and should be read before other OWL 2 documents. This primer provides an approachable introduction to OWL 2, including orientation for those coming from other disciplines, a running example showing how OWL 2 can be used to represent first simple information and then more complex information, how OWL 2 manages ontologies, and finally the distinctions between the various sublanguages of OWL 2.
    [Show full text]
  • Proceedings Ontology Matching 2009
    Ontology Matching OM-2009 Papers from the ISWC Workshop Introduction Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful tactic in some classical data integration tasks. It takes the ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging and data translation. Thus, matching ontologies enables the knowledge and data expressed in the matched ontologies to interoperate. The workshop has three goals: • To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simul- taneously, the workshop will serve to inform industry and user represen- tatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve. • To conduct an extensive and rigorous evaluation of ontology matching approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2009 campaign, http://oaei.ontologymatching.org/2009. This year's OAEI campaign introduces two new tracks about oriented alignments and about instance matching (a timely topic for the linked data community). Therefore, the ontology matching evaluation initiative itself will provide a solid ground for discussion of how well the current approaches are meeting business needs. • To examine similarities and differences from database schema matching, which has received decades of attention but is just beginning to transition to mainstream tools.
    [Show full text]
  • A Practical Introduction to Protégé OWL
    A Practical Introduction to Protégé OWL Session 1: Primitive Classes Nick Drummond, Matthew Horridge, Olivier Dameron, Alan Rector, Hai Wang Overview (morning) ‣ Tutorial Aims ‣ OWL Language Overview ‣ Language constructs ‣ Primitive Pizzas ‣ Creating a class hierarchy ‣ Basic relations ‣ Basic Reasoning ‣ Class consistency ‣ Your first defined class ‣ Q&A © 2006, The University of Manchester 2 Overview (afternoon) ‣ Formal Semantics of OWL ‣ Harder but more fun ‣ Advanced Reasoning ‣ Defined Classes ‣ Using a reasoner for computing a classification ‣ Common Mistakes ‣ Q&A © 2006, The University of Manchester 3 Aims of this morning ‣ Make OWL (DL) more approachable ‣ Get you used to the tool ‣ Give you a taste for the afternoon session © 2006, The University of Manchester 4 Exposing OWL © 2006, The University of Manchester 5 What is OWL? ‣ OWL is the Web Ontology Language ‣ It’s part of the Semantic Web framework ‣ It’s a standard © 2006, The University of Manchester 6 OWL has explicit formal semantics Can therefore be used to capture knowledge in a machine interpretable way © 2006, The University of Manchester 7 OWL helps us... ‣ Describe something, rather than just name it ‣ Class (BlueThing) does not mean anything ‣ Class (BlueThing complete owl:Thing restriction (hasColour someValuesFrom (Blue))) has an agreed meaning to any program accepting OWL semantics © 2006, The University of Manchester What is the Semantic Web? ‣ A vision of a computer-understandable web ‣ Distributed knowledge and data in reusable form ‣ XML, RDF(S), OWL just
    [Show full text]