› › Semantics With Applications

Semantics with Applications: An Appetizer

Author : Hanne Riis Nielson

Publisher : Springer Science & Business Media

Page : 285 pages

File Size : 31,81 MB

Release : 2007-04-18

Category : Computers

ISBN : 1846286921

Get eBook

Book Description

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.



Semantic Applications

Author : Thomas Hoppe

Publisher : Springer

Page : 284 pages

File Size : 41,64 MB

Release : 2018-04-13

Category : Computers

ISBN : 366255433X

Get eBook

Book Description

This book describes methodologies for developing semantic applications. Semantic applications are software applications which explicitly or implicitly use the semantics, i.e. the meaning of a domain terminology, in order to improve usability, correctness, and completeness. An example is semantic search, where synonyms and related terms are used for enriching the results of a simple text-based search. Ontologies, thesauri or controlled vocabularies are the centerpiece of semantic applications. The book includes technological and architectural best practices for corporate use. The authors are experts from industry and academia with experience in developing semantic applications.



UML 2 Semantics and Applications

Author : Kevin Lano

Publisher : John Wiley & Sons

Page : 419 pages

File Size : 17,30 MB

Release : 2009-10-13

Category : Computers

ISBN : 0470522615

Get eBook

Book Description

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction designs Semantics of activity diagrams Verification of UML models State invariants Model transformation specification and verification Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.



Semantic Web: Concepts, Technologies and Applications

Author : Karin Breitman

Publisher : Springer Science & Business Media

Page : 329 pages

File Size : 31,39 MB

Release : 2007-01-24

Category : Computers

ISBN : 184628581X

Get eBook

Book Description

The Web is growing at an astounding pace surpassing the 8 billion page mark. However, most pages are still designed for human consumption and cannot be processed by machines. This book provides a well-paced introduction to the Semantic Web. It covers a wide range of topics, from new trends (ontologies, rules) to existing technologies (Web Services and software agents) to more formal aspects (logic and inference). It includes: real-world (and complete) examples of the application of Semantic Web concepts; how the technology presented and discussed throughout the book can be extended to other application areas.



Statistical Semantics

Author : Sverker Sikström

Publisher : Springer Nature

Page : 266 pages

File Size : 37,86 MB

Release : 2020-06-08

Category : Psychology

ISBN : 3030372502

Get eBook

Book Description

This book discusses the application of various statistical methods to texts, rather than numbers, in various fields in behavioral science. It proposes an approach where quantitative methods are applied to data whereas previously such data were analyzed only by qualitative research methods. To emphasize the quantitative aspects of semantics, and the possibilities of conducting scientific interferences, the book introduces the concept of statistical semantics and presents the reader with a subset of techniques found in that domain. More specifically, the book focuses on methods that allow the investigation of semantic relationships between words, based on empirical corpus data. It shows the reader how to apply various statistical methods on texts, for example statistical tests to ascertain whether two sets of text are statistically different, ways to predict variables from text, as well as how to summarize and graphically illustrate texts. Thus, the book presents an accessible hands-on introduction to a selection of techniques, indispensable for cognitive psychologists, linguists, and social psychologists.



Programming the Semantic Web

Author : Toby Segaran

Publisher : "O'Reilly Media, Inc."

Page : 302 pages

File Size : 48,46 MB

Release : 2009-07-09

Category : Computers

ISBN : 1449379176

Get eBook

Book Description

With this book, the promise of the Semantic Web -- in which machines can find, share, and combine data on the Web -- is not just a technical possibility, but a practical reality Programming the Semantic Web demonstrates several ways to implement semantic web applications, using current and emerging standards and technologies. You'll learn how to incorporate existing data sources into semantically aware applications and publish rich semantic data. Each chapter walks you through a single piece of semantic technology and explains how you can use it to solve real problems. Whether you're writing a simple mashup or maintaining a high-performance enterprise solution,Programming the Semantic Web provides a standard, flexible approach for integrating and future-proofing systems and data. This book will help you: Learn how the Semantic Web allows new and unexpected uses of data to emerge Understand how semantic technologies promote data portability with a simple, abstract model for knowledge representation Become familiar with semantic standards, such as the Resource Description Framework (RDF) and the Web Ontology Language (OWL) Make use of semantic programming techniques to both enrich and simplify current web applications



Innovations, Developments, and Applications of Semantic Web and Information Systems

Author : Lytras, Miltiadis D.

Publisher : IGI Global

Page : 493 pages

File Size : 29,14 MB

Release : 2018-01-19

Category : Computers

ISBN : 1522550437

Get eBook

Book Description

In the last few years, there has been an increased advancement and evolution in semantic web and information systems in a variety of fields. The integration of these approaches to ontology engineering, sophisticated methods and algorithms for open linked data extraction, and advanced decision-making creates new opportunities for a bright future. Innovations, Developments, and Applications of Semantic Web and Information Systems is a critical scholarly resource that discusses integrated methods of research and analytics in information technology. Featuring coverage on a broad range of topics, such as cognitive computing, artificial intelligence, machine learning, data analysis, and algorithms, this book is geared towards researchers, academicians, and professionals seeking current information on semantic web and information systems.



Concrete Semantics

Author : Tobias Nipkow

Publisher : Springer

Page : 304 pages

File Size : 38,39 MB

Release : 2014-12-03

Category : Computers

ISBN : 3319105426

Get eBook

Book Description

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.



A Practical Introduction to Denotational Semantics

Author : Lloyd Allison

Publisher : Cambridge University Press

Page : 150 pages

File Size : 17,72 MB

Release : 1986

Category : Computers

ISBN : 9780521314237

Get eBook

Book Description

Basics - Notation - Lattices - A simple language - Direct semantics - Control - Data structures and data types - A prolog semantics - Miscellaneous.



Applications and Developments in Semantic Process Mining

Author : Okoye, Kingsley

Publisher : IGI Global

Page : 248 pages

File Size : 19,85 MB

Release : 2020-04-10

Category : Computers

ISBN : 1799826708

Get eBook

Book Description

As technology becomes increasingly intelligent, various factors within the field of data science are seeing significant transformation. Process analysis is one area that is undergoing substantial development due to the implementation of semantic reasoning and web technologies. The congruence of these two systems has created various applications and developments in data processing and analysis across several professional fields. Applications and Developments in Semantic Process Mining is an essential reference source that discusses the improvement of process mining algorithms through the implementation of semantic modeling and representation. Featuring research on topics such as domain ontologies, fuzzy modeling, and information extraction, the book takes into account the different stages of process mining and its application in real time and then expounds the classical process mining techniques to semantical preparation of the extracted models for further analysis and querying at a more abstract level. The book provides a wide-ranging idea of the application and development of semantic process mining that is expected to be beneficial and used by professionals, software and data engineers, software developers, IT experts, business owners and entrepreneurs, and process analysts.