SEMANTIC WEB AND MODEL-DRIVEN ENGINEERING -- CONTENTS -- LIST OF FIGURES -- LIST OF TABLES -- FOREWORD -- PREFACE -- ACRONYMS -- PART I: FUNDAMENTALS -- CHAPTER 1: INTRODUCTION -- 1.1 MOTIVATION -- 1.2 RESEARCH QUESTIONS -- CHAPTER 2: MODEL-DRIVEN ENGINEERING FOUNDATIONS -- 2.1 INTRODUCTION -- 2.2 MODEL-DRIVEN ENGINEERING STRUCTURE -- 2.2.1 Models -- 2.2.2 Metamodels -- 2.2.3 Modeling Languages -- 2.2.4 Model Transformations -- 2.2.5 Query Languages -- 2.3 TECHNICAL SPACES -- 2.4 CONCLUSION -- CHAPTER 3: ONTOLOGY FOUNDATIONS -- 3.1 INTRODUCTION -- 3.2 ONTOLOGY -- 3.2.1 Ontology Modeling -- 3.3 THE ONTOLOGY WEB LANGUAGE -- 3.3.1 OWL 2 Syntax -- 3.3.2 OWL 2 Semantics -- 3.3.3 World Assumption and Name Assumption -- 3.4 ONTOLOGY SERVICES -- 3.4.1 Reasoning Services -- 3.4.2 Querying -- 3.5 ONTOLOGY ENGINEERING SERVICES -- 3.5.1 Explanation -- 3.5.2 Ontology Matching -- 3.6 RULES -- 3.7 METAMODELS FOR ONTOLOGY TECHNOLOGIES -- 3.7.1 OWL Metamodels -- 3.7.2 SPARQL Metamodel -- 3.8 ONTOLOGICAL TECHNICAL SPACES -- 3.9 CONCLUSION -- CHAPTER 4: MARRYING ONTOLOGY AND MODEL-DRIVEN ENGINEERING -- 4.1 INTRODUCTION -- 4.2 SIMILARITIES BETWEEN OWL MODELING AND UML CLASS-BASED MODELING -- 4.3 COMMONALITIES AND VARIATIONS -- 4.3.1 Language -- 4.3.2 Formalism -- 4.3.3 Data Model -- 4.3.4 Reasoning -- 4.3.5 Querying -- 4.3.6 Rules -- 4.3.7 Transformation -- 4.3.8 Mediation -- 4.3.9 Modeling Level -- 4.4 THE STATE OF THE ART OF INTEGRATED APPROACHES -- 4.4.1 Model Validation -- 4.4.2 Model Enrichment -- 4.4.3 Ontology Modeling -- 4.5 EXISTING WORK ON CLASSIFYING INTEGRATED APPROACHES -- 4.6 CONCLUSION -- CONCLUSIONOF PART I -- PART II: THE TWOUSE APPROACH -- CHAPTER 5: THE TWOUSE CONCEPTUAL ARCHITECTURE -- 5.1 INTRODUCTION -- 5.2 REQUIREMENTS FOR INTEGRATING ONTOLOGY TECHNOLOGIES AND MODEL-DRIVEN ENGINEERING -- 5.2.1 Usage of Ontology Services in MDE.

5.2.2 Usage of MDE Techniques in OWL Ontology Engineering -- 5.3 ADDRESSING THE REQUIREMENTS WITH THE TWOUSE APPROACH -- 5.4 METAMODELING ARCHITECTURE -- 5.4.1 The TwoUse Metamodel -- 5.5 SYNTAX -- 5.5.1 UML Profile for OWL -- 5.5.2 Pure UML Class Diagrams -- 5.5.3 Textual Notation -- 5.6 CONCLUSION -- CHAPTER 6: QUERY LANGUAGES FOR INTEGRATED MODELS -- 6.1 INTRODUCTION -- 6.2 COMBINING EXISTING APPROACHES -- 6.3 QUERYING ONTOLOGIES USING OWL SYNTAX: SPARQLAS -- 6.3.1 SPARQLAS Concrete Syntax -- 6.3.2 SPARQLAS Metamodel -- 6.3.3 Transformation from SPARQLAS to SPARQL -- 6.4 QUERYING INTEGRATED MODELS: SPARQLAS4TWOUSE -- 6.5 CONCLUSION -- CHAPTER 7: THE TWOUSE TOOLKIT -- 7.1 INTRODUCTION -- 7.2 USE CASE DESCRIPTIONS -- 7.3 A GENERIC ARCHITECTURE FOR MDE AND ONTOLOGY ENGINEERING -- 7.3.1 Core Services -- 7.3.2 Engineering Services -- 7.3.3 Front-End -- 7.4 INSTANTIATING THE GENERIC MODEL-DRIVEN ARCHITECTURE: THE TWOUSE TOOLKIT -- 7.5 CONCLUSION -- CONCLUSION OF PART II -- PART III: APPLICATIONS IN MODEL-DRIVEN ENGINEERING -- CHAPTER 8: IMPROVING SOFTWARE DESIGN PATTERNS WITH OWL -- 8.1 INTRODUCTION -- 8.2 CASE STUDY -- 8.2.1 Applying the Strategy Pattern -- 8.2.2 Extending to the Abstract Factory -- 8.2.3 Drawbacks -- 8.3 APPLICATION OF THE TWOUSE APPROACH -- 8.3.1 OWL for Conceptual Modeling -- 8.3.2 TwoUse for Software Design Patterns: The Selector Pattern -- 8.4 VALIDATION -- 8.4.1 Participants and Collaborations -- 8.4.2 Applicability -- 8.4.3 Drawbacks -- 8.4.4 Advantages -- 8.5 RELATED WORK -- 8.6 CONCLUSION -- CHAPTER 9: MODELING ONTOLOGY-BASED INFORMATION SYSTEMS -- 9.1 INTRODUCTION -- 9.2 CASE STUDY -- 9.2.1 UML Class-Based Software Development -- 9.2.2 Ontology-Based Software Development -- 9.3 APPLICATION OF THE TWOUSE APPROACH -- 9.3.1 Concrete Syntax -- 9.3.2 Abstract Syntax -- 9.3.3 Querying -- 9.4 VALIDATION -- 9.4.1 Limitations.

9.5 CONCLUSION -- CHAPTER 10: ENABLING LINKED DATA CAPABILITIES TO MOF COMPLIANT MODELS -- 10.1 INTRODUCTION -- 10.2 CASE STUDY -- 10.2.1 Requirements -- 10.3 APPLICATION OF THE TWOUSE APPROACH -- 10.3.1 Model Extension -- 10.3.2 Model Transformation -- 10.3.3 Matching -- 10.3.4 Querying with SPARQLAS -- 10.4 VALIDATION -- 10.4.1 Limitations -- 10.5 RELATED WORK -- 10.6 CONCLUSION -- CONCLUSION OF PART III -- PART IV: APPLICATIONS IN THE SEMANTIC WEB -- CHAPTER 11: MODEL-DRIVEN SPECIFICATION OF ONTOLOGY TRANSLATIONS -- 11.1 INTRODUCTION -- 11.2 CASE STUDY -- 11.3 APPLICATION OF THE TWOUSE APPROACH -- 11.3.1 Concrete Syntax -- 11.3.2 Metamodels -- 11.3.3 Model Libraries -- 11.3.4 Semantics -- 11.3.5 Ontology Translation Process -- 11.3.6 Implementation -- 11.4 EXAMPLES -- 11.5 ANALYSIS -- 11.6 RELATED WORK -- 11.7 CONCLUSION -- CHAPTER 12: AUTOMATIC GENERATION OF ONTOLOGY APIS -- 12.1 INTRODUCTION -- 12.2 CASE STUDY -- 12.3 APPLICATION OF THE TWOUSE APPROACH -- 12.3.1 Key Domain Concepts -- 12.3.2 agogo Concrete Syntax by Example -- 12.3.3 Implementation -- 12.4 ANALYSIS -- 12.5 RELATED WORK -- 12.6 CONCLUSION -- CHAPTER 13: USING TEMPLATES IN OWL ONTOLOGIES -- 13.1 INTRODUCTION -- 13.2 CASE STUDY -- 13.3 APPLICATION OF THE TWOUSE APPROACH -- 13.3.1 Extending the OWL Metamodel with Templates -- 13.3.2 Semantics of Templates -- 13.3.3 Notations for Templates in OWL -- 13.3.4 Query Templates -- 13.4 ANALYSIS -- 13.4.1 Limitations -- 13.5 RELATED WORK -- 13.6 CONCLUSION -- CONCLUSION OF PART IV -- CHAPTER 14: CONCLUSION -- 14.1 CONTRIBUTIONS -- 14.2 OUTLOOK -- 14.2.1 Ongoing Research -- APPENDIX A -- A.1 EBNF DEFINITION OF THE CONCRETE TEXTUAL SYNTAX FOR TWOUSE -- A.2 EBNF GRAMMAR OF SPARQLAS FUNCTIONAL SYNTAX -- A.3 EBNF GRAMMAR OF SPARQLAS MANCHESTER SYNTAX -- A.4 SPARQLAS METAMODEL -- A.5 ECORE TO OWL: TRANSLATION RULES -- APPENDIX B -- B.1 USE CASES.

B.1.1 Design Integrated Models -- B.1.2 Design Integrated UML Class Diagram -- B.1.3 Design Integrated Ecore Model -- B.1.4 Specify SPARQLAS4TwoUse Query Operations -- B.1.5 Transform to OWL -- B.1.6 Compute Alignments -- B.1.7 Browse -- B.1.8 Explain Axioms -- B.1.9 Query UML Class-Based Models -- B.1.10 Query OWL Ontologies -- B.1.11 Design Ontology Engineering Services -- B.1.12 Design Ontology API -- B.1.13 Design Ontology Translation -- B.1.14 Design Ontology Template -- B.1.15 Generate Service -- B.2 CONNECTING USE CASES WITH REQUIREMENTS -- REFERENCES -- INDEX.