Model Driven Engineering and Ontology Development [electronic resource] / by Vladan Devedic, Dragan Djuric, Dragan Gaevic.

Basics -- Knowledge Representation -- Ontologies -- The Semantic Web -- Model Driven Engineering -- Modeling Spaces -- Model Driven Engineering and Ontologies -- Software Engineering Approaches to Ontology Development -- The MDA-Based Ontology Infrastructure -- The Ontology Definition Metamodel (ODM) -- The Ontology UML Profile -- Mappings of MDA-Based Languages and Ontologies -- Applications -- Modeling Tools and Ontology Development -- An MDA Based Ontology Platform: AIR -- Examples of Ontology -- Beyond the Ontology Definition Metamodel: Applications.

Defining a formal domain ontology is generally considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are largely unfamiliar with these. Gaevic and his co-authors try to fill this gap by detailing how to use model-driven engineering for ontology development on the Semantic Web. Part I of their book describes existing technologies, tools, and standards like XML, RDF, OWL, MDA, and UML. Part II presents the first detailed description of OMG's new ODM (Ontology Definition Metamodel) initiative, a specification which is expected to be in the form of an OMG language like UML. Finally, Part III is dedicated to applications and practical aspects of developing ontologies using MDA-based languages. For this second edition, the descriptions of the related standards (like MOF, ODM, OCL, and OWL) have been revised and updated; new chapters introducing the basic principles of model-driven engineering, recent research results on metamodeling Semantic Web rule languages, an introduction to the Atlas Transformation Language (ATL) and its tool support, and, last but not least, many new examples have been added.

ZDB-2-SCS