A Survey of Techniques for Achieving Metadata Interoperability
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Thinkjs 2.0 Documentation
ThinkJS 2.0 Documentation ᳪفள᭛ Օᕨ ጱ Node.js MVC ຝֵ҅አ ES7 Ӿ async/await ҅ᘏ ES6ݎෛقThinkJS ฎӞֵྃአ ES6/7 ᇙ තԧࢵٖक़ռग़ຝጱᦡᦇቘஷޕӾጱ */yield ᇙବᥴ٬ԧ Node.js Ӿྍ્ॺጱᳯ̶᷌ݶ ṛප̶̵ܔᓌےNode.js ᶱፓๅ ݎమ҅ᦏ පሲ҅ฎ۠ಅࣁ̶ଚӬෛᇇጱ Node.js ES6 ᇙԞํԧݎᶱፓݢզय़य़ṛݎአ ES6/7 ᇙֵ Զᇙᬮဌํඪ೮҅Ԟݢզۗ Babel ᖫᦲඪ೮̶ํֵܨঅጱඪ೮҅ ᇙ ᶱፓݎአ ES6/7 ᇙֵ ᇇӧඪ೮̶੦ٌฎֵڹۗ Babel ᖫᦲ҅ݢզࣁᶱፓӾय़ᙦֵአ ES6/7 ಅํጱᇙ҅෫ᵱஞߺԶᇙ୮ አ async/await ᘏ */yield ᥴ٬ྍࢧ᧣ጱᳯ̶᷌ JavaScript //user controller, home/controller/user.js export default class extends think.controller.base { //login action async loginAction(self){ //ইຎฎget᧗҅ፗളดᐏጭ୯ᶭᶎ if(this.isGet()){ return this.display(); } ᬯ᯾ݢզ᭗ᬦpostොဩ឴ݐಅํጱහഝ҅හഝ૪ᕪࣁlogic᯾؉ԧ໊ḵ// let data = this.post(); let md5 = think.md5('think_' + data.pwd); ᯈහഝପӾԭጱፓ܃ݸጱੂᎱ݄ੂےአಁݷ// let result = await this.model('user').where({name: data.name, pwd: md5}).find(); ձ֜හഝ҅ᤒᐏአಁݷᘏੂᎱᲙکᯈ܃ইຎ๚// if(think.isEmpty(result)){ return this.fail('login fail'); } sessionفٟ௳מݸ҅ਖ਼አಁ௳מአಁک឴ݐ// await this.session('userInfo', result); return this.success(); } } ӤᶎጱդᎱ౯ժֵአԧ ES6 ᯾ጱ class , export , let զ݊ ES7 ᯾ጱ async await ᒵᇙ҅ Session ᮷ฎྍ֢҅֕ۗ async/await ҅դᎱ᮷ฎݶྍԡٟጱ̶๋ݸֵ فᡱᆐັᧃහഝପٟ አ Babel ᬰᤈᖫᦲ҅੪ݢզᑞਧᬩᤈࣁ Node.js ጱሾहӾԧ̶ ඪ೮ग़ᐿᶱፓᕮग़ᐿᶱፓሾह ̶ݎཛྷࣘཛྷୗᒵग़ᐿᶱፓᕮ҅ݢզჿ᪃ݱᐿᶱፓ॔ଶጱړཛྷࣘཛྷୗ̵ฦ᭗ཛྷୗ̵ܔᶱፓඪ೮ ἕᦊඪ೮ development ҅ testing prodution 3 ᐿᶱፓሾह҅ݢզࣁӧݶጱᶱፓሾहӥᬰᤈӧݶ ጱᯈᗝ҅ჿ᪃ࣁӧݶሾहӥጱᯈᗝᵱ҅ݶᬮݢզचԭᶱፓᵱᥝᬰᤈಘ̶ ඪ೮ӿጱහഝପ ThinkJS ඪ೮ mysql ҅ mongodb ҅ sqlite ᒵଉᥠጱහഝପ҅ଚӬᤰԧஉग़֢හഝପጱളݗ҅෫ᵱ ᚆ̶ۑᘶཛྷࣳᒵṛᕆى̵ۓᄋ၏̶ݶඪ೮Ԫقᒵਞفಋۖ೪ള SQL ݙ҅ᬮݢզᛔۖᴠྊ SQL ဳ դᎱᛔۖๅෛ Ԟӧአۗᒫӣ҅ۓNode.js ๐ ސኞප҅ӧአ᯿ܨදݸᒈץկ҅ګThinkJS ٖᗝԧӞॺդᎱᛔۖๅෛጱ ොཛྷ̶ࣘ ୌ REST ളݗڠᛔۖ ইຎమࣁ̶ݎݢਠ౮ REST API ጱܨୌ REST -
Compiler Error Messages Considered Unhelpful: the Landscape of Text-Based Programming Error Message Research
Working Group Report ITiCSE-WGR ’19, July 15–17, 2019, Aberdeen, Scotland Uk Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research Brett A. Becker∗ Paul Denny∗ Raymond Pettit∗ University College Dublin University of Auckland University of Virginia Dublin, Ireland Auckland, New Zealand Charlottesville, Virginia, USA [email protected] [email protected] [email protected] Durell Bouchard Dennis J. Bouvier Brian Harrington Roanoke College Southern Illinois University Edwardsville University of Toronto Scarborough Roanoke, Virgina, USA Edwardsville, Illinois, USA Scarborough, Ontario, Canada [email protected] [email protected] [email protected] Amir Kamil Amey Karkare Chris McDonald University of Michigan Indian Institute of Technology Kanpur University of Western Australia Ann Arbor, Michigan, USA Kanpur, India Perth, Australia [email protected] [email protected] [email protected] Peter-Michael Osera Janice L. Pearce James Prather Grinnell College Berea College Abilene Christian University Grinnell, Iowa, USA Berea, Kentucky, USA Abilene, Texas, USA [email protected] [email protected] [email protected] ABSTRACT of evidence supporting each one (historical, anecdotal, and empiri- Diagnostic messages generated by compilers and interpreters such cal). This work can serve as a starting point for those who wish to as syntax error messages have been researched for over half of a conduct research on compiler error messages, runtime errors, and century. Unfortunately, these messages which include error, warn- warnings. We also make the bibtex file of our 300+ reference corpus ing, and run-time messages, present substantial difficulty and could publicly available. -
Mapping Topic Maps to Common Logic
MAPPING TOPIC MAPS TO COMMON LOGIC Tamas´ DEMIAN´ Advisor: Andras´ PATARICZA I. Introduction This work is a case study for the mapping of a particular formal language (Topic Map[1] (TM)) to Common Logic[2] (CL). CL was intended to be a uniform platform ensuring a seamless syntactic and semantic integration of knowledge represented in different formal languages. CL is based on first-order logic (FOL) with a precise model-theoretic semantic. The exact target language is Common Logic Interchange Format (CLIF), the most common dialect of CL. Both CL and TM are ISO standards and their metamodels are included in the Object Definition Metamodel[3] (ODM). ODM was intended to serve as foundation of Model Driven Architecture (MDA) offering formal basis for representation, management, interoperability, and semantics. The paper aims at the evaluation of the use of CL as a fusion platform on the example of TM. II. The Topic Maps TM is a technology for modelling knowledge and connecting this structured knowledge to relevant information sources. A central operation in TMs is merging, aiming at the elimination of redundant TM constructs. TopicMapConstruct is the top-level abstract class in the TM metamodel (Fig. 1). The later detailed ReifiableConstruct, TypeAble and ScopeAble classes are also abstract. The remaining classes are pairwise disjoint. Figure 1: The class hierarchy and the relation and attribute names of the TM metamodel. TopicMap is a set of topics and associations. Topic is a symbol used within a TM to represent exactly one subject, in order to allow statements to be made about that subject. -
Towards a Conceptual Model for an E-Government Interoperability Framework for South Africa
Towards a Conceptual Model for an e-Government Interoperability Framework for South Africa Paula Kotzé1,2 and Ronell Alberts1 1CSIR Meraka Institute, Pretoria, South Africa 2Department of Informatics, University of Pretoria, Pretoria, South Africa Keywords: e-Government, e-GIF, Interoperability. Abstract: In September 2016, the South African Government published a White Paper on the National Integrated ICT Policy highlighting some principles for e-Government and the development of a detailed integrated national e-Government strategy and roadmap. This paper focuses on one of the elements of such a strategy, namely the delivery infrastructure principles identified, and addresses the identified need for centralised coordination to ensure interoperability. The paper proposes a baseline conceptual model for an e- Government interoperability framework (e-GIF) for South Africa. The development of the model considered best practices and lessons learnt from previous national and international attempts to design and develop national and regional e-GIFs, with cognisance of the South African legislation and technical, social and political environments. The conceptual model is an enterprise model on an abstraction level suitable for strategic planning. 1 INTRODUCTION (Lallana, 2008: p.1) and is becoming an increasingly crucial issue, also for developing countries (United Implementing a citizen-centric approach, digitising Nations Development Programme, 2007). Many processes and making organisational changes to governments have finalised the design of national e- delivering government services are widely posited as Government strategies and are implementing priority a way to enhance services, save money and improve programmes. However, many of these interventions citizens’ quality of life (Corydon et al., 2016). The have not led to more effective public e-services, term electronic government (e-Government) is simply because they have ended up reinforcing the commonly used to represent the use of digital tools old barriers that made public access cumbersome. -
Towards the Second Edition of ISO 24707 Common Logic
Towards the Second Edition of ISO 24707 Common Logic Michael Gr¨uninger(with Tara Athan and Fabian Neuhaus) Miniseries on Ontologies, Rules, and Logic Programming for Reasoning and Applications January 9, 2014 Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 1 / 20 What Is Common Logic? Common Logic (published as \ISO/IEC 24707:2007 | Information technology Common Logic : a framework for a family of logic-based languages") is a language based on first-order logic, but extending it in several ways that ease the formulation of complex ontologies that are definable in first-order logic. Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 2 / 20 Semantics An interpretation I consists of a set URI , the universe of reference a set UDI , the universe of discourse, such that I UDI 6= ;; I UDI ⊆ URI ; a mapping intI : V ! URI ; ∗ a mapping relI from URI to subsets of UDI . Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 3 / 20 How Is Common Logic Being Used? Open Ontology Repositories COLORE (Common Logic Ontology Repository) colore.oor.net stl.mie.utoronto.ca/colore/ontologies.html OntoHub www.ontohub.org https://github.com/ontohub/ontohub Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 4 / 20 How Is Common Logic Being Used? Ontology-based Standards Process Specification Language (ISO 18629) Date-Time Vocabulary (OMG) Foundational UML (OMG) Semantic Web Services Framework (W3C) OntoIOp (ISO WD 17347) Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 -
Fundamentals of C Programming
Index Fundamentals of C Programming .............................................................................................. 3 Discrete Mathematics ............................................................................................................... 3 Fundamentals of Data Structures .............................................................................................. 5 Fundamentals of Logic and Computer Design ........................................................................... 7 Laboratory for Fundamentals of Logic and Computer Design ................................................ 10 Object-Oriented Programming (C++) ...................................................................................... 12 Database Systems .................................................................................................................... 14 Computer Organization ........................................................................................................... 14 Laboratory for Computer Organization ................................................................................... 16 Java Programming ................................................................................................................... 18 Principles of Database System ................................................................................................ 20 Advanced Data Structures and Algorithm Analysis ................................................................. 22 E-commerce Technologies ..................................................................................................... -
Interoperability and Patient Access for Medicare Advantage Organization and Medicaid
Notice: This HHS-approved document has been submitted to the Office of the Federal Register (OFR) for publication and has not yet been placed on public display or published in the Federal Register. The document may vary slightly from the published document if minor editorial changes have been made during the OFR review process. The document published in the Federal Register is the official HHS-approved document. [Billing Code: 4120-01-P] DEPARTMENT OF HEALTH AND HUMAN SERVICES Centers for Medicare & Medicaid Services 42 CFR Parts 406, 407, 422, 423, 431, 438, 457, 482, and 485 Office of the Secretary 45 CFR Part 156 [CMS-9115-P] RIN 0938-AT79 Medicare and Medicaid Programs; Patient Protection and Affordable Care Act; Interoperability and Patient Access for Medicare Advantage Organization and Medicaid Managed Care Plans, State Medicaid Agencies, CHIP Agencies and CHIP Managed Care Entities, Issuers of Qualified Health Plans in the Federally-facilitated Exchanges and Health Care Providers AGENCY: Centers for Medicare & Medicaid Services (CMS), HHS. ACTION: Proposed rule. SUMMARY: This proposed rule is intended to move the health care ecosystem in the direction of interoperability, and to signal our commitment to the vision set out in the 21st Century Cures Act and Executive Order 13813 to improve access to, and the quality of, information that Americans need to make informed health care decisions, including data about health care prices CMS-9115-P 2 and outcomes, while minimizing reporting burdens on affected plans, health care providers, or payers. DATES: To be assured consideration, comments must be received at one of the addresses provided below, no later than 5 p.m. -
Interoperability and the Solaris™ 10 Operating System
Interoperability and the Solaris™ 10 Operating System Interoperability from the Desktop to the Data Center Across a Range of Systems, Software, and Technologies < Investment protection in heterogeneous environments Today, businesses rely on complex, geographically dispersed computing infrastructures that often consist of hundreds of heterogeneous hardware and software platforms from a wide variety of vendors. If these environments are to remain manageable, organizations must be able to rely on interoperable products that work well together. At the same time, as organiza- tions evolve their computing environments with an eye toward improving cost-effectiveness and total cost of ownership (TCO), heavy investments in servers, operating systems, and applications must be protected, and dependence on specific hardware or software vendors must be avoided. The Solaris™ 10 Operating System meets these challenges through a number of different ways, from interoperability with both Linux and Microsoft Windows-based systems through support for a wide range of open standards and open source applications. Interoperability with Java™ technology Windows on a Solaris system by installing a Highlights The Java™ technology revolution has changed SunPCi™ card. The Solaris OS also supports An ideal platform for heteroge- how people think about interoperability by open standards and interfaces that make it neous computing, the Solaris™ no longer tying application design to a specific easier to interoperate with Microsoft Windows 10 OS: platform. Running on every major hardware systems. Authentication interoperability can • Supports open standards such platform and supported by virtually every be achieved through the Kerberos protocol as UDDI, SOAP, WSDL, and XML software vendor, Java technology enables using the Sun Enterprise Authentication • Provides source and binary business applications to be developed and Mechanism™ software built right into the compatibility for Linux applica- operated independent of operating systems. -
Interoperability As Desideratum, Problem, and Process
Interoperability as Desideratum, Problem, and Process Gary Richmond City University of New York [email protected] Copyright © by Aalborg University Press 2006 Abstract. In a global environment more and more influenced by the use of Internet technology in distributed settings, issues of interoperability have become crucial for business and governments, and in fact for all individuals and organizations employing it and increasingly dependent on it. We analyze three inter-related but distinct levels of interoperability, the syntactic, semantic and pragmatic, and discuss some of the interoperability issues related especially to the semantic and pragmatic levels. We briefly look at the relationship between philosophical Ontology and ontology as the term is used in AI, suggesting that especially the scientific metaphysics (Ontology) of Charles Peirce might be of value in helping KR workers generally and ontologists in particular to uncover possibly hidden ontological commitments. We then consider John Sowa’s Unified Framework (UF) approach to semantic interoperability which recommends the adoption of the draft ISO standard for Common Logic, and touch upon how CGs could be effectively employed within this framework. The promise of Service Oriented Architectures (SOA) in consideration of real world applications is remarked, and it is suggested how in a fast paced and continuously changing environment, loose coupling may be becoming a necessity—not merely an option. We conclude that, while the future of network interoperability is far from certain, our communities at least can begin to act in concert within our particular fields of interest to come to agreement on those “best in class” theories, methods, and practices which could become catalysts for bringing about the cultural change whereas interoperability, openness, and sharing are seen as global desiderata. -
Using Common Logic
Using Common Logic = Mapping other KR techniques to CL. = Eliminating dongles. = The zero case Pat Hayes Florida IHMC John Sowa talked about this side. Now we will look more closely at this side, using the CLIF dialect. Wild West Syntax (CLIF) Any character string can be a name, and any name can play any syntactic role, and any name can be quantified. Anything that can be named can also be the value of a function. All this gives a lot of freedom to say exactly what we want, and to write axioms which convert between different notational conventions. It also allows many other 'conventional' notations to be transcribed into CLIF directly and naturally. It also makes CLIF into a genuine network logic, because CLIF texts retain their full meaning when transported across a network, archived, or freely combined with other CLIF texts. (Unlike OWL-DL and GOFOL) Mapping other notations to CLIF. 1. Description Logics Description logics provide ways to define classes in terms of other classes, individuals and properties. All people who have at least two sons enlisted in the US Navy. <this class> owl:intersectionOf [:Person _:x] _:x rdf:type owl:Restriction _:x owl:minCardinality "2"^^xsd:number _:x owl:onProperty :hasSon _:x owl:toClass _:y _:y rdf:type owl:Restriction _:y owl:hasValue :USNavy _:y owl:onProperty :enlistedIn Mapping other notations to CLIF. 1. Description Logics Classes are CL unary relations, properties are CL binary relations. So DL operators are functions from relations to other relations. (owl:IntersectionOf Person (owl:minCardinality 2 hasSon (owl:valueIs enlistedIn USNavy))) (AND Person (MIN 2 hasSon (VAL enlistedIn USNavy))) ((AND Person (MIN 2 hasSon (VAL enlistedIn USNavy))) Harry) (= 2ServingSons (AND Person (MIN 2 hasSon (VAL enlistedIn USNavy)))) (2ServingSons Harry) (NavyPersonClassification 2ServingSons) (BackgroundInfo 2ServingSons 'Classification introduced in 2003 for public relation purposes.') Mapping other notations to CLIF. -
View, Laboratory Or Research Protocol
Uciteli et al. Journal of Biomedical Semantics 2011, 2(Suppl 4):S1 http://www.jbiomedsem.com/content/2/S4/S1 JOURNAL OF BIOMEDICAL SEMANTICS PROCEEDINGS Open Access An ontologically founded architecture for information systems in clinical and epidemiological research Alexandr Uciteli1*, Silvia Groß1,2, Sergej Kireyev1, Heinrich Herre1* From Ontologies in Biomedicine and Life Sciences (OBML 2010) Mannheim, Germany. 9-10 September 2010 * Correspondence: alexander. Abstract [email protected]; [email protected] This paper presents an ontologically founded basic architecture for information 1 Institute for Medical Informatics, systems, which are intended to capture, represent, and maintain metadata for various Statistics and Epidemiology (IMISE), University of Leipzig, Germany domains of clinical and epidemiological research. Clinical trials exhibit an important basis for clinical research, and the accurate specification of metadata and their documentation and application in clinical and epidemiological study projects represents a significant expense in the project preparation and has a relevant impact on the value and quality of these studies. An ontological foundation of an information system provides a semantic framework for the precise specification of those entities which are presented in this system. This semantic framework should be grounded, according to our approach, on a suitable top-level ontology. Such an ontological foundation leads to a deeper understanding of the entities of the domain under consideration, and provides a common unifying semantic basis, which supports the integration of data and the interoperability between different information systems. The intended information systems will be applied to the field of clinical and epidemiological research and will provide, depending on the application context, a variety of functionalities. -
Semanticsemantic Technologytechnology
SemanticSemantic TechnologyTechnology ChrisChris WeltyWelty IBMIBM ResearchResearch WhatWhat areare semanticsemantic technologiestechnologies DatesDates backback toto thethe 60s,60s, 70s,70s, 80s,80s, 90s90s STRIPS,STRIPS, SNePSSNePS,, CG,CG, KLKL--ONE,ONE, NIKL,NIKL, CLASSIC,CLASSIC, LOOM,LOOM, RACER,RACER, etcetc…… TodayToday wewe havehave standardsstandards Normative CommonCommon Logic,Logic, IKLIKL XML RDF,RDF, SKOS,SKOS, OWL,OWL, RIFRIF } syntaxes ODM,ODM, PRRPRR WhatWhat cancan youyou dodo withwith SemanticSemantic Technology?Technology? BuildBuild informationinformation systemssystems Thesauri,Thesauri, terminologiesterminologies Learning,Learning, testing,testing, trainingtraining systemssystems EventEvent processing,processing, backback--officeoffice systemssystems SoftwareSoftware designdesign automation,automation, architecturearchitecture WebWeb services,services, Planning/schedulingPlanning/scheduling IntelligenceIntelligence analysisanalysis ……whatwhat dodo youyou need?need? CanCan’’tt DatabasesDatabases DoDo that???that??? NoNo YesYes WellWell…….... AdvantagesAdvantages ofof SemanticSemantic TechnologyTechnology ConsiderConsider SoftwareSoftware ArchitectureArchitecture MoreMore declarative,declarative, openopen BetterBetter abstractionabstraction CheaperCheaper maintenancemaintenance BetterBetter integrationintegration ……byby makingmaking thethe semanticssemantics explicitexplicit AtAt leastleast aa littlelittle…… CommonCommon LogicLogic StandardStandard (ISO/IEC(ISO/IEC 24707:2007)24707:2007)