The OpenMath Project Mike Dewar NAG Ltd, UK

Slides:



Advertisements
Similar presentations
Three-Step Database Design
Advertisements

DOCUMENT TYPES. Digital Documents Converting documents to an electronic format will preserve those documents, but how would such a process be organized?
XML: Extensible Markup Language
CS 599 – Spatial and Temporal Databases Realm based Spatial data types: The Rose Algebra Ralf Hartmut Guting Markus Schneider.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System modeling 2.
CS 355 – Programming Languages
Linking HOL Light to Mathematica using OpenMath Supervised by:Dr. Sofiène Tahar Department of Electrical and Computer Engineering Presented by:Ons Seddiki.
1 SWE Introduction to Software Engineering Lecture 13 – System Modeling.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 8 Slide 1 System models.
W3C Finland Seminar: Semantic Web & Web Services© Kimmo RaatikainenMay 6, 2003 XML in Wireless World Kimmo Raatikainen University of Helsinki, Department.
ModelicaXML A Modelica XML representation with Applications Adrian Pop, Peter Fritzson Programming Environments Laboratory Linköping University.
Modified from Sommerville’s originalsSoftware Engineering, 7th edition. Chapter 8 Slide 1 System models.
Modified from Sommerville’s originalsSoftware Engineering, 7th edition. Chapter 8 Slide 1 System models.
XML –Query Languages, Extracting from Relational Databases ADVANCED DATABASES Khawaja Mohiuddin Assistant Professor Department of Computer Sciences Bahria.
1 Calculemus Autumn School Approaches On Integration 10/28/02 Sabina Petride.
Developed by Reneta Barneva, SUNY Fredonia Component Level Design.
W3C Activities HTML: is the lingua franca for publishing on the Web XHTML: an XML application with a clean migration path from HTML 4.01 CSS: Style sheets.
Mathematical Content Conversions David McKain 9 th September 2009.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 13 Slide 1 Application architectures.
Software Engineering 8. System Models.
1COM6030 Systems Analysis and Design © University of Sheffield 2005 COM 6030 Software Analysis and Design Lecture 4 - System modelling Dr Richard Clayton.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Towards Translating between XML and WSML based on mappings between.
Object and component “wiring” standards This presentation reviews the features of software component wiring and the emerging world of XML-based standards.
Introduction technology XSL. 04/11/2005 Script of the presentation Introduction the XSL The XSL standard Tools for edition of codes XSL Necessary resources.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
Chapter 4 System Models A description of the various models that can be used to specify software systems.
System models Abstract descriptions of systems whose requirements are being analysed Abstract descriptions of systems whose requirements are being analysed.
EXtensible Markup Language (XML) and Documentation --ManojBokil -- Manoj Bokil.
Intro. to XML & XML DB Bun Yue Professor, CS/CIS UHCL.
Scalable Metadata Definition Frameworks Raymond Plante NCSA/NVO Toward an International Virtual Observatory How do we encourage a smooth evolution of metadata.
©Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions.
XML A web enabled data description language 4/22/2001 By Mark Lawson & Edward Ryan L’Herault.
Object-Oriented Modeling Chapter 10 CSCI CSCI 1302 – Object-Oriented Modeling2 Outline The Software Development Process Discovering Relationships.
Chapter 7 System models.
System models l Abstract descriptions of systems whose requirements are being analysed.
Pertemuan 19 PEMODELAN SISTEM Matakuliah: D0174/ Pemodelan Sistem dan Simulasi Tahun: Tahun 2009.
Modified by Juan M. Gomez Software Engineering, 6th edition. Chapter 7 Slide 1 Chapter 7 System Models.
Software Engineering, 8th edition Chapter 8 1 Courtesy: ©Ian Somerville 2006 April 06 th, 2009 Lecture # 13 System models.
Sommerville 2004,Mejia-Alvarez 2009Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Web Services. Abstract  Web Services is a technology applicable for computationally distributed problems, including access to large databases What other.
SKOS. Ontologies Metadata –Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies –Provide.
11 CORE Architecture Mauro Bruno, Monica Scannapieco, Carlo Vaccari, Giulia Vaste Antonino Virgillito, Diego Zardetto (Istat)
SDPLNotes 3.2: DOM1 3.2 Document Object Model (DOM) n How to provide uniform access to structured documents in diverse applications (parsers, browsers,
Modul 4 Struktur Informasi Mata Kuliah Preservasi Informasi Digital.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Issues in Ontology-based Information integration By Zhan Cui, Dean Jones and Paul O’Brien.
REST By: Vishwanath Vineet.
The Semantic Web. What is the Semantic Web? The Semantic Web is an extension of the current Web in which information is given well-defined meaning, enabling.
UML Profile BY RAEF MOUSHEIMISH. Background Model is a description of system or part of a system using well- defined language. Model is a description.
WonderWeb. Ontology Infrastructure for the Semantic Web. IST Project Review Meeting, 11 th March, WP2: Tools Raphael Volz Universität.
OWL Web Ontology Language Summary IHan HSIAO (Sharon)
Introduction to UML Hazleen Aris Software Eng. Dept., College of IT, UNITEN. …Unified Modeling Language.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
XML Extensible Markup Language
The AstroGrid-D Information Service Stellaris A central grid component to store, manage and transform metadata - and connect to the VO!
1 Software Requirements Descriptions and specifications of a system.
OpenMath ESPRIT Project Mike Dewar NAG Ltd. OpenMath Workshop 11 November Background Consortium: –NAG, INRIA, RIACA, Springer, Bath, Ove, St.
Engineering, 7th edition. Chapter 8 Slide 1 System models.
IEC TC3 Blank Detail Specification
The Semantic Web By: Maulik Parikh.
Chapter 11 Object-Oriented Design
Abstract descriptions of systems whose requirements are being analysed
Markup Languages Gilok Choi 9/17/2018
Patterns.
Software Architecture Lecture 7
Software Architecture Lecture 7
Software Architecture Lecture 7
Software Architecture Lecture 6
Software Architecture & Design
Presentation transcript:

The OpenMath Project Mike Dewar NAG Ltd, UK

22/11/00Semantic Web Technologies What is OpenMath? A technology for encoding the semantics of mathematical objects so that they can be exchanged between applications and users IST Project International Society ( )

22/11/00Semantic Web Technologies Understanding Mathematical Notation Explicit Context: –let p be any prime number; then  a  , a p  a mod p Implicit Context: –a x  +b x  +c x  +d x+e –f  =f  =1 ; f  = f  + f  –ei–ei Conventions: –sin  (x) vs f  (x) –sin  (x) vs f  (x) –sin  (x) vs f  (x) Syntax: –sin(x) or Sin[x] or \sin{(x)} or... –  R f(x)dx or  R f(y)dy

22/11/00Semantic Web Technologies OpenMath A standard mechanism for representing mathematical objects electronically –Unambiguous semantics –Machine-processable –System-independent –Extensible –Lightweight –Scalable

22/11/00Semantic Web Technologies MathML Recommendation from W3C Mainly presentation Small content part (high school mathematics) Can embed OpenMath using semantics tag Can transform between OpenMath and MathML using e.g. XSL

22/11/00Semantic Web Technologies OpenMath Objects Abstract model for a concrete mathematical entity

22/11/00Semantic Web Technologies Content Dictionaries Specify semantics associated with symbols Extensible Standardised by OpenMath Society –Persistent – Private sin The sine function as described in Abramowitz and Stegun, section 4.3.

22/11/00Semantic Web Technologies Content Dictionaries Definition of each symbol can include: –informal descriptions –formal mathematical properties –examples of use Associated information can include: –default presentation information –associated type information –other mathematical properties

22/11/00Semantic Web Technologies Organising CDs CDs contain groups of related symbols –e.g. transc1 contains transcendental functions Related CDs collected into CD Groups –e.g. Linear Algebra CD Group linalg1: simple operations such as determinant linalg2: row-oriented constructors linalg3: column-oriented constructors linalg4: advanced operations such as eigenvalue linalg5: constructors for structured matrices

22/11/00Semantic Web Technologies Some more CD Groups MathML –Symbols corresponding to content part of MathML 2 –Basic calculus, sets, linear algebra, arithmetic, numbers, transcendental functions... Polynomial Special Functions Number Theory Groups...

22/11/00Semantic Web Technologies Encodings Provides concrete representation for an OpenMath object. Desirable features: –linear –compact XML encoding. Binary encoding....

22/11/00Semantic Web Technologies The OpenMath Standard Formal specifications of: –OpenMath objects –XML encoding –Binary encoding –Syntax for Content Dictionaries –Basic symbols for Content Dictionaries

22/11/00Semantic Web Technologies Associated Documents Type systems: –Simple Type System (STS) –Extended Calculus of Constructions (ECC) Content Dictionaries Also: –Guidelines for writing CDs –CD standardisation procedure –Correspondence between MathML(C) and CD Group

Building Applications With OpenMath

22/11/00Semantic Web Technologies Mathematical Components Interface described in terms of CDs “recognised” Use standard tools for translating between OpenMath and proprietary representations –Software layer which does this is called a Phrasebook Use any convenient mechanism to link components together –sockets, RPC, Active-X,...

22/11/00Semantic Web Technologies Interactive Documents Mathematical objects encoded as OpenMath Manipulations/Calculations via plug-ins and applets –renderers, editors,... Translators for existing content in LaTeX Standard frameworks to handle interaction: –XML/DOM, CORBA,... –OMDoc

22/11/00Semantic Web Technologies Mathematical Databases OpenMath API to existing databases Databases of OpenMath objects “Smart Databases”: –read CDs dynamically to extract mathematical properties –use properties in resolving queries

22/11/00Semantic Web Technologies Computing with OpenMath Objects OpenMath does not mandate a default action. –Typesetter –Algebra system –Numerical software OpenMath consists of nouns not verbs. Onus is on phrasebook writer to implement “correct” behaviour.

22/11/00Semantic Web Technologies Summary OpenMath provides a standard representation for semantically-rich mathematical data. OpenMath is a complementary technology to MathML.