Jeff Z. Pan is a Senior Lecturer at the University of Aberdeen and the Deputy Director of Research of the Department of Computing Science. Jeff has a strong academic background in semantic reasoning, in particular scalable ontology reasoning, querying and reuse, and their applications (such as in software engineering). Steffen Staab is professor at the University of Koblenz-Landau and Director of the Institute for Web Science and Technologies. Steffen has a comprehensive background in semantic technologies and their application in areas such as software and service engineering and software architectures. Uwe Assmann is a professor for software engineering at the Technical University of Dresden and co-chair of the Institute for Software and Multimedia Technology. Uwe has a strong academic and industry background in software development. Jurgen Ebert is a professor at the University of Koblenz-Landau and holds the chair for Software Engineering in Koblenz since 1982. Jurgen has a strong background in modeling, software architecture, and software reengineering. Yuting Zhao is a researcher at the University of Aberdeen. Yuting focuses on formalising and reasoning using semantic technologies, as well as their applications.

From the reviews: "The European project 'MOST: Marrying Ontology and Software Technology' is the origin of this book. ... It is intended to serve different audiences, ranging from researchers who seek an introduction to a new area of investigation to students (advanced undergraduate and graduate) in a classroom. To assist instructors and students, the editors have identified sections in the book as being particularly important for students." (Anthony J. Duben, Computing Reviews, June, 2013)

• Introduction.- Part I Ontology and Software Technologies.- Model-Driven Software Development (MDSD).- Ontology Languages and Description Logics.- Case Studies for Marrying Ontology and Software Technologies.- Part II Foundational Technologies for Ontology-Driven Software Development.- Scalable Ontology Reasoning Services.- Traceability.- Metamodelling and Ontologies.- Part III Consistency Checking in Ontology Driven Software Development (ODSD).- Ontology and Bridging Technologies.- Ontology Reasoning for Consistency-Preserving Structural Modelling.- Ontology Reasoning for Process Models.- Part IV Ontology Driven Software Development (ODSD) with Process Guidance.- Ontology-Driven Metamodeling for Ontology-Integrated Modelling.- A Platform for ODSD: The MOST Workbench.- Ontology-Guided Software Engineering in the MOST Workbench.- Conclusion and Outlooks.

Jeff Z. Pan is a Senior Lecturer at the University of Aberdeen and the Deputy Director of Research of the Department of Computing Science. Jeff has a strong academic background in semantic reasoning, in particular scalable ontology reasoning, querying and reuse, and their applications (such as in software engineering). Steffen Staab is professor at the University of Koblenz-Landau and Director of the Institute for Web Science and Technologies. Steffen has a comprehensive background in semantic technologies and their application in areas such as software and service engineering and software architectures. Uwe Assmann is a professor for software engineering at the Technical University of Dresden and co-chair of the Institute for Software and Multimedia Technology. Uwe has a strong academic and industry background in software development. Jurgen Ebert is a professor at the University of Koblenz-Landau and holds the chair for Software Engineering in Koblenz since 1982. Jurgen has a strong background in modeling, software architecture, and software reengineering. Yuting Zhao is a researcher at the University of Aberdeen. Yuting focuses on formalising and reasoning using semantic technologies, as well as their applications.

From the reviews: "The European project 'MOST: Marrying Ontology and Software Technology' is the origin of this book. ... It is intended to serve different audiences, ranging from researchers who seek an introduction to a new area of investigation to students (advanced undergraduate and graduate) in a classroom. To assist instructors and students, the editors have identified sections in the book as being particularly important for students." (Anthony J. Duben, Computing Reviews, June, 2013)

• Introduction.- Part I Ontology and Software Technologies.- Model-Driven Software Development (MDSD).- Ontology Languages and Description Logics.- Case Studies for Marrying Ontology and Software Technologies.- Part II Foundational Technologies for Ontology-Driven Software Development.- Scalable Ontology Reasoning Services.- Traceability.- Metamodelling and Ontologies.- Part III Consistency Checking in Ontology Driven Software Development (ODSD).- Ontology and Bridging Technologies.- Ontology Reasoning for Consistency-Preserving Structural Modelling.- Ontology Reasoning for Process Models.- Part IV Ontology Driven Software Development (ODSD) with Process Guidance.- Ontology-Driven Metamodeling for Ontology-Integrated Modelling.- A Platform for ODSD: The MOST Workbench.- Ontology-Guided Software Engineering in the MOST Workbench.- Conclusion and Outlooks.

Jeff Z. Pan is a Senior Lecturer at the University of Aberdeen and the Deputy Director of Research of the Department of Computing Science. Jeff has a strong academic background in semantic reasoning, in particular scalable ontology reasoning, querying and reuse, and their applications (such as in software engineering). Steffen Staab is professor at the University of Koblenz-Landau and Director of the Institute for Web Science and Technologies. Steffen has a comprehensive background in semantic technologies and their application in areas such as software and service engineering and software architectures. Uwe Assmann is a professor for software engineering at the Technical University of Dresden and co-chair of the Institute for Software and Multimedia Technology. Uwe has a strong academic and industry background in software development. Jurgen Ebert is a professor at the University of Koblenz-Landau and holds the chair for Software Engineering in Koblenz since 1982. Jurgen has a strong background in modeling, software architecture, and software reengineering. Yuting Zhao is a researcher at the University of Aberdeen. Yuting focuses on formalising and reasoning using semantic technologies, as well as their applications.

From the reviews: "The European project 'MOST: Marrying Ontology and Software Technology' is the origin of this book. ... It is intended to serve different audiences, ranging from researchers who seek an introduction to a new area of investigation to students (advanced undergraduate and graduate) in a classroom. To assist instructors and students, the editors have identified sections in the book as being particularly important for students." (Anthony J. Duben, Computing Reviews, June, 2013)

• Introduction.- Part I Ontology and Software Technologies.- Model-Driven Software Development (MDSD).- Ontology Languages and Description Logics.- Case Studies for Marrying Ontology and Software Technologies.- Part II Foundational Technologies for Ontology-Driven Software Development.- Scalable Ontology Reasoning Services.- Traceability.- Metamodelling and Ontologies.- Part III Consistency Checking in Ontology Driven Software Development (ODSD).- Ontology and Bridging Technologies.- Ontology Reasoning for Consistency-Preserving Structural Modelling.- Ontology Reasoning for Process Models.- Part IV Ontology Driven Software Development (ODSD) with Process Guidance.- Ontology-Driven Metamodeling for Ontology-Integrated Modelling.- A Platform for ODSD: The MOST Workbench.- Ontology-Guided Software Engineering in the MOST Workbench.- Conclusion and Outlooks.