English
Related papers

Related papers: Enhanced XML Validation using SRML

200 papers

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully explored semantics. Such semantics is required in order to…

Software Engineering · Computer Science 2014-09-25 Andy Evans , Robert France , Kevin Lano , Bernhard Rumpe

We suggest to employ techniques from Natural Language Processing (NLP) and Knowledge Representation (KR) to transform existing documents into documents amenable for the Semantic Web. Semantic Web documents have at least part of their…

Artificial Intelligence · Computer Science 2007-05-23 Dietmar Roesner , Manuela Kunze , Sylke Kroetzsch

Since its unveiling in 2011, schema.org has become the de facto standard for publishing semantically described structured data on the web, typically in the form of web page annotations. The increasing adoption of schema.org facilitates the…

Information Retrieval · Computer Science 2017-09-18 Umutcan Şimşek , Elias Kärle , Omar Holzknecht , Dieter Fensel

Despite its rising popularity as data format especially for web services, the software ecosystem around the JavaScript Object Notation (JSON) is not as widely distributed as that of XML. For both data formats there exist schema languages to…

Databases · Computer Science 2014-06-10 Falco Nogatz , Thom Frühwirth

In keyword search, when user cannot get what she wants, query refinement is needed and reason can be various. We first give a thorough categorization of the reason, then focus on solving one category of query refinement problem in the…

Databases · Computer Science 2012-11-08 Yong Zeng , Zhifeng Bao , Guoliang Li , Tok Wang Ling , Jiaheng Lu

Interoperability of potentially heterogeneous databases has been an ongoing research issue for a number of years in the database community. With the trend towards globalization of data location and data access and the consequent requirement…

Instrumentation and Detectors · Physics 2007-05-23 J. -M. Le Goff , H. Stockinger , I. Willers , R. McClatchey , Z. Kovacs , P. Martin , N. Bhatti , W. Hassan

Proponents of the programming language Prolog share the opinion Prolog is more appropriate for transforming XML-documents as other well-established techniques and languages like XSLT. In order to clarify this position this work proposes a…

Programming Languages · Computer Science 2021-04-26 René Haberland

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored semantics. Such semantics is required in order to…

Software Engineering · Computer Science 2014-09-25 Andy Evans , Robert France , Kevin Lano , Bernhard Rumpe

Text-to-SQL, the process of translating natural language into Structured Query Language (SQL), represents a transformative application of large language models (LLMs), potentially revolutionizing how humans interact with data. This paper…

Large language models (LLMs) have demonstrated significant potential in automating hardware synthesis, yet substantial barriers remain for industrial-scale, datapath-centric designs due to ambiguous specifications and a lack of formal…

Hardware Architecture · Computer Science 2026-03-11 Kezhi Li , Min Li , Xiangyu Wen , Shibo Zhao , Jieying Wu , Junhua Huang , Qiang Xu

We present xDGDL, an approach towards a concise but comprehensive Datagrid description language. Our framework is based on the portable XML language and allows to store syntactical and semantical information together with arbitrary files.…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-07-21 Rene Felder , Erich Schikuta

XML is based on two essential aspects: the modelization of data in a tree like structure and the separation between the information itself and the way it is displayed. XML structures are easily serializable. The separation between an…

Software Engineering · Computer Science 2009-02-19 Claude Pasquier , Laurent Théry

XML is of great importance in information storage and retrieval because of its recent emergence as a standard for data representation and interchange on the Internet. However XML provides little semantic content and as a result several…

Databases · Computer Science 2007-05-23 Millist W. Vincent , Jixue Liu

Transforming XML documents with conventional XML languages, like XSL-T, is disadvantageous because there is too lax abstraction on the target language and it is rather difficult to recognize rule-oriented transformations. Prolog as a…

Logic in Computer Science · Computer Science 2019-06-21 René Haberland , Igor L. Bratchikov

This paper presents a high-quality multilingual dataset for the documentation domain to advance research on localization of structured text. Unlike widely-used datasets for translation of plain text, we collect XML-structured parallel text…

Computation and Language · Computer Science 2020-06-25 Kazuma Hashimoto , Raffaella Buschiazzo , James Bradbury , Teresa Marshall , Richard Socher , Caiming Xiong

This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of its fully declarative, rule-based application language and…

Databases · Computer Science 2007-05-23 Alexander Böhm , Carl-Christian Kanne , Guido Moerkotte

We describe a meta-querying system for databases containing queries in addition to ordinary data. In the context of such databases, a meta-query is a query about queries. Representing stored queries in XML, and using the standard XML…

Databases · Computer Science 2007-05-23 Jan Van den Bussche , Stijn Vansummeren , Gottfried Vossen

XML is becoming the most relevant new standard for data representation and exchange on the WWW. Novel languages for extracting and restructuring the XML content have been proposed, some in the tradition of database query languages (i.e.…

Databases · Computer Science 2007-05-23 Angela Bonifati , Stefano Ceri

This thesis describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint temporal logic with converse, derived from the mu-calculus, where models are…

Programming Languages · Computer Science 2014-05-27 Pierre Geneves

The arrival of recent cybersecurity standards has raised the bar for security assessments in organizations, but existing techniques don't always scale well. Threat analysis and risk assessment are used to identify security threats for new…

Software Engineering · Computer Science 2024-08-16 Winnie Bahati Mbaka , Katja Tuma