<is web> Information Systems & Semantic Web University of Koblenz Landau, Germany
|
|
- Lilian Chase
- 6 years ago
- Views:
Transcription
1 Information Systems University of Koblenz Landau, Germany Joint Metamodels for UML and OWL
2 Ontologies & Software Tech: Starting IST Institute for Software OWL Model theory MDA Fernando Parreiras Metamodeling RDF Semantics UML Ontologies F-Logic Well-founded semantics XMI Andreas Winter Grammar 2of 48
3 IST Institute for Software OWL Model theory MDA Fernando Parreiras Metamodeling RDF Semantics UML Ontologies F-Logic Well-founded semantics XMI Andreas Winter Grammar 3of 48
4 IST Institute for Software OWL Model theory MDA Fernando Parreiras Metamodeling RDF Semantics QVT F-Logic Ontologies Well-founded semantics It s the process! XMI Andreas Winter UML Grammar 4of 48
5 Agenda of this Talk Model-driven Engineering Ontology A Use Case of Ontology Technology in MDE Joint Metamodels Case 1: Use Ontology Technology in a Design Pattern Case 2: Using MDE for Translating between Ontologies 5of 48
6 Model-driven Architecture MDA is an instance of Model-Driven Engineering Transformations: Adapt to the target platform Add additional modeling UML UML JAVA PIM PSM Code Classical MDA 6of 48
7 Agenda of this Talk Model-driven Engineering Ontology A Use Case of Ontology Technology in MDE Joint Metamodels Case 1: Use Ontology Technology in a Design Pattern Case 2: Using MDE for Translating between Ontologies 7of 48
8 Definition: What is an ontology? (in computer science) Based on Gruber 93: An Ontology is a formal specification of a shared conceptualization of a domain of interest Executable, Discussable Group of persons About concepts Between application and unique truth 8of 48
9 Purpose: What is an ontology? To make domain assumptions explicit Easier to change domain assumptions Easier to understand and update legacy data To separate domain knowledge from operational knowledge Re-use domain and operational knowledge separately A community reference for applications To share a consistent understanding of what information means 9of 48
10 Usage: What is an ontology? Thesauri Topic Maps Front-End Taxonomies Navigation Information Retrieval Query Expansion Sharing of Knowledge Queries Ontologies Mediation EAI Semantic Networks Consistency Checking Reasoning Extended ER-Models Predicate Logic Back-End 10 of 48
11 Formality: What is an ontology? Ad-hoc Hierarchies Text (Yahoo!) Corpora Glossaries lightweight XML DTDs DB Schema Data Models (UML, STEP) Frames (OKBC) F-Logic heavyweight Folksonomies Data Dictionaries (EDI) Thesauri Principled Informal Hierarchies XML Schema Formal Taxonomies Description Logics First-order, Higher-order, Modal Logic Glossaries & Data Dictionaries Thesauri, Taxonomies MetaData, XML Schemas, Data Models Formal Ontologies & Inference 11 of 48
12 Example: What is an ontology? Foundational Model of Anatomy Represents structures ranging from macromolecular complexes to body parts Contains ~70,000 distinct concepts ~ 110,000 terms 140 relations Metaclasses to define class-level properties Attributed relations Different types of part-whole, location, and other spatial relations Synonyms 12 of 48
13 Agenda of this Talk Model-driven Engineering Ontology A Use Case of Ontology Technology in MDE Joint Metamodels Case 1: Use Ontology Technology in a Design Pattern Case 2: Using MDE for Translating between Ontologies 13 of 48
14 MDA & Ontology Case: Model Checking Reasoning on UML class diagrams OWL Translation UML UML JAVA PIM PSM Code Classical MDA 14 of 48
15 Model Checking Reasoning on UML class diagrams allows for checking: Consistency of the diagram: Can the classes be populated? Classification to identify the possible omission of an explicit generalization. Equivalence among classes to discover redundancy. Refinement of properties to apply stricter multiplicities or typing than the ones explicitly specified in the diagram. 15 of 48
16 Model Checking: Example UserAccount 0..n 1 INCONSISTENT Owns WebPortalAccount 0..1 Uses 1..n User {complete, disjoint} Researcher Every WebPortalAccount is used by at most one Researcher if Researcher is empty, User and Student will be redundant Student Researcher is disjoint from Student 16 of 48
17 Model Checking: Example UserAccount 0..n 1 INCONSISTENT Owns User Uses {complete, disjoint} WebPortalAccount n Researcher Student Advantage for SE: Models with provably higher quality 17 of 48
18 Agenda of this Talk Model-driven Engineering Ontology A Use Case of Ontology Technology in MDE Joint Metamodels: TWOUSE Case 1: Use Ontology Technology in a Design Pattern Case 2: Using MDE for Translating between Ontologies 18 of 48
19 Structure: Metamodels TWOUSE: Transforming and Weaving Ontologies and UML for Software Engineering 19 of 48
20 TwoUse Models (excerpt) Classifier M2 DataType Class AnyType OWLClass TUClass M1 InstanceOf OclAny ocliskindof() oclistypeof() CustomerFromEUCountry Product OwlAny owlisinstanceof() PuchaseOrder getcharges() context PurchaseOrder::getCharges() : Real body: if self.owlisinstanceof(dutyfreeorder) then 0.00 else 0.60 endif} 20 of 48
21 Agenda of this Talk Model-driven Engineering Ontology A Use Case of Ontology Technology in MDE Joint Metamodels: TWOUSE Case 1: Use Ontology Technology in a Design Pattern Case 2: Using MDE for Translating between Ontologies 21 of 48
22 Running Example: E-Commerce Shop 7% 7% 7% 22 of 48
23 Running Example: E-Commerce Shop 35% 19% 5% Free trade zones 23 of 48
24 Hybrid Model: Example UML +hascustomer FreeTradeZone 1..n 1 0..n Customer +hasorder +memberoftradezone +has Resident +hasmember Country +livesin UML 1 Purchase Order getcharges() +hasproduct Product Name: String 24 of 48
25 Hybrid Model: Example OWL +hascustomer FreeTradeZone 1..n 1 0..n Customer +hasorder +memberoftradezone +has Resident +hasmember Country +livesin 1 Purchase Order getcharges() <<owlrestriction>> CountryFromEU <<owlvalue>> {hasvalue = eu} memberoftradezone : FreeTradeZone <<owlvalue>> +{somevaluesfrom = CountryFromEU} livesin ISWeb - Information <<owlrestriction>> Systems CustomerFromEUCountry <<owlrestriction>> DutyFreeOrder DutyFreeOrder <<equivalentclass>> = OrderFromEUCustomer <<owlrestriction>> OrderFromEUCustomers <<owlvalue>> +{somevaluesfrom= OrdersFromEUCustomers CustomersFromACountry hascustomer SOME} hascustomer 25 of 48 CustomerFromEUCountries OWL (ODM)
26 Hybrid Model: Example TwoUse TwoUse <<ocldlexpression>> {context PurchaseOrder::getCharges() : Real body: if self.isowlinstanceof(dutyfreeorder) then 0% else 60% endif} FreeTradeZone Country Customer UML Purchase Order getcharges() Product Name: String <<owlrestriction>> CountryFromEU <<owlvalue>> {hasvalue = eu} memberoftradezone : FreeTradeZone <<owlvalue>> +{somevaluesfrom = CountryFromEU} livesin ISWeb - Information <<owlrestriction>> Systems CustomerFromEUCountry <<owlrestriction>> DutyFreeOrder <<equivalentclass>> <<owlrestriction>> OrderFromEUCustomer <<owlvalue>> +{somevaluesfrom= CustomerFromACountry } hascustomer 26 of 48 OWL
27 OCL-DL in TWOUSE Co-generation of OWL models from UML Generation & OCL-DL OWL Java calls to reasoner UML PIM UML PSM JAVA Code Classical MDA 27 of 48
28 Transformation Process UML Metamodel Metamodel Grammar Ontology Abstract Syntax M2 M1 TwoUse Metamodel UML TwoUse OWL Metamodel InstanceOf OWL Java Metamodel Java 3. Java OWL 1. Concrete Syntax UML Profiled 4TwoUse UML Profiled 4 OWL UML Profiled 4Java Java Reasoner API PIM PSM PSM Source Code OWL RDF XML Syntax 28 of 48
29 OCL-DL can do more! OCL-DL Queries OWL UML PIM UML PSM JAVA Code Classical MDA 29 of 48
30 OCL-DL Example TwoUse <<ocldlexpression>> {context PurchaseOrder::getCharges() : Real body: if self.isowlinstanceof(dutyfreeorder) then 0.00 else 0.60 endif} memberoftradezone <<owlclass>> FreeTradeZone +hasmember <<owlclass>> 2..n Country name : String +hasresident +livesin 1 1..n <<owlclass>> Customer +hasorder <<owlclass>> +hascustomer 0..n PurchaseOrder 1 getcharges() 1..n UML 1..n Product name : String +hasproduct <<owlclass>> DutyFreeOrder <<owlrestriction>> CountriesFromEU <<owlvalue>> {hasvalue = eu} memberoftradezone : FreeTradeZone <<owlvalue>> +{somevaluesfrom = CountriesFromEU } livesin <<equivalentclass>> <<owlrestriction>> OrdersFromEUCustomers OWL <<owlrestriction>> CustomersFromEUCountries <<owlvalue>> +{somevaluesfrom= CustomersFromACountry } hascustomer self.owlisinstanceof(dutyfreeorder) self.owlalltypes() self.owlallinstances() Type (?self, DutyFreeOrder) Type (?self,?x) Type (?self,?x), Type (?y,?x) 30 of 48
31 Summary of OCL-DL Dialect of OCL Specification of Queries Invariants Guards OCL Library with new operations owlisinstanceof(typespec: OclType) owlalltypes() owlallinstances() OWL Support OWL-DL OWL2, DL Rules 31 of 48
32 Agenda of this Talk Model-driven Engineering Ontology A Use Case of Ontology Technology in MDE Joint Metamodels Case 1: Use Ontology Technology in a Design Pattern Case 2: Using MDE for Translating between Ontologies 32 of 48
33 UseCase2: Using MDE for Translating between Ontologies Translation of ontology datasets Input Translation Semantic F-Logic Lexical + Ontobroker Syntactic, MBOTL Lexical SPARQL (Java) + Semantic Jena(Java) Output 33 of 48
34 State of the Art: Neon Toolkit Input Output visual mapping of ontologies Plug-ins must be written separately 34 of 48
35 Problem Layers Semantic { Syntactic { Lexical { Input InBook Chapter gmonth title Tools SPARQL F-Logic Jena Ontobroker (Java) (Java) Output Inbook String uppercase(title) MDA Modeling PIM Transf. Code A PIM focus on the operation of a system and hides the details necessary for a particular platform (MDA Guide) All three layers are platform independent Problem: Why to use two languages? Instead of general purpose programming language, specific language? 35 of 48
36 The MBOTL Solution MDA Modeling Layers Semantic { Syntactic { Lexical { Input InBook Chapter gmonth title Output } uppercase(title) Inbook String mbotl: PIM Transformation or f-logic java sparql jena Advantages: Productivity: focus on business and not on platform details Portability: Same PIM can be automatically transformed into multiple PSMs for different platforms Maintenance: higher level of abstraction than code (MDA) 36 of 48
37 Addressing the Semantic Layer Usage of OCL-like expressions to formulate queries. Concrete Syntax of a Ontology Translation Rule: 37 of 48
38 Addressing the syntax and lexical layers Application of predefined operations or helpers Unified Representation 38 of 48
39 Metamodel Reference Layer (EU STReP MOST) MBOTL Extension 39 of 48
40 Translation Process ATL Model Transformation ATL Model Transformation mbotl.ecore Platform Independent Model java.ecore sparql.ecore Platform Specific Model query.java builtins.java Code Jena Framework Target Ontology Source Ontology 40 of 48
41 Screenshot: Editing a MBOTL Translation 41 of 48
42 Screenshot: Generated SPARQL Model 42 of 48
43 Screenshot: Java Code with Jena API 43 of 48
44 Screenshot: Java Code of Built-In 44 of 48
45 Summary of Case 2 MBOTL provides an unified language to model different layers of ontology dataset translation problems. At semantic level: OCL as query language. At syntactic and lexical levels: OCL predefined operations and user-defined helpers. Improvements: productivity, portability, maintenance. Implementation: Eclipse, ATL Transformation Language, Jena. Future Work: plug-in, SPARQL-like syntax, evaluation. Download and test: isweb.uni-koblenz.de/research/mbotl 45 of 48
46 Conclusion Joint metamodels allow for joint querying of UML & OWL provide synchronized reasoning calls extend the power of UML with UWL extend the power of SPARQL (or other ontology services) by programming language competencies 46 of 48
47 Information Systems Thank You! University of Koblenz Landau, Germany Fernando Silva Parreiras,, Andreas Winter: Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy. in Modellierung 2008, März 2008, Berlin GI. LNI Fernando Silva Parreiras,, Simon Schenk, Andreas Winter: Model Driven Specification of Ontology Translations. In: Conceptual Modeling - ER 2008, 27th International Conference on Conceptual Modeling, Springer. Fernando Silva Parreiras,, Andreas Winter: On Marrying Ontological and Metamodeling Technical Spaces ACM Press. Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Fernando Silva Parreiras,, Andreas Winter: TwoUse: Integrating UML Models and OWL Ontologies. Universität Koblenz-Landau, Fachbereich Informatik Arbeitsbericht.
48 Expressiveness of OCL, UML and DLs FOL OCL n-ary relations, functional dependencies on n-ary relations, and identification constraints on concepts DLRifd (UML Class Diagrams) limited complex role inclusion, ALCQI reflexivity and irreflexivity, role disjointness qualified cardinality restrictions DL-Lite cardinality restrictions role hierarchy nominals SHOIN(D) (OWL-DL) transitive properties SROIQ(D) (OWL 2) 48 of 48
49 OCL-DL Dialect FOL OCL-DL OCL n-ary relations, functional dependencies on n-ary relations, and identification constraints on concepts DLRifd (UML Class Diagrams) limited complex role inclusion, ALCQI reflexivity and irreflexivity, role disjointness qualified cardinality restrictions DL-Lite cardinality restrictions role hierarchy nominals SHOIN(D) (OWL-DL) transitive properties SROIQ(D) (OWL 2) 49 of 48
Integrating TwoUse and OCL- DL
Integrating TwoUse and OCL- DL Studienarbeit in computer science presented by David Saile Advisor: Fernando Silva Parreiras, FB4 Koblenz, january 2010 Contents 1 Introduction...................................................
More informationSemantic Model-driven Engineering
Web Science & Technologies University of Koblenz Landau, Germany Semantic Model-driven Engineering with Gerd Gröner, Fernando Silva Parreiras, Tobias Walter Who we are Prof. Dr. Staab Prof. Dr. Sure Semantic
More informationBLU AGE 2009 Edition Agile Model Transformation
BLU AGE 2009 Edition Agile Model Transformation Model Driven Modernization for Legacy Systems 1 2009 NETFECTIVE TECHNOLOGY -ne peut être copiésans BLU AGE Agile Model Transformation Agenda Model transformation
More informationModel Driven Engineering with Ontology Technologies
Model Driven Engineering with Ontology Technologies Steffen Staab, Tobias Walter, Gerd Gröner, and Fernando Silva Parreiras Institute for Web Science and Technology, University of Koblenz-Landau Universitätsstrasse
More informationSemantic Business Process Management Lecture 5 Semantic Technologies I OMG Ontology Definition Metamodel
Arbeitsgruppe Semantic Business Process Management Lecture 5 Semantic Technologies I OMG Ontology Definition Metamodel Prof. Dr. Adrian Paschke Corporate Semantic Web (AG-CSW) Institute for Computer Science,
More informationOWL and tractability. Based on slides from Ian Horrocks and Franz Baader. Combining the strengths of UMIST and The Victoria University of Manchester
OWL and tractability Based on slides from Ian Horrocks and Franz Baader Where are we? OWL Reasoning DL Extensions Scalability OWL OWL in practice PL/FOL XML RDF(S)/SPARQL Practical Topics Repetition: DL
More informationPresented By Aditya R Joshi Neha Purohit
Presented By Aditya R Joshi Neha Purohit Pellet What is Pellet? Pellet is an OWL- DL reasoner Supports nearly all of OWL 1 and OWL 2 Sound and complete reasoner Written in Java and available from http://
More informationModel Driven Engineering (MDE)
Model Driven Engineering (MDE) Yngve Lamo 1 1 Faculty of Engineering, Bergen University College, Norway 26 April 2011 Ålesund Outline Background Software Engineering History, SE Model Driven Engineering
More informationSemantic Model-driven Engineering
Web Science & Technologies University of Koblenz Landau, Germany Semantic Model-driven Engineering Acknowledgements to students and colleagues@most project http://most-project.eu New level in Software
More informationThe Model-Driven Semantic Web Emerging Standards & Technologies
The Model-Driven Semantic Web Emerging Standards & Technologies Elisa Kendall Sandpiper Software March 24, 2005 1 Model Driven Architecture (MDA ) Insulates business applications from technology evolution,
More informationComputation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):
viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information
More informationAutomation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1
Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Dhirubhai Ambani Institute for Information and Communication Technology, Gandhinagar, Gujarat, India Email:
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 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 informationExtracting knowledge from Ontology using Jena for Semantic Web
Extracting knowledge from Ontology using Jena for Semantic Web Ayesha Ameen I.T Department Deccan College of Engineering and Technology Hyderabad A.P, India ameenayesha@gmail.com Khaleel Ur Rahman Khan
More informationTOWARDS ONTOLOGY DEVELOPMENT BASED ON RELATIONAL DATABASE
TOWARDS ONTOLOGY DEVELOPMENT BASED ON RELATIONAL DATABASE L. Ravi, N.Sivaranjini Department of Computer Science, Sacred Heart College (Autonomous), Tirupattur. { raviatshc@yahoo.com, ssk.siva4@gmail.com
More informationModel transformations. Overview of DSLE. Model transformations. Model transformations. The 4-layer architecture
Overview of DSLE Model driven software engineering g in general Grammars, signatures and meta-models DSL Design Code generation Models increase the level of abstraction used for both hardware and software
More informationMain topics: Presenter: Introduction to OWL Protégé, an ontology editor OWL 2 Semantic reasoner Summary TDT OWL
1 TDT4215 Web Intelligence Main topics: Introduction to Web Ontology Language (OWL) Presenter: Stein L. Tomassen 2 Outline Introduction to OWL Protégé, an ontology editor OWL 2 Semantic reasoner Summary
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 informationIntroduction to Protégé. Federico Chesani, 18 Febbraio 2010
Introduction to Protégé Federico Chesani, 18 Febbraio 2010 Ontologies An ontology is a formal, explicit description of a domain of interest Allows to specify: Classes (domain concepts) Semantci relation
More informationSEMANTIC WEB AND MODEL-DRIVEN ENGINEERING
SEMANTIC WEB AND MODEL-DRIVEN ENGINEERING IEEE Press 445 Hoes Lane Piscataway, NJ 08854 IEEE Press Editorial Board Lajos Hanzo, Editor in Chief R. Abhari M. El-Hawary O. P. Malik J. Anderson B-M. Haemmerli
More informationOntologies and OWL. Riccardo Rosati. Knowledge Representation and Semantic Technologies
Knowledge Representation and Semantic Technologies Ontologies and OWL Riccardo Rosati Corso di Laurea Magistrale in Ingegneria Informatica Sapienza Università di Roma 2016/2017 The Semantic Web Tower Ontologies
More informationModelling in Enterprise Architecture. MSc Business Information Systems
Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling
More informationIndex. business modeling syntax 181 business process modeling 57 business rule 40
OCL.book Page 203 Tuesday, July 22, 2003 9:48 PM Index Symbols OclAny, of 167 = OclAny, of 167 @pre 34, 86, 155 ^ 34, 156 ^^ 157 A abstract syntax 93 accumulator 153 action in statechart 56 activity
More informationKnowledge Representations. How else can we represent knowledge in addition to formal logic?
Knowledge Representations How else can we represent knowledge in addition to formal logic? 1 Common Knowledge Representations Formal Logic Production Rules Semantic Nets Schemata and Frames 2 Production
More informationA Model-driven approach to NLP programming with UIMA
A Model-driven approach to NLP programming with UIMA Alessandro Di Bari, Alessandro Faraotti, Carmela Gambardella, and Guido Vetere IBM Center for Advanced Studies of Trento Piazza Manci, 1 Povo di Trento
More informationSemantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique
Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique Minal Bhise DAIICT, Gandhinagar, Gujarat, India 382007 minal_bhise@daiict.ac.in Abstract. The semantic web offers
More informationOWL a glimpse. OWL a glimpse (2) requirements for ontology languages. requirements for ontology languages
OWL a glimpse OWL Web Ontology Language describes classes, properties and relations among conceptual objects lecture 7: owl - introduction of#27# ece#720,#winter# 12# 2# of#27# OWL a glimpse (2) requirements
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 informationReport from the W3C Semantic Web Best Practices Working Group
Report from the W3C Semantic Web Best Practices Working Group Semantic Web Best Practices and Deployment Thomas Baker, Göttingen State and University Library Cashmere-int Workshop Standardisation and Transmission
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 informationSemantics and Ontologies for Geospatial Information. Dr Kristin Stock
Semantics and Ontologies for Geospatial Information Dr Kristin Stock Introduction The study of semantics addresses the issue of what data means, including: 1. The meaning and nature of basic geospatial
More informationTowards using OWL DL as a metamodelling framework for ATL
Towards using OWL DL as a metamodelling framework for ATL Dennis Wagelaar Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium dennis.wagelaar@vub.ac.be Abstract. Ontologies have become increasingly
More informationOverview of lectures today and Wednesday
Model-driven development (MDA), Software Oriented Architecture (SOA) and semantic web (exemplified by WSMO) Draft of presentation John Krogstie Professor, IDI, NTNU Senior Researcher, SINTEF ICT 1 Overview
More informationOntology Summit2007 Survey Response Analysis. Ken Baclawski Northeastern University
Ontology Summit2007 Survey Response Analysis Ken Baclawski Northeastern University Outline Communities Ontology value, issues, problems, solutions Ontology languages Terms for ontology Ontologies April
More informationCHAPTER 2. Overview of Tools and Technologies in Ontology Development
CHAPTER 2 Overview of Tools and Technologies in Ontology Development 2.1. Ontology Representation Languages 2.2. Ontology Development Methodologies 2.3. Ontology Development Tools 2.4. Ontology Query Languages
More informationOntology-based Model Transformation
Ontology-based Model Transformation Stephan Roser Advisor: Bernhard Bauer Progamming of Distributed Systems Institute of Computer Science, University of Augsburg, Germany [roser,bauer]@informatik.uni-augsburg.de
More informationDescription Logics and OWL
Description Logics and OWL Based on slides from Ian Horrocks University of Manchester (now in Oxford) Where are we? OWL Reasoning DL Extensions Scalability OWL OWL in practice PL/FOL XML RDF(S)/SPARQL
More informationOvercoming Challenges Using the CIM as a Semantic Model for Energy Applications
Overcoming Challenges Using the CIM as a Semantic Model for Energy Applications Andrew Crapo 1, Katrina Griffith 2, Ankesh Khandelwal 3, John Lizzi 1, Abha Moitra 1, and Xiaofeng Wang 2 1 GE Global Research,
More informationThe Eclipse Modeling Framework and MDA Status and Opportunities
The Eclipse Modeling Framework and MDA Status and Opportunities David Frankel Consulting df@davidfrankelconsulting.com www.davidfrankelconsulting.com Portions adapted from the book Model Driven Architecture:
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 informationAPPLYING KNOWLEDGE BASED AI TO MODERN DATA MANAGEMENT. Mani Keeran, CFA Gi Kim, CFA Preeti Sharma
APPLYING KNOWLEDGE BASED AI TO MODERN DATA MANAGEMENT Mani Keeran, CFA Gi Kim, CFA Preeti Sharma 2 What we are going to discuss During last two decades, majority of information assets have been digitized
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 informationTowards 2D Traceability
Towards 2D Traceability in a platform for Contract Aware Visual Transformations with Tolerated Inconsistencies Pieter Van Gorp pieter.vangorp@ua.ac.be Frank Altheide frank.altheide@gmail.com Dirk Janssens
More informationSKOS. COMP62342 Sean Bechhofer
SKOS COMP62342 Sean Bechhofer sean.bechhofer@manchester.ac.uk Ontologies Metadata Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies
More informationMDA & Semantic Web Services Extending ODM with Service Semantics
MDA & Semantic Web Services Extending ODM with Service Semantics Elisa Kendall Sandpiper Software October 18, 2006 Outline ODM as a Bridge between MDA and KR Quick ODM Overview Relationship to other Standards
More informationModel-Driven Iterative Development of 3D Web-Applications Using SSIML, X3D and JavaScript
Freiberg University of Mining and Technology The University of Resources. Since 1765. WEB3D 2012-17th International Conference on 3D Web Technology Model-Driven Iterative Development of 3D Web-Applications
More informationOrchestrating Music Queries via the Semantic Web
Orchestrating Music Queries via the Semantic Web Milos Vukicevic, John Galletly American University in Bulgaria Blagoevgrad 2700 Bulgaria +359 73 888 466 milossmi@gmail.com, jgalletly@aubg.bg Abstract
More informationOntologies SKOS. COMP62342 Sean Bechhofer
Ontologies SKOS COMP62342 Sean Bechhofer sean.bechhofer@manchester.ac.uk Metadata Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies
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 informationSemantic Web Test
Semantic Web Test 24.01.2017 Group 1 No. A B C D 1 X X X 2 X X 3 X X 4 X X 5 X X 6 X X X X 7 X X 8 X X 9 X X X 10 X X X 11 X 12 X X X 13 X X 14 X X 15 X X 16 X X 17 X 18 X X 19 X 20 X X 1. Which statements
More informationDesign and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment
Faculty of Computer Science, Institute for Software- and Multimedia-Technology, Chair for Software Technology Matthias Bräuer Design and Prototypical Implementation of a Pivot Model as Exchange Format
More informationSemantic Web Programming
*) Semantic Web Programming John Hebeler Matthew Fisher Ryan Blace Andrew Perez-Lopez WILEY Wiley Publishing, Inc. Contents Foreword Introduction xxiii xxv Part One Introducing Semantic Web Programming
More informationOn Marrying Ontological and Metamodeling Technical Spaces
On Marrying Ontological and Metamodeling Technical Spaces Fernando Silva Parreiras 0 ISWeb Information Systems and Semantic Web, Institute for Computer Science, University of Koblenz-Landau http://isweb.uni-koblenz.de
More informationCSc 8711 Report: OWL API
CSc 8711 Report: OWL API Syed Haque Department of Computer Science Georgia State University Atlanta, Georgia 30303 Email: shaque4@student.gsu.edu Abstract: The Semantic Web is an extension of human-readable
More informationIntegration of the Semantic Web with Meta Object Facilities
Integration of the Semantic Web with Meta Object Facilities Work in progress supported by the U.S. General Service Administration s Open Source egov Reference Architecture (OsEra) Project Cory Casanave,
More informationCOMP718: Ontologies and Knowledge Bases
1/38 COMP718: Ontologies and Knowledge Bases Lecture 4: OWL 2 and Reasoning Maria Keet email: keet@ukzn.ac.za home: http://www.meteck.org School of Mathematics, Statistics, and Computer Science University
More informationThe onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Ario Santoso KRDB Research Centre for Knowledge and Data
More informationMetamodeling. 16. April 2012 Real-Time Systems Lab Prof. Dr. Andy Schürr Dr. Gergely Varró 1
Metamodeling The slides of this lecture are reused from the Model Engineering course at TU Vienna with the kind permission of Prof. Gerti Kappel (head of the Business Informatics Group) 16. April 2012
More informationSemantic Web Methoden, Werkzeuge und Anwendungen
Semantic Web Methoden, Werkzeuge und Anwendungen Rudi Studer & Peter Haase Institut, Universität t Karlsruhe (TH) & FZI Forschungszentrum Informatik & Ontoprise GmbH Universität t Kassel 26. Januar 2006
More informationManaging the Emerging Semantic Risks
The New Information Security Agenda: Managing the Emerging Semantic Risks Dr Robert Garigue Vice President for information integrity and Chief Security Executive Bell Canada Page 1 Abstract Today all modern
More informationIt Is What It Does: The Pragmatics of Ontology for Knowledge Sharing
It Is What It Does: The Pragmatics of Ontology for Knowledge Sharing Tom Gruber Founder and CTO, Intraspect Software Formerly at Stanford University tomgruber.org What is this talk about? What are ontologies?
More informationMDD with OMG Standards MOF, OCL, QVT & Graph Transformations
1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages
More informationAdvanced Topics in Software Engineering (02265) Ekkart Kindler
Advanced Topics in Software Engineering (02265) Recapitulation (I. Introduction ) 2 Levels of models ClassDiagram is an instance of PetriNet * Object * Class 1 start 1 end * Association concrete syntax
More informationSemantic Web. Lecture XIII Tools Dieter Fensel and Katharina Siorpaes. Copyright 2008 STI INNSBRUCK
Semantic Web Lecture XIII 25.01.2010 Tools Dieter Fensel and Katharina Siorpaes Copyright 2008 STI INNSBRUCK Today s lecture # Date Title 1 12.10,2009 Introduction 2 12.10,2009 Semantic Web Architecture
More informationIntroduction to MDE and Model Transformation
Vlad Acretoaie Department of Applied Mathematics and Computer Science Technical University of Denmark rvac@dtu.dk DTU Course 02291 System Integration Vlad Acretoaie Department of Applied Mathematics and
More informationConverting a thesaurus into an ontology: the use case of URBISOC
Advanced Information Systems Laboratory Cost Action C2 Converting a thesaurus into an ontology: the use case of URBISOC J. Nogueras-Iso, J. Lacasta Alcalá de Henares, 4-5 May 2007 http://iaaa.cps.unizar.es
More informationModels versus Ontologies - What's the Difference and where does it Matter?
Models versus Ontologies - What's the Difference and where does it Matter? Colin Atkinson University of Mannheim Presentation for University of Birmingham April 19th 2007 1 Brief History Ontologies originated
More informationLecture Telecooperation. D. Fensel Leopold-Franzens- Universität Innsbruck
Lecture Telecooperation D. Fensel Leopold-Franzens- Universität Innsbruck First Lecture: Introduction: Semantic Web & Ontology Introduction Semantic Web and Ontology Part I Introduction into the subject
More informationSEMANTIC WEB AND COMPARATIVE ANALYSIS OF INFERENCE ENGINES
SEMANTIC WEB AND COMPARATIVE ANALYSIS OF INFERENCE ENGINES Ms. Neha Dalwadi 1, Prof. Bhaumik Nagar 2, Prof. Ashwin Makwana 1 1 Computer Engineering, Chandubhai S Patel Institute of Technology Changa, Dist.
More informationKnowledge Discovery: How to Reverse-Engineer Legacy Systems
Knowledge Discovery: How to Reverse-Engineer Legacy Systems Hugo Bruneliere, Frédéric Madiot INRIA & MIA-Software 1 Context of this work Knowledge Discovery: How To Reverse-Engineer Legacy Sytems The present
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 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 information<is web> Information Systems & Semantic Web University of Koblenz Landau, Germany
Information Systems & University of Koblenz Landau, Germany Semantic Search examples: Swoogle and Watson Steffen Staad credit: Tim Finin (swoogle), Mathieu d Aquin (watson) and their groups 2009-07-17
More informationFOL RuleML: Release, Use, and Outlook
FOL RuleML: Release, Use, and Outlook Harold Boley, Presenter NRC IIT e-business Joint Work with Benjamin Grosof and Said Tabet as part of the RuleML Initiative and Joint Committee DAML PI Meeting, San
More informationSimplified Approach for Representing Part-Whole Relations in OWL-DL Ontologies
Simplified Approach for Representing Part-Whole Relations in OWL-DL Ontologies Pace University IEEE BigDataSecurity, 2015 Aug. 24, 2015 Outline Ontology and Knowledge Representation 1 Ontology and Knowledge
More informationSemantic Technologies and CDISC Standards. Frederik Malfait, Information Architect, IMOS Consulting Scott Bahlavooni, Independent
Semantic Technologies and CDISC Standards Frederik Malfait, Information Architect, IMOS Consulting Scott Bahlavooni, Independent Part I Introduction to Semantic Technology Resource Description Framework
More informationThe MUSING Approach for Combining XBRL and Semantic Web Data. ~ Position Paper ~
The MUSING Approach for Combining XBRL and Semantic Web Data ~ Position Paper ~ Christian F. Leibold 1, Dumitru Roman 1, Marcus Spies 2 1 STI Innsbruck, Technikerstr. 21a, 6020 Innsbruck, Austria {Christian.Leibold,
More informationMetamodeling with Metamodels. Using. UML/MOF including OCL
Metamodeling with Metamodels Using UML/MOF including OCL Introducing Metamodels (Wikipedia) A metamodel is a model of a model An instantiation of metamodel gives a model Metamodeling is the process of
More informationSeMFIS: A Tool for Managing Semantic Conceptual Models
Workshop on Graphical Modeling Language Development July 3, 2012 Kgs. Lyngby, Denmark SeMFIS: A Tool for Managing Semantic Conceptual Models Hans-Georg Fill Co-sponsored by the Austrian Science Fund: Grant
More informationOntological Modeling: Part 7
Ontological Modeling: Part 7 Terry Halpin LogicBlox and INTI International University This is the seventh in a series of articles on ontology-based approaches to modeling. The main focus is on popular
More informationNOTES ON OBJECT-ORIENTED MODELING AND DESIGN
NOTES ON OBJECT-ORIENTED MODELING AND DESIGN Stephen W. Clyde Brigham Young University Provo, UT 86402 Abstract: A review of the Object Modeling Technique (OMT) is presented. OMT is an object-oriented
More informationOWL 2 Update. Christine Golbreich
OWL 2 Update Christine Golbreich 1 OWL 2 W3C OWL working group is developing OWL 2 see http://www.w3.org/2007/owl/wiki/ Extends OWL with a small but useful set of features Fully backwards
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 information<is web> Information Systems & Semantic Web University of Koblenz Landau, Germany
Information Systems University of Koblenz Landau, Germany On Understanding the Sharing of Conceptualizations, Klaas Dellschaft What is an ontology? Gruber 93 (slightly adapted by Borst): An Ontology is
More informationSemantic Web. Part 3 The ontology layer 1: Ontologies, Description Logics, and OWL
Semantic Web Part 3 The ontology layer 1: Ontologies, Description Logics, and OWL Riccardo Rosati Corso di Laurea Magistrale in Ingegneria Informatica Sapienza Università di Roma 2012/2013 REMARK Most
More informationWeb Ontology Language (OWL)
(OWL) Athens 2012 Mikel Egaña Aranguren 3205 Facultad de Informática Universidad Politécnica de Madrid (UPM) Campus de Montegancedo 28660 Boadilla del Monte Spain http://www.oeg-upm.net megana@fi.upm.es
More informationLocal Closed World Reasoning with OWL 2
Local Closed World Reasoning with OWL 2 JIST 2011 Tutorial Jeff Z. Pan Department of Computing Science University of Aberdeen, UK Agenda 1. Brief introduction to Ontology and OWL 2 (10m) 2. Open vs. Closed
More information!MDA$based*Teaching*and* Research*in*Software*Engineering*!
Plan!MDA$based*Teaching*and* Research*in*Software*Engineering*! Ludwik!Kuźniarz! Blekinge*Institute*of*Technology* School*of*Computing* Sweden*! Myself! Driven Architecture! MDA based Reaserch! Sample
More informationAutomatic Transformation of Relational Database Schema into OWL Ontologies
Environment. Technology. Resources, Rezekne, Latvia Proceedings of the 10 th International Scientific and Practical Conference. Volume III, 217-222 Automatic Transformation of Relational Database Schema
More informationStatic analysis and testing of executable DSL specification
Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:
More informationChapter 8 The Enhanced Entity- Relationship (EER) Model
Chapter 8 The Enhanced Entity- Relationship (EER) Model Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 8 Outline Subclasses, Superclasses, and Inheritance Specialization
More informationSequence Diagram Generation with Model Transformation Technology
, March 12-14, 2014, Hong Kong Sequence Diagram Generation with Model Transformation Technology Photchana Sawprakhon, Yachai Limpiyakorn Abstract Creating Sequence diagrams with UML tools can be incomplete,
More informationEnvisioning Semantic Web Technology Solutions for the Arts
Information Integration Intelligence Solutions Envisioning Semantic Web Technology Solutions for the Arts Semantic Web and CIDOC CRM Workshop Ralph Hodgson, CTO, TopQuadrant National Museum of the American
More informationPlatform Variability. Dennis Wagelaar Software Languages Lab
Dennis Wagelaar Software Languages Lab dennis.wagelaar@vub.ac.be : Context Slide: 2 : Context It is hard to maintain software that is portable to multiple platforms: Separate implementations for each platform
More informationOpen Source egovernment Reference Architecture. Cory Casanave, President. Data Access Technologies, Inc.
Open Source egovernment Reference Architecture Cory Casanave, President www.enterprisecomponent.com Slide 1 What we will cover OsEra OsEra Overview Model to Integrate From business model to execution Synthesis
More informationUnified Modeling Language 2
Unified Modeling Language 2 Profiles 166 Usage scenarios Metamodel customization for adapting terminology to a specific platform or domain adding (visual) notation adding and specializing semantics adding
More informationUNIK Multiagent systems Lecture 3. Communication. Jonas Moen
UNIK4950 - Multiagent systems Lecture 3 Communication Jonas Moen Highlights lecture 3 Communication* Communication fundamentals Reproducing data vs. conveying meaning Ontology and knowledgebase Speech
More informationSemantic Web. Ontology and OWL. Morteza Amini. Sharif University of Technology Fall 95-96
ه عا ی Semantic Web Ontology and OWL Morteza Amini Sharif University of Technology Fall 95-96 Outline Introduction & Definitions Ontology Languages OWL (Ontology Web Language) 2 Outline Introduction &
More informationSEMANTIC WEB LANGUAGES - STRENGTHS AND WEAKNESS
SEMANTIC WEB LANGUAGES - STRENGTHS AND WEAKNESS Sinuhé Arroyo Ying Ding Rubén Lara Universität Innsbruck Universität Innsbruck Universität Innsbruck Institut für Informatik Institut für Informatik Institut
More information