Hybrid-Type Extensions for Actor-Oriented Modeling (a.k.a. Semantic Data-types for Kepler) Shawn Bowers & Bertram Ludäscher
|
|
- Molly Fox
- 5 years ago
- Views:
Transcription
1 Hybrid-Type Extensions for Actor-Oriented Modeling (a.k.a. Semantic Data-types for Kepler) Shawn Bowers & Bertram Ludäscher University of alifornia, Davis Genome enter & S Dept. May, 2005 Outline 1. Hybrid Types 2. Hybrid Types and Scientific Workflow Design 3. Super Rapid Prototyping: The Sparrow Family of Languages 4. Next Steps: Adding a Hybrid-Type System to Kepler
2 Hybrid Types Hybrid Types: Superimposing Semantics Separation of oncerns: onventional Data Modeling (Structural Data Types) E.g., XML Schema / DTD, etc. onceptual Data Modeling (Semantic Types) Drawn from ontologies (expressed in Description Logic) apturing domain knowledge (e.g., biodiversity, ecology) Explicit (external) linkages (Semantic Annotations) Simple links (one concept per item) Links expressed as constraints (logical mappings)
3 Hybrid Types: Superimposing Semantics T1 := table meas Datatypes double a relational table of measurements T2 := list spp a list of s Hybrid Types: Superimposing Semantics SpeciesBiomass Measurement item.species prop.biomass loc.location Species biomass is a measure of the amount of biomass of a particular species within a location. Semtypes SpeciesommBiomass SpeciesBiomass loc.ommunity Species community biomass is a species biomass within a community. T1 := table meas SpeciesommBiomass table/x:meas => X:SpeciesommBiomass double each table/meas instance is a measurement
4 Hybrid Types: Superimposing Semantics SpeciesBiomass Measurement item.species prop.biomass loc.location Species biomass is a measure of the amount of biomass of a particular species within a location. Semtypes SpeciesommBiomass SpeciesBiomass loc.ommunity Species community biomass is a species biomass within a community. T1 := ommunity table meas SpeciesommBiomass table/x:meas, X/Y:site, X/Z:plot => X:SpeciesommBiomass, =f(y,z), (X,):loc, :ommunity, double Hybrid Types: Superimposing Semantics SpeciesBiomass Measurement item.species prop.biomass loc.location Species biomass is a measure of the amount of biomass of a particular species within a location. Semtypes SpeciesommBiomass SpeciesBiomass loc.ommunity Species community biomass is a species biomass within a community. SpeciesommBiomass T1 := table ommunity meas Species double table/x:meas, X/Y:site, X/Z:plot, X/U:spp => X:SpeciesommBiomass, =f(y,z), (X,):loc, :ommunity, (X,U):item, U:Species,
5 Hybrid Types: Superimposing Semantics SpeciesBiomass Measurement item.species prop.biomass loc.location Species biomass is a measure of the amount of biomass of a particular species within a location. Semtypes SpeciesommBiomass SpeciesBiomass loc.ommunity Species community biomass is a species biomass within a community. SpeciesommBiomass T1 := table ommunity meas Species Biomass double table/x:meas, X/Y:site, X/Z:plot, X/U:spp, X/B:bm => X:SpeciesommBiomass, =f(y,z), (X,):loc, :ommunity, (X,U):item, U:Species, (X,B):prop, B:Biomass. Hybrid Types: Superimposing Semantics Searching oncept-based, e.g., find all datasets containing biomass measurements Merging/Integrating ombining heterogeneous sources based on annotations oncatenate, Union (merge), Join, etc. Transforming onstruct mappings from schema S1 to S2 based on annotations Semantic Propagation Pushing semantic annotations through transformations/queries
6 Semantic Annotation Propagation apture I/O constraints Similar to unit type constraints an enable automated metadata creation (annotation propagation ) an help refine ontologies and existing annotations Semantic Annotation Propagation T1 := table meas double Port 1 Annotation table/x:meas, X/Y:site, X/Z:plot, X/U:spp, X/B:bm => X:SpeciesommBiomass, =f(y,z), (X,):loc, :ommunity, (X,U):item, U:Species, (X,B):prop, B:Biomass. p1::t1 p2::t2 seasonal species p3::t3 Actor I/O constraint (approx.) p3.obs(site, plot, spp, bm) :- p1.meas(site, plot, spp, bm), p2.spp(spp). T3 := table Port 2 hased Annotation table/x:obs, X/Y:site, X/Z:plot, obs X/U:spp, X/B:bm => X:SpeciesommBiomass, =f(y,z), (X,):loc, :ommunity, (X,U):item, U:Species, (X,B):prop, B:Biomass. double
7 Hybrid Types and Scientific Workflow Design Workflow Design Primitives End-to-End Workflow Design and Implementation Viewed as a series of primitive transformations Each takes a WF and produces a new WF an be combined to form design strategies Workflow Design W 0 W 1 W 2 W m W n t t t Workflow Implementation Top-Down Task Driven Data Driven Bottom-Up Structure Driven Output Driven Semantic Driven Input Driven
8 Workflow Design Primitives Semantic types and Actor Oriented Modeling: Actors and Workflows: can have semantic types conceptually describing their function Ports: can have semantic types conceptually describing what they consume and produce I/O onstraints: a general form of constraint between input and output (e.g., like unit constraints) approximating the function of an actor Basic Design Primitives Inherited from Ptolemy Basic Transformations Starting Workflow Resulting Workflow Resulting Workflow t 1 : Entity Introduction (actor or data connection) t 2 : Port Introduction t 3 : Datatype Refinement (s s, t t) s t s t s t t 4 : Hierarchical Abstraction t 5 : Hierarchical Refinement t 6 : Data onnection t 7 : Director Introduction
9 Additional (Planned) Design Primitives for Semantic Types Extended Transformations Starting Workflow Resulting Workflow t 9 : Actor Semantic Type Refinement (T T) T T t 10 : Port Semantic Type Refinement (, D D) t 11 : Annotation onstraint Refinement (α α) t 12 : I/O onstraint Strengthening (ψ ϕ ) t 13 : Data onnection Refinement α 1 s ϕ ψ Resulting Workflow D D D D α2 α 1 t s D α2 t α 1 s D α 2 t t 14 : Adapter Insertion t 15 : Actor Replacement f f t 16 : Workflow ombination (Map) f 1 f 2 f 1 f 2 Adapters for Semantic and Structural Incompatibility D D D Adapters may: be abstract (no impl.) 1 2 D 1 1 D D 2 D be concrete bridge a semantic gap fix a structural mismatch f 1 f [S] 2 f 1 S T [S][S ] map f 2 [T] f 1 f [[S]] 2 f 1 S T [[S]][[S ]] map map f 2 [[T]] be generated automatically (e.g., Taverna s list mismatch ) be reused components (based on signatures)
10 Applying the Replacement Primitive f D f D D D f general replacement unsafe replacement context-sensitive replacement ( wiggle room ) f D f D f D D D D, overlap (e.g., ) D,D overlap (e.g., D D ) (e.g., ) D D (e.g., D D ) General replacement doesn t consider surrounding connections ontext-sensitive replacement gives more wiggle room by tuning the actors semtypes based on connections Workflow Elaboration Adapter insertion, replacement, and search provide a powerful mechanism for workflow elaboration : 1. Given an initial, user specified set of connected abstract actors 2. Repeatedly search for replacement concrete actors (atomic and composite) 3. At each step, insert adapters when necessary 4. Allow user to select returned workflows to be combined
11 Super Rapid Prototyping: The Sparrow Family of Languages The Sparrow Family of Language Basic Idea: Have both Machine and Human readable syntax Sparrow-DL Description logic Sparrow-DTD Datatypes, variant of XML DTDs Sparrow-Annotate onfiguring concepts; linking datatypes and ontologies Sparrow-SWF KSW-Based MoML Metadata Sparrow-Rule Fancy stuff, like type constraints (a la unit types), function approximation, and misc. other constraints
12 The Sparrow Family of Languages Sparrow-DTD Sparrow-SWF Sparrow-DL Sparrow-Toolkit Operations w1 Author Author ISBN ASIN AMSQuote a1 a3 a4 p1:: [] p1:: p2:: int p1:: P2:: {price=, cond=, seller={ }} Sparrow-Toolkit (example) Operations Is w1 semantically and/or structurally well typed? What can be semantically connected to a3? Insert abstract adapter between a3 and a4 What can replace (e.g., implement) the adapter?
13 Future Steps: Adding a Hybrid-Type System to Kepler urrent and Future Implementation oncept-based Actor Search Implemented as proof-ofconcept About to undergo major revision Additional operations slated for next Kepler Release (data search, actor-based port search, etc.) Biggest hallenges Building/searching a repository Making changes to MoML (see KSW) GUI changes Ontology management Workflow omponents (MoML) urn ids Semantic Annotations instance expressions Ontologies (OWL) Default + Other
Workflow Exchange and Archival: The KSW File and the Kepler Object Manager. Shawn Bowers (For Chad Berkley & Matt Jones)
Workflow Exchange and Archival: The KSW File and the Shawn Bowers (For Chad Berkley & Matt Jones) University of California, Davis May, 2005 Outline 1. The 2. Archival and Exchange via KSW Files 3. Object
More informationWhere we are so far. Intro to Data Integration (Datalog, mediators, ) more to come (your projects!): schema matching, simple query rewriting
Where we are so far Intro to Data Integration (Datalog, mediators, ) more to come (your projects!): schema matching, simple query rewriting Intro to Knowledge Representation & Ontologies description logic,
More information2/12/11. Addendum (different syntax, similar ideas): XML, JSON, Motivation: Why Scientific Workflows? Scientific Workflows
Addendum (different syntax, similar ideas): XML, JSON, Python (a) Python (b) w/ dickonaries XML (a): "meta schema" JSON syntax LISP Source: h:p://en.wikipedia.org/wiki/json XML (b): "direct" schema Source:
More informationChapter 3 Research Method
Chapter 3 Research Method 3.1 A Ontology-Based Method As we mention in section 2.3.6, we need a common approach to build up our ontologies for different B2B standards. In this chapter, we present a ontology-based
More informationWorkflow Fault Tolerance for Kepler. Sven Köhler, Thimothy McPhillips, Sean Riddle, Daniel Zinn, Bertram Ludäscher
Workflow Fault Tolerance for Kepler Sven Köhler, Thimothy McPhillips, Sean Riddle, Daniel Zinn, Bertram Ludäscher Introduction Scientific Workflows Automate scientific pipelines Have long running computations
More informationKepler: An Extensible System for Design and Execution of Scientific Workflows
DRAFT Kepler: An Extensible System for Design and Execution of Scientific Workflows User Guide * This document describes the Kepler workflow interface for design and execution of scientific workflows.
More informationKepler Scientific Workflow and Climate Modeling
Kepler Scientific Workflow and Climate Modeling Ufuk Turuncoglu Istanbul Technical University Informatics Institute Cecelia DeLuca Sylvia Murphy NOAA/ESRL Computational Science and Engineering Dept. NESII
More informationThe Gigascale Silicon Research Center
The Gigascale Silicon Research Center The GSRC Semantics Project Tom Henzinger Luciano Lavagno Edward Lee Alberto Sangiovanni-Vincentelli Kees Vissers Edward A. Lee UC Berkeley What is GSRC? The MARCO/DARPA
More informationReducing Consumer Uncertainty
Spatial Analytics Reducing Consumer Uncertainty Towards an Ontology for Geospatial User-centric Metadata Introduction Cooperative Research Centre for Spatial Information (CRCSI) in Australia Communicate
More informationAutomatic Transformation from Geospatial Conceptual Workflow to Executable Workflow Using GRASS GIS Command Line Modules in Kepler *
Automatic Transformation from Geospatial Conceptual Workflow to Executable Workflow Using GRASS GIS Command Line Modules in Kepler * Jianting Zhang, Deana D. Pennington, and William K. Michener LTER Network
More informationScientific Workflows
Scientific Workflows Overview More background on workflows Kepler Details Example Scientific Workflows Other Workflow Systems 2 Recap from last time Background: What is a scientific workflow? Goals: automate
More informationSystem-Level Design Languages: Orthogonalizing the Issues
System-Level Design Languages: Orthogonalizing the Issues The GSRC Semantics Project Tom Henzinger Luciano Lavagno Edward Lee Alberto Sangiovanni-Vincentelli Kees Vissers Edward A. Lee UC Berkeley What
More informationAn Improving for Ranking Ontologies Based on the Structure and Semantics
An Improving for Ranking Ontologies Based on the Structure and Semantics S.Anusuya, K.Muthukumaran K.S.R College of Engineering Abstract Ontology specifies the concepts of a domain and their semantic relationships.
More informationContents Contents 1 Introduction Entity Types... 37
1 Introduction...1 1.1 Functions of an Information System...1 1.1.1 The Memory Function...3 1.1.2 The Informative Function...4 1.1.3 The Active Function...6 1.1.4 Examples of Information Systems...7 1.2
More informationISSN: Supporting Collaborative Tool of A New Scientific Workflow Composition
Abstract Supporting Collaborative Tool of A New Scientific Workflow Composition Md.Jameel Ur Rahman*1, Akheel Mohammed*2, Dr. Vasumathi*3 Large scale scientific data management and analysis usually relies
More informationScientific Workflow Tools. Daniel Crawl and Ilkay Altintas San Diego Supercomputer Center UC San Diego
Scientific Workflow Tools Daniel Crawl and Ilkay Altintas San Diego Supercomputer Center UC San Diego 1 escience Today Increasing number of Cyberinfrastructure (CI) technologies Data Repositories: Network
More informationInstitute of Automatics AGH University of Science and Technology, POLAND. Hybrid Knowledge Engineering.
Institute of Automatics AGH University of Science and Technology, POLAND Hybrid Knowledge Engineering http://hekate.ia.agh.edu.pl and the process and (AGH-UST) 1 / 57 Outline 1 2 3 4 and the process and
More informationFeatures and Requirements for an XML View Definition Language: Lessons from XML Information Mediation
Page 1 of 5 Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation 1. Introduction C. Baru, B. Ludäscher, Y. Papakonstantinou, P. Velikhov, V. Vianu XML indicates
More informationAdding formal semantics to the Web
Adding formal semantics to the Web building on top of RDF Schema Jeen Broekstra On-To-Knowledge project Context On-To-Knowledge IST project about content-driven knowledge management through evolving ontologies
More informationSemantic Web. Ontology Pattern. Gerd Gröner, Matthias Thimm. Institute for Web Science and Technologies (WeST) University of Koblenz-Landau
Semantic Web Ontology Pattern Gerd Gröner, Matthias Thimm {groener,thimm}@uni-koblenz.de Institute for Web Science and Technologies (WeST) University of Koblenz-Landau July 18, 2013 Gerd Gröner, Matthias
More informationA Knowledge-Based Approach to Scientific Workflow Composition
A Knowledge-Based Approach to Scientific Workflow Composition Russell McIver A thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Computer Science Cardiff
More informationMapping provenance in ontologies
Mapping provenance in ontologies František Jahoda FNSPE Czech Technical University Institute of Computer Science Academy of Sciences of the Czech Republic What is Provenance? from the French provenir,
More informationAccelerating the Scientific Exploration Process with Kepler Scientific Workflow System
Accelerating the Scientific Exploration Process with Kepler Scientific Workflow System Jianwu Wang, Ilkay Altintas Scientific Workflow Automation Technologies Lab SDSC, UCSD project.org UCGrid Summit,
More informationThe Open Group SOA Ontology Technical Standard. Clive Hatton
The Open Group SOA Ontology Technical Standard Clive Hatton The Open Group Releases SOA Ontology Standard To Increase SOA Adoption and Success Rates Ontology Fosters Common Understanding of SOA Concepts
More informationOpus: University of Bath Online Publication Store
Patel, M. (2004) Semantic Interoperability in Digital Library Systems. In: WP5 Forum Workshop: Semantic Interoperability in Digital Library Systems, DELOS Network of Excellence in Digital Libraries, 2004-09-16-2004-09-16,
More informationKEPLER: Overview and Project Status
KEPLER: Overview and Project Status Bertram Ludäscher ludaesch@ucdavis.edu Associate Professor Dept. of Computer Science & Genome Center University of California, Davis UC DAVIS Department of Computer
More informationReview Sources of Architecture. Why Domain-Specific?
Domain-Specific Software Architectures (DSSA) 1 Review Sources of Architecture Main sources of architecture black magic architectural visions intuition theft method Routine design vs. innovative design
More informationa paradigm for the Introduction to Semantic Web Semantic Web Angelica Lo Duca IIT-CNR Linked Open Data:
Introduction to Semantic Web Angelica Lo Duca IIT-CNR angelica.loduca@iit.cnr.it Linked Open Data: a paradigm for the Semantic Web Course Outline Introduction to SW Give a structure to data (RDF Data Model)
More informationDictionary Driven Exchange Content Assembly Blueprints
Dictionary Driven Exchange Content Assembly Blueprints Concepts, Procedures and Techniques (CAM Content Assembly Mechanism Specification) Author: David RR Webber Chair OASIS CAM TC January, 2010 http://www.oasis-open.org/committees/cam
More informationFramework specification, logical architecture, physical architecture, requirements, use cases.
Title: A5.2-D3 3.3.1 Alignment Editor Specification Editor(s)/Organisation(s): Thorsten Reitz (Fraunhofer IGD) Contributing Authors: Thorsten Reitz (Fraunhofer IGD), Marian de Vries (TUD) References: A1.8-D4
More informationA(nother) Vision of ppod Data Integration!?
Scientific Workflows: A(nother) Vision of ppod Data Integration!? Bertram Ludäscher Shawn Bowers Timothy McPhillips Dave Thau Dept. of Computer Science & UC Davis Genome Center University of California,
More information7 th International Digital Curation Conference December 2011
Golden Trail 1 Golden-Trail: Retrieving the Data History that Matters from a Comprehensive Provenance Repository Practice Paper Paolo Missier, Newcastle University, UK Bertram Ludäscher, Saumen Dey, Michael
More informationSUMMARY: MODEL DRIVEN SECURITY
SUMMARY: MODEL DRIVEN SECURITY JAN-FILIP ZAGALAK, JZAGALAK@STUDENT.ETHZ.CH Model Driven Security: From UML Models to Access Control Infrastructres David Basin, Juergen Doser, ETH Zuerich Torsten lodderstedt,
More informationWade Sheldon. Georgia Coastal Ecosystems LTER University of Georgia CUAHSI Virtual Workshop Field Data Management Solutions
Wade Sheldon Georgia Coastal Ecosystems LTER University of Georgia email: sheldon@uga.edu CUAHSI Virtual Workshop Field Data Management Solutions 01-Oct-2014 Georgia Coastal Ecosystems LTER started in
More informationModeling Requirements
Modeling Requirements Critical Embedded Systems Dr. Balázs Polgár Prepared by Budapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Dept. of Measurement and
More informationWeb Services Annotation and Reasoning
Web Services Annotation and Reasoning Mikhail Roshchin, PhD Student Peter Graubmann, Evelyn Pfeuffer CT SE 2, Siemens AG roshchin@gmail.com Motivation _ Current Problems Software Applications work with
More informationSliding Window Calculations on Streaming Data using the Kepler Scientific Workflow System
Available online at www.sciencedirect.com Procedia Computer Science 9 (2012 ) 1639 1646 International Conference on Computational Science, ICCS 2012 Sliding Window Calculations on Streaming Data using
More informationXML Systems & Benchmarks
XML Systems & Benchmarks Christoph Staudt Peter Chiv Saarland University, Germany July 1st, 2003 Main Goals of our talk Part I Show up how databases and XML come together Make clear the problems that arise
More informationChapter 8: Enhanced ER Model
Chapter 8: Enhanced ER Model Subclasses, Superclasses, and Inheritance Specialization and Generalization Constraints and Characteristics of Specialization and Generalization Hierarchies Modeling of UNION
More informationTable of Contents. iii
Current Web 1 1.1 Current Web History 1 1.2 Current Web Characteristics 2 1.2.1 Current Web Features 2 1.2.2 Current Web Benefits 3 1.2.3. Current Web Applications 3 1.3 Why the Current Web is not Enough
More informationSmart Open Services for European Patients. Work Package 3.5 Semantic Services Definition Appendix E - Ontology Specifications
24Am Smart Open Services for European Patients Open ehealth initiative for a European large scale pilot of Patient Summary and Electronic Prescription Work Package 3.5 Semantic Services Definition Appendix
More informationMDA & Semantic Web Services Integrating SWSF & OWL with ODM
MDA & Semantic Web Services Integrating SWSF & OWL with ODM Elisa Kendall Sandpiper Software March 30, 2006 Level Setting An ontology specifies a rich description of the Terminology, concepts, nomenclature
More informationUsing Web Services and Scientific Workflow for Species Distribution Prediction Modeling 1
WAIM05 Using Web Services and Scientific Workflow for Species Distribution Prediction Modeling 1 Jianting Zhang, Deana D. Pennington, and William K. Michener LTER Network Office, the University of New
More informationD WSMO Data Grounding Component
Project Number: 215219 Project Acronym: SOA4All Project Title: Instrument: Thematic Priority: Service Oriented Architectures for All Integrated Project Information and Communication Technologies Activity
More informationArchitecture domain. Leonardo Candela. DL.org Autumn School Athens, 3-8 October th October 2010
Architecture domain Leonardo Candela 6 th Lecture outline What is the Architecture Architecture domain in the Reference Model Architecture domain interoperability Hands-on Time 2 Architecture Oxford American
More informationReducing Consumer Uncertainty Towards a Vocabulary for User-centric Geospatial Metadata
Meeting Host Supporting Partner Meeting Sponsors Reducing Consumer Uncertainty Towards a Vocabulary for User-centric Geospatial Metadata 105th OGC Technical Committee Palmerston North, New Zealand Dr.
More informationUC Berkeley Mobies Technology Project
UC Berkeley Mobies Technology Project Process-Based Software Components for Networked Embedded Systems PI: Edward Lee CoPI: Tom Henzinger Heterogeneous Modeling Discrete-Event RAM mp I/O DSP DXL ASIC Hydraulic
More informationBridging the Gap between Semantic Web and Networked Sensors: A Position Paper
Bridging the Gap between Semantic Web and Networked Sensors: A Position Paper Xiang Su and Jukka Riekki Intelligent Systems Group and Infotech Oulu, FIN-90014, University of Oulu, Finland {Xiang.Su,Jukka.Riekki}@ee.oulu.fi
More informationExtension and integration of i* models with ontologies
Extension and integration of i* models with ontologies Blanca Vazquez 1,2, Hugo Estrada 1, Alicia Martinez 2, Mirko Morandini 3, and Anna Perini 3 1 Fund Information and Documentation for the industry
More informationSemantic Web. Tahani Aljehani
Semantic Web Tahani Aljehani Motivation: Example 1 You are interested in SOAP Web architecture Use your favorite search engine to find the articles about SOAP Keywords-based search You'll get lots of information,
More informationWeb Ontology Language for Service (OWL-S) The idea of Integration of web services and semantic web
Web Ontology Language for Service (OWL-S) The idea of Integration of web services and semantic web Introduction OWL-S is an ontology, within the OWL-based framework of the Semantic Web, for describing
More informationUsing ontologies function management
for Using ontologies function management Caroline Domerg, Juliette Fabre and Pascal Neveu 22th July 2010 O. Corby C.Faron-Zucker E.Gennari A. Granier I. Mirbel V. Negre A. Tireau Semantic Web tools Ontology
More informationThe Formal Syntax and Semantics of Web-PDDL
The Formal Syntax and Semantics of Web-PDDL Dejing Dou Computer and Information Science University of Oregon Eugene, OR 97403, USA dou@cs.uoregon.edu Abstract. This white paper formally define the syntax
More informationThe OWL API: An Introduction
The OWL API: An Introduction Sean Bechhofer and Nicolas Matentzoglu University of Manchester sean.bechhofer@manchester.ac.uk OWL OWL allows us to describe a domain in terms of: Individuals Particular objects
More informationCompositional Model Based Software Development
Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability
More informationDesign Process Overview. At Each Level of Abstraction. Design Phases. Design Phases James M. Bieman
CS314, Colorado State University Software Engineering Notes 4: Principles of Design and Architecture for OO Software Focus: Determining the Overall Structure of a Software System Describes the process
More informationAutomatic Annotation of Web Services based on Workflow Definitions
Automatic Annotation of Web Services based on Workflow Definitions Khalid Belhajjame, Suzanne M. Embury, Norman W. Paton, Robert Stevens, and Carole A. Goble School of Computer Science University of Manchester
More informationModel driven Engineering & Model driven Architecture
Model driven Engineering & Model driven Architecture Prof. Dr. Mark van den Brand Software Engineering and Technology Faculteit Wiskunde en Informatica Technische Universiteit Eindhoven Model driven software
More informationArmy Data Services Layer (ADSL) Data Mediation Providing Data Interoperability and Understanding in a
Army Data Services Layer (ADSL) Data Mediation Providing Data Interoperability and Understanding in a SOA Environment Michelle Dirner Army Net-Centric t Data Strategy t (ANCDS) Center of Excellence (CoE)
More informationAlexander Haffner. RDA and the Semantic Web
Alexander Haffner RDA and the Semantic Web 1 Internationalisation and Interoperability interoperability of information and library systems internationalisation in descriptive cataloguing and subject cataloguing
More informationData Integration and Data Warehousing Database Integration Overview
Data Integration and Data Warehousing Database Integration Overview Sergey Stupnikov Institute of Informatics Problems, RAS ssa@ipi.ac.ru Outline Information Integration Problem Heterogeneous Information
More informationThe Ptolemy II Framework for Visual Languages
The Ptolemy II Framework for Visual Languages Xiaojun Liu Yuhong Xiong Edward A. Lee Department of Electrical Engineering and Computer Sciences University of California at Berkeley Ptolemy II - Heterogeneous
More informationModel Driven Dynamic Composition of Web Services Flow for Business Process Integration
OMG s 2nd Workshop On Web Services Modeling, Architectures, Infrastructures And Standards Model Driven Dynamic Composition of Web Services Flow for Business Process Integration Liang-Jie Zhang, Jen-Yao
More informationRaising the Level of Development: Models, Architectures, Programs
IBM Software Group Raising the Level of Development: Models, Architectures, Programs Dr. James Rumbaugh IBM Distinguished Engineer Why Is Software Difficult? Business domain and computer have different
More informationSemantic Interoperability of Dublin Core Metadata in Digital Repositories
Semantic Interoperability of Dublin Core Metadata in Digital Repositories Dimitrios A. Koutsomitropoulos, Georgia D. Solomou, Theodore S. Papatheodorou, member IEEE High Performance Information Systems
More informationHistorization and Versioning of DDI-Lifecycle Metadata Objects
Historization and Versioning of DDI-Lifecycle Metadata Objects Findings in the STARDAT Project 5rd Annual European DDI Users Group Meeting Paris, 03.-04.12.2013 Alexander Mühlbauer GESIS Leibniz Institute
More informationAutomatic Generation of Workflow Provenance
Automatic Generation of Workflow Provenance Roger S. Barga 1 and Luciano A. Digiampietri 2 1 Microsoft Research, One Microsoft Way Redmond, WA 98052, USA 2 Institute of Computing, University of Campinas,
More information0.1 Upper ontologies and ontology matching
0.1 Upper ontologies and ontology matching 0.1.1 Upper ontologies Basics What are upper ontologies? 0.1 Upper ontologies and ontology matching Upper ontologies (sometimes also called top-level or foundational
More information358 cardinality 18, 55-57, 62, 65, 71, 75-76, 85, 87, 99, 122, 129, , 140, 257, , , 295, categorization 18, 26, 56, 71, 7
4GL 6 access path 8, 24, 35, 38, 88, 99-110, 114, 170, 176, 199, 203-204, 208 active class 270, 317, 323-324, 326, 337 database 315, 321 generalization 322-324 rule 317, 320-321 ADABAS 16 aggregation 18,
More informationUpdate on 3R Project (RDA Toolkit Restructure and Redesign Project)
Update on 3R Project (RDA Toolkit Restructure and Redesign Project) James Hennelly, Director, RDA Toolkit Judith Kuhagen, 3R Project Consultant RDA Forum ALA Annual Conference June 24, 2017 Why? Restructuring
More informationLinked Data and RDF. COMP60421 Sean Bechhofer
Linked Data and RDF COMP60421 Sean Bechhofer sean.bechhofer@manchester.ac.uk Building a Semantic Web Annotation Associating metadata with resources Integration Integrating information sources Inference
More informationA Collaborative User-centered Approach to Fine-tune Geospatial
A Collaborative User-centered Approach to Fine-tune Geospatial Database Design Grira Joel Bédard Yvan Sboui Tarek 16 octobre 2012 6th International Workshop on Semantic and Conceptual Issues in GIS - SeCoGIS
More informationScientific Workflow, Provenance, and Data Modeling Challenges and Approaches
Noname manuscript No. (will be inserted by the editor) Scientific Workflow, Provenance, and Data Modeling Challenges and Approaches Shawn Bowers Received: date / Accepted: date Abstract Semantic modeling
More informationINTRODUCTION Background of the Problem Statement of the Problem Objectives of the Study Significance of the Study...
vii TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION... ii DEDICATION... iii ACKNOWLEDGEMENTS... iv ABSTRACT... v ABSTRAK... vi TABLE OF CONTENTS... vii LIST OF TABLES... xii LIST OF FIGURES... xiii LIST
More informationedify Requirements for Evidence-based Templates in Electronic Case Report Forms Marco Schweitzer, Stefan Oberbichler
edify Requirements for Evidence-based Templates in Electronic Case Report Forms Marco Schweitzer, Stefan Oberbichler ehealth Research and Innovation Unit, UMIT - University for Health Sciences, Medical
More informationIBM Research Report. Overview of Component Services for Knowledge Integration in UIMA (a.k.a. SUKI)
RC24074 (W0610-047) October 10, 2006 Computer Science IBM Research Report Overview of Component Services for Knowledge Integration in UIMA (a.k.a. SUKI) David Ferrucci, J. William Murdock, Christopher
More informationAn Archiving System for Managing Evolution in the Data Web
An Archiving System for Managing Evolution in the Web Marios Meimaris *, George Papastefanatos and Christos Pateritsas * Institute for the Management of Information Systems, Research Center Athena, Greece
More informationProvenance Information in the Web of Data
Provenance Information in the Web of Data Olaf Hartig Humboldt-Universität zu Berlin http://olafhartig.de/foaf.rdf#olaf Provenance of a data item: information about the history 2 Provenance of a data item:
More informationAutomated Visualization Support for Linked Research Data
Automated Visualization Support for Linked Research Data Belgin Mutlu 1, Patrick Hoefler 1, Vedran Sabol 1, Gerwald Tschinkel 1, and Michael Granitzer 2 1 Know-Center, Graz, Austria 2 University of Passau,
More informationWorkshop: Practice of CRM-Based Data Integration
Workshop: Practice of CRM-Based Data Integration George Bruseker, Achille Felicetti, Mark Fichtner, Franco Niccolluci CIDOC 2017 Tblisi, Georgia 25/09/2017 George Bruseker Achille Felicetti Mark Fichtner
More informationOntology Links in the Distributed Ontology Language (DOL)
Ontology Links in the Distributed Ontology Language (DOL) Oliver Kutz 1, Christoph Lange 1, Till Mossakowski 1,2 1 SFB/TR 8 Spatial cognition, University of Bremen, Germany 2 DFKI GmbH, Bremen, Germany
More informationBridging Versioning and Adaptive Hypermedia in the Dynamic Web
Bridging Versioning and Adaptive Hypermedia in the Dynamic Web Evgeny Knutov, Mykola Pechenizkiy, Paul De Bra Eindhoven University of Technology, Department of Computer Science PO Box 513, NL 5600 MB Eindhoven,
More informationEvolution of XML Applications
Evolution of XML Applications University of Technology Sydney, Australia Irena Mlynkova 9.11. 2011 XML and Web Engineering Research Group Department of Software Engineering Faculty of Mathematics and Physics
More informationER-to-Relational Mapping
Lecture 9 1 1. Context 2. The Algorithm Outline 2 Database Design and Implementation Process 3 Data Models 4 Example ERD 5 Resulting Relational Schema 6 Step 1: Regular Entity Types i. For each regular/strong
More informationXML Metadata Standards and Topic Maps
XML Metadata Standards and Topic Maps Erik Wilde 16.7.2001 XML Metadata Standards and Topic Maps 1 Outline what is XML? a syntax (not a data model!) what is the data model behind XML? XML Information Set
More informationKepler/pPOD: Scientific Workflow and Provenance Support for Assembling the Tree of Life
Kepler/pPOD: Scientific Workflow and Provenance Support for Assembling the Tree of Life Shawn Bowers 1, Timothy McPhillips 1, Sean Riddle 1, Manish Anand 2, Bertram Ludäscher 1,2 1 UC Davis Genome Center,
More informationCOMP718: Ontologies and Knowledge Bases
1/35 COMP718: Ontologies and Knowledge Bases Lecture 9: Ontology/Conceptual Model based Data Access Maria Keet email: keet@ukzn.ac.za home: http://www.meteck.org School of Mathematics, Statistics, and
More informationA GML SCHEMA MAPPING APPROACH TO OVERCOME SEMANTIC HETEROGENEITY IN GIS
A GML SCHEMA MAPPING APPROACH TO OVERCOME SEMANTIC HETEROGENEITY IN GIS Manoj Paul, S. K. Ghosh School of Information Technology, Indian Institute of Technology, Kharagpur 721302, India - (mpaul, skg)@sit.iitkgp.ernet.in
More information1. CONCEPTUAL MODEL 1.1 DOMAIN MODEL 1.2 UML DIAGRAM
1 1. CONCEPTUAL MODEL 1.1 DOMAIN MODEL In the context of federation of repositories of Semantic Interoperability s, a number of entities are relevant. The primary entities to be described by ADMS are the
More informationSemantic Web. Ontology Engineering and Evaluation. Morteza Amini. Sharif University of Technology Fall 95-96
ه عا ی Semantic Web Ontology Engineering and Evaluation Morteza Amini Sharif University of Technology Fall 95-96 Outline Ontology Engineering Class and Class Hierarchy Ontology Evaluation 2 Outline Ontology
More informationReproducible & Transparent Computational Science with Galaxy. Jeremy Goecks The Galaxy Team
Reproducible & Transparent Computational Science with Galaxy Jeremy Goecks The Galaxy Team 1 Doing Good Science Previous talks: performing an analysis setting up and scaling Galaxy adding tools libraries
More informationUML Fundamental. OutLine. NetFusion Tech. Co., Ltd. Jack Lee. Use-case diagram Class diagram Sequence diagram
UML Fundamental NetFusion Tech. Co., Ltd. Jack Lee 2008/4/7 1 Use-case diagram Class diagram Sequence diagram OutLine Communication diagram State machine Activity diagram 2 1 What is UML? Unified Modeling
More informationExperience in Using a Process Language to Define Scientific Workflow and Generate Dataset Provenance
Experience in Using a Process Language to Define Scientific Workflow and Generate Dataset Provenance Leon J. Osterweil 1, Lori A. Clarke 1, Aaron Ellison 2, Rodion Podorozhny 3, Alexander Wise 1, Emery
More informationWorkpackage 15: DBE Business Modeling Language. Deliverable D15.5: BML Editor Final Release
Contract n 507953 Workpackage 15: DBE Business Modeling Language Deliverable D15.5: BML Editor Final Release Project funded by the European Community under the Information Society Technology Programme
More informationDynamic, Rule-based Quality Control Framework for Real-time Sensor Data
Dynamic, Rule-based Quality Control Framework for Real-time Sensor Data Wade Sheldon Georgia Coastal Ecosystems LTER University of Georgia Introduction Quality Control of high volume, real-time data from
More informationComponent-Based Design of Embedded Control Systems
Component-Based Design of Embedded Control Systems Edward A. Lee & Jie Liu UC Berkeley with thanks to the entire Berkeley and Boeing SEC teams SEC PI Meeting Annapolis, May 8-9, 2001 Precise Mode Change
More informationFIBO Metadata in Ontology Mapping
FIBO Metadata in Ontology Mapping For Open Ontology Repository OOR Metadata Workshop VIII 02 July 2013 Copyright 2010 EDM Council Inc. 1 Overview The Financial Industry Business Ontology Introduction FIBO
More informationUsing RDF to Model the Structure and Process of Systems
Using RDF to Model the Structure and Process of Systems Marko A. Rodriguez Jennifer H. Watkins Johan Bollen Los Alamos National Laboratory {marko,jhw,jbollen}@lanl.gov Carlos Gershenson New England Complex
More informationThe HMatch 2.0 Suite for Ontology Matchmaking
The HMatch 2.0 Suite for Ontology Matchmaking S. Castano, A. Ferrara, D. Lorusso, and S. Montanelli Università degli Studi di Milano DICo - Via Comelico, 39, 20135 Milano - Italy {castano,ferrara,lorusso,montanelli}@dico.unimi.it
More informationEDEN An Epigraphic Web Database of Ancient Inscriptions
EDEN An Epigraphic Web Database of Ancient Inscriptions Martin Scholz (FAU Erlangen-Nürnberg) 21.04.2016 Outline Goals, Content, and Structure of EDEN Online Database Semantic Modelling Annotating Text
More information