A Study of Extensible Markup Language (XML)
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Business Meeting of the Openmath Society 2018
Business Meeting of the OpenMath Society 2018 Michael Kohlhase (President) Openmath Society http://openmath.org August 13. 2018, Hagenberg Kohlhase: Business Meeting of the OpenMath Society 2018 1 13. 8. 18, Hagenberg OpenMath 2018 Business Meeting (as required by Statutes) 1. Election of Chair of the meeting 2. Election of Secretary and two Minute Checkers (James is in Rio) 3. Annual Report 4. New Members? 5. Adoption of Balance Sheet and discharge of the Executive Committee 6. GDPR/Privacy issues for the Minutes 7. Election of the Executive Committee 8. Adoption of the second revision of the OM2 Standard 9. New OpenMath web site 10. OpenMath in JSON 11. OpenMath3 12. OMCD (management) Issues 13. Any Other Business (please come forward) Kohlhase: Business Meeting of the OpenMath Society 2018 2 13. 8. 18, Hagenberg Annual Report on Activities (2017-2018) I Last Open Business meeting, July 2017 in Edinburgh (internal ones in Spring to keep charter happy) I OM Repositories: Moved all digital assets to http://github.com/OpenMath I OM Web Site: deployed a new web site based on GH Pages (see below) I OM CD Submission Process: based on GitHub now, I OM Standard moved to separate repository, build process renovated, automated by travis. I OM2 Standard: thorough editing, more error fixing (OM binding) I OM3 Standard Effort: not started due to OM2e2 work Kohlhase: Business Meeting of the OpenMath Society 2018 3 13. 8. 18, Hagenberg New Members? I Anybody who has attended 3 OM Workshops or worked on OM for 6 months can become a member (will be generous) I please suggest new members (self-nominations encouraged) I New members proposed by OM Executive Committee I ???? Kohlhase: Business Meeting of the OpenMath Society 2018 4 13. -
Generating Openmath Content Dictionaries from Wikidata
Generating OpenMath Content Dictionaries from Wikidata Moritz Schubotz Dept. of Computer and Information Science, University of Konstanz, Box 76, 78464 Konstanz, Germany, [email protected] Abstract OpenMath content dictionaries are collections of mathematical sym- bols. Traditionally, content dictionaries are handcrafted by experts. The OpenMath specification requires a name and a textual description in English for each symbol in a dictionary. In our recently published MathML benchmark (MathMLBen), we represent mathematical for- mulae in Content MathML referring to Wikidata as the knowledge base for the grounding of the semantics. Based on this benchmark, we present an OpenMath content dictionary, which we generated auto- matically from Wikidata. Our Wikidata content dictionary consists of 330 entries. We used the 280 entries of the benchmark MathMLBen, as well as 50 entries that correspond to already existing items in the official OpenMath content dictionary entries. To create these items, we proposed the Wikidata property P5610. With this property, everyone can link OpenMath symbols and Wikidata items. By linking Wikidata and OpenMath data, the multilingual community maintained textual descriptions, references to Wikipedia articles, external links to other knowledge bases (such as the Wolfram Functions Site) are connected to the expert crafted OpenMath content dictionaries. Ultimately, these connections form a new content dictionary base. This provides multi- lingual background information for symbols in MathML formulae. 1 Introduction and Prior Works Traditionally, mathematical formulae occur in a textual or situational context. Human readers infer the meaning of formulae from their layout and the context. An essential task in mathematical information retrieval (MathIR) is to mimic parts of this process to automate MathIR tasks. -
JSON Application Programming Interface for Discrete Event Simulation Data Exchange
JSON Application Programming Interface for Discrete Event Simulation data exchange Ioannis Papagiannopoulos Enterprise Research Centre Faculty of Science and Engineering Design and Manufacturing Technology University of Limerick Submitted to the University of Limerick for the degree of Master of Engineering 2015 1. Supervisor: Prof. Cathal Heavey Enterprise Research Centre University of Limerick Ireland ii Abstract This research is conducted as part of a project that has the overall aim to develop an open source discrete event simulation (DES) platform that is expandable, and modular aiming to support the use of DES at multi-levels of manufacturing com- panies. The current work focuses on DES data exchange within this platform. The goal of this thesis is to develop a DES exchange interface between three different modules: (i) ManPy an open source discrete event simulation engine developed in Python on the SimPy library; (ii) A Knowledge Extraction (KE) tool used to populate the ManPy simulation engine from shop-floor data stored within an Enterprise Requirements Planning (ERP) or a Manufacturing Execution System (MES) to allow the potential for real-time simulation. The development of the tool is based on R scripting language, and different Python libraries; (iii) A Graphical User Interface (GUI) developed in JavaScript used to provide an interface in a similar manner to Commercial off-the-shelf (COTS) DES tools. In the literature review the main standards that could be used are reviewed. Based on this review and the requirements above, the data exchange format standard JavaScript Object Notation (JSON) was selected. The proposed solution accom- plishes interoperability between different modules using an open source, expand- able, and easy to adopt and maintain, in an all inclusive JSON file. -
Standardisation and Organisation of Clinical Data and Disease Mechanisms for Comparison Over Heterogeneous Systems in the Context of Neurodegenerative Diseases
PhD-FSTC-2018-51 The Faculty of Sciences, Technology and Communication DISSERTATION Defence held on 03/07/2018 in Luxembourg to obtain the degree of DOCTEUR DE L’UNIVERSITÉ DU LUXEMBOURG EN BIOLOGIE by AISHWARYA ALEX NAMASIVAYAM Born on 12 November 1987 in Bharananganam (India) STANDARDISATION AND ORGANISATION OF CLINICAL DATA AND DISEASE MECHANISMS FOR COMPARISON OVER HETEROGENEOUS SYSTEMS IN THE CONTEXT OF NEURODEGENERATIVE DISEASES Dissertation defence committee Prof. Dr Reinhard Schneider, dissertation supervisor Professor, Université du Luxembourg Dr Inna Kuperstein Researcher and scientific coordinator, Institut Curie, Paris Dr Enrico Glaab, Chairman Senior research scientist, Université du Luxembourg Prof. Dr Karsten Hiller Professor, Technische Universität Braunschweig Dr Marek Ostaszewski, Vice Chairman Research associate, Université du Luxembourg Affidavit I hereby confirm that the PhD thesis entitled "Standardisation and Organisation of Clinical Data and Disease Mechanisms for Comparison Over Heterogeneous Systems in the Context of Neurodegenerative Diseases" has been written independently and without any other sources than cited. Luxembourg, July 26, 2018 Aishwarya Alex Namasivayam i ii Acknowledgements First and foremost, I would like to thank Dr. Reinhard Schneider, my supervisor for giving me the opportunity and support to pursue my PhD in the group. Biocore is a very wonderful working environment. I couldnt ask for a better boss! I would like to thank all my colleagues for their support and making this a memorable journey. Special thanks to Marek, Venkata, Wei and Piotr for their valuable suggestions and feedbacks. My sincere gratitude to Dr. Jochen Schneider and Dr. Karsten Hiller for agreeing to be part of the CET committee and the constructive criticism during the PhD. -
Semi-Automated Correction Tools for Mathematics-Based Exercises in MOOC Environments
International Journal of Artificial Intelligence and Interactive Multimedia, Vol. 3, Nº 3 Semi-Automated Correction Tools for Mathematics-Based Exercises in MOOC Environments Alberto Corbí and Daniel Burgos Universidad Internacional de La Rioja the accuracy of the result but also in the correctness of the Abstract — Massive Open Online Courses (MOOCs) allow the resolution process, which might turn out to be as important as participation of hundreds of students who are interested in a –or sometimes even more important than– the final outcome wide range of areas. Given the huge attainable enrollment rate, it itself. Corrections performed by a human (a teacher/assistant) is almost impossible to suggest complex homework to students and have it carefully corrected and reviewed by a tutor or can also add value to the teacher’s view on how his/her assistant professor. In this paper, we present a software students learn and progress. The teacher’s feedback on a framework that aims at assisting teachers in MOOCs during correction sheet always entails a unique opportunity to correction tasks related to exercises in mathematics and topics improve the learner’s knowledge and build a more robust with some degree of mathematical content. In this spirit, our awareness on the matter they are currently working on. proposal might suit not only maths, but also physics and Exercises in physics deepen this reviewing philosophy and technical subjects. As a test experience, we apply it to 300+ physics homework bulletins from 80+ students. Results show our student-teacher interaction. Keeping an organized and solution can prove very useful in guiding assistant teachers coherent resolution flow is as relevant to the understanding of during correction shifts and is able to mitigate the time devoted the underlying physical phenomena as the final output itself. -
The Utility of Openmath
The Utility of OpenMath James H. Davenport? Department of Computer Science, University of Bath, Bath BA2 7AY England [email protected], WWW home page: http://staff.bath.ac.uk/masjhd Abstract. OpenMath [5] is a standard for representing the semantics of mathematical objects. It differs from ‘Presentation’ MathML [7] in not being directly concerned with the presentation of the object, and from ‘Content’ MathML in being extensible. How should these extensions be performed so as to maximise the utility (which includes presentation) of OpenMath? 1 What is OpenMath? “OpenMath is an emerging standard for representing mathematical objects with their semantics, allowing them to be exchanged between computer programs, stored in databases, or published on the worldwide web.”1. In particular, Open- Math is extensible, unlike MathML 2.02 [7]. It achieves this by having an exten- sible collection of Content Dictionaries. “Content Dictionaries (CDs) are used to assign informal and formal semantics to all symbols used in the OpenMath ob- jects. They define the symbols used to represent concepts arising in a particular area of mathematics” [5, section 1.3]. Notation 1 By an OpenMath CD we will mean any document conforming to the formal syntax of [5]. The status of an OpenMath content dictionary is one of the following [5, Section 4.2.1]: – official: approved by the OpenMath society according to the procedure defined in section 4.5 (of [5]); ? This paper owes much to some questions of Paul Libbrecht, when we were both at the IMA Workshop “The Evolution of Mathematical Communication in the Age of Digital Libraries” — December 8–9, 2006. -
Architecture of a P2P Distributed Adaptive Directory
Architecture of a P2P Distributed Adaptive Directory Gennaro Cordasco Vittorio Scarano Cristiano Vitolo [email protected] [email protected] [email protected] Dipartimento di Informatica e Applicazioni “R.M.Capocelli” Universit`a di Salerno, 84081 Baronissi (SA) – Italy Categories and Subject Descriptors C.2.4 [Distributed Systems]: Distributed Applications; H.3.4 [Systems and Software]: Distributed Systems; H.5.4 [Hypertext/Hypermedia]: Navigation General Terms Design Keywords Adaptivity, Bookmark sharing, Peer to Peer 1. INTRODUCTION Bookmarks are, nowadays, an important aid to navigation since they represent an easy way to reduce the cognitive load of man- aging and typing URLs. All the browsers have always provided, since the very beginning of the WWW, friendly ways of managing bookmarks. In this paper we deal with the problem of enriching this Figure 1: The diagram of the architecture of our system. supportive framework for bookmarks (as provided by the browsers) The middle layer, named DAD, exploits the bottom level to ob- by adding collaboration and (group) adaptation with a P2P system. tain information about bookmarks and users, providing a collabora- In this paper, we describe a system that offers a distributed, co- tive and adaptive system to manage bookmarks. Shared bookmarks operative and adaptive environment for bookmark sharing. DAD are placed in an ontology that is common to all the peers and the (Distributed Adaptive Directory) offers an adaptive environment adaptivity provided by the system is based on a modified applica- since it provides suggestions about the navigation based on (a) the tion of the Kleinberg algorithm to evaluate hub and authorities on a bookmarks, (b) the feedback implicitly provided by users and (c) web structure. -
Dogear: Social Bookmarking in the Enterprise David R Millen, Jonathan Feinberg, Bernard Kerr One Rogers Street
CHI 2006 Proceedings • Social Computing 1 April 22-27, 2006 • Montréal, Québec, Canada Dogear: Social Bookmarking in the Enterprise David R Millen, Jonathan Feinberg, Bernard Kerr One Rogers Street. Cambridge, MA 02142 {david_r_millen, jdf, bernard_kerr}@us.ibm.com +1-617-693-7490 ABSTRACT Perhaps the most familiar approach to re-finding informa- In this paper we describe a social bookmarking service de- tion on the web has been the use of personal bookmarks, as signed for a large enterprise. We discuss design principles supported by various web browsers. For example, the addressing online identity, privacy, information discovery Mozilla browser supports the creation of collections of (including search and pivot browsing), and service extensi- URLs, which can be annotated using keywords or free-form bility based on a web-friendly architectural style. In addi- text, and then sorted on a variety of dimensions (e.g., time tion we describe the key design features of our implementa- last visited, keyword, location). An early study of book- tion. We provide the results of an eight week field trial of mark use showed that people created bookmarks based on this enterprise social bookmarking service, including a de- the quality of and personal interest in the content, high fre- scription of user activities, based on log file analysis. We quency of current use, and a sense of potential for future share the results of a user survey focused on the benefits of use [1]. Furthermore, the number of bookmarks contained the service. The feedback from the user trial, comprising in an individual collection grew steadily and roughly line- survey results, log file analysis and informal communica- arly, and the use of folders to categorize bookmarks in- tions, is quite positive and suggests several promising en- creased as the size of the collection increased. -
Understanding
Implementing UBL Mark Crawford UBL Vice Chair XML 2003 9 December 2003 Why Are We Talking About UBL • UBL fulfils the promise of XML for business by defining a standard cross-industry vocabulary • UBL is the ebXML missing link • UBL plus ebXML enables the next generation of eBusiness exchanges – Cheaper, easier, Internet-ready – Extends benefits of EDI to small businesses – Fits existing legal and trade concepts – Allows re-use of data • UBL can provide the XML payload for a wide variety of other web-based business frameworks Overview 1 What and Why of UBL 2 The Design of UBL ebXML Core Components Naming and Design Rules Document Engineering Customizing UBL 3 The Content of UBL 1.0 What is Normative What is non-Normative Availability 4 Making UBL Happen 5 UBL Phase 2 6 Summary The promise of XML for e-business • Plug ‘n’ play electronic commerce – Spontaneous trade – No custom programming • Ubiquity on the Internet – Dirt-cheap tools – Complete platform independence – Enable true global market availability • Enable universal interoperability – Abandon existing EDI systems – Handle both "publication" document types and "transactional" documents Goals for Successful eBusiness Services • Web-enable existing fax- and paper-based business practices • Allow businesses to upgrade at their own pace • Preserve the existing investment in electronic business exchanges • Integrate small and medium-size businesses into existing electronic data exchange-based supply chains The standardization of XML business documents is the easiest way to accomplish -
Mathematical Document Representation and Processing1
Formats Format Usage in DML-CZ Delivery Summary and Conclusions Mathematical Document Representation and Processing1 Petr Sojka Faculty of Informatics, Masaryk University, Brno, CZ, EU Dec 1st, 2008 1Supported by the Academy of Sciences of Czech Republic grant #1ET200190513 Mathematical Document Representation and Processing Faculty of Informatics, Masaryk University, Brno, CZ, EU Formats Format Usage in DML-CZ Delivery Summary and Conclusions Purpose-driven format choices Purposes for storing mathematics I Format choice depends on application’s purpose. I Most applications have its own internal format anyway. I For exchange seems to win XML/MathML (but which one?). I As authoring tools seems to be prefered (La)TEX. I Quite different requirements have theorem proving systems. Mathematical Document Representation and Processing Faculty of Informatics, Masaryk University, Brno, CZ, EU Formats Format Usage in DML-CZ Delivery Summary and Conclusions Purpose-driven format choices Mathematical Document Representation and Processing Faculty of Informatics, Masaryk University, Brno, CZ, EU Formats Format Usage in DML-CZ Delivery Summary and Conclusions Purpose-driven format choices Math Author Tools: LATEX, AMSLATEX (pdfAMSLATEX) I Good for authors: authors may express as close as possible to their mental model in their brain (new macros, namespaces). I This author’s advantage make headaches to the editors and those wishing to convert to some standard formalism (to index, evaluate, . ). I Many different macropackages, and active development as possibilites grow (XeTeX, LuaTEX, pdfTEX), . Mathematical Document Representation and Processing Faculty of Informatics, Masaryk University, Brno, CZ, EU Formats Format Usage in DML-CZ Delivery Summary and Conclusions Purpose-driven format choices pdfTEX program (used in Infty) was born in Brno during studies of Vietnamese student Hàn Thê´ Thành (1990–2001). -
Χchek RC2 User Manual
χChek RC2 User Manual Documentation maintained by Jocelyn Simmonds and Arie Gurfinkel [email protected] Department of Computer Science 40 St George Street University of Toronto Toronto, Ontario, Canada M5S 2E4 This document is part of the distribution package of the χChek model checker. Copyright c 2002 – 2007 by University of Toronto Contents 1 Introduction 2 2 Installation 4 3 Input 5 3.1 Models .......................................... ........ 5 3.1.1 SMV ........................................... .... 5 3.1.2 GCLang........................................ ...... 5 3.1.3 XML ........................................... .... 9 3.2 Algebras........................................ .......... 11 3.2.1 Availablealgebras .. .... .... ... .... .... .... .... ........... 11 3.2.2 Encodinganalgebra ............................. .......... 12 3.3 Properties ...................................... ........... 14 4 Guide to the XChek User Interface 16 4.1 Loadingamodel ................................... .......... 17 4.1.1 SMVandGCLangmodels .. .... ... .... .... .... .... ... ........ 18 4.1.2 XMLmodels ..................................... ...... 20 4.2 CTLHistoryfiles .................................. ........... 20 4.3 Counterexamples ................................. ............ 21 4.4 Preferences ..................................... ........... 23 5 Tutorial 27 5.1 ModelChecking................................... ........... 27 5.2 VacuityDetection................................ ............. 29 5.3 QueryChecking.................................. -
!! #! " $ !" XML Document Processing: Theory and Practice
ïôU:žK‡öUÖæÙ XML Document Processing: Theory and Practice (Course Number: 725 U3420) Fall 2008 Place and Time Room 309 in Common Courses Building, Wednesday 14:30 – 17:20. Course Web Site http://www.iis.sinica.edu.tw/~trc/public/courses/Fall2008/ Instructor Š•^ (-.vb Ç Ñxv@ ová) Tyng–Ruey Chuang (Associate Research Fellow, Institute of Information Science, Academia Sinica) E–mail: [email protected], Website: http://www.iis.sinica.edu.tw/~trc/ Office hours: Monday 4:50 – 6:40 pm at Room 716 in Management Building I. Office phone numbers: 02-3366-1200 ext. 20 (Monday 4:50 – 6:40 pm only), 02-2788-3799 ext. 1608 (Academia Sinica). Teaching Assistant 5=† Chin-Lung Chang E–mail: [email protected], Tel: (02) 2788 3799 ext. 1663 (Academia Sinica). Schedule (Part 1) 09/17 Document markup languages; HTML and SVG examples; Why XML? (Part 1) 09/24 XML Recommendation — DTD (Document Type Definition); Case study: RSS 0.91, QAML, XBEL. (Part 1) 10/01 XML Recommendation — language code, character set, text encoding; XML Namespace. (Part 1) 10/08 (Guest Lecturer: Yi-Hong Chang 555ÝÝÝ;;;) CSS (Cascading Style Sheets). (Part 2) 10/15 XPath (XML Path Language). (Part 2) 10/22 XSLT (Extensible Stylesheet Language Transformations). (Part 2) 10/29 DOM (Document Object Model). (Part 2) 11/05 XML in Web programming: Server-side/client-side XSLT, client-side ECMAscripting, etc. (Part 3) 11/12 XML DTD revisited; Case study: Ruby, XBEL, XHTML Modulation. (Part 3) 11/19 (Guest Lecturer: Chin-Lung Chang 555===†††) XML Schema — Structures & Datatypes.