English
Related papers

Related papers: Enhanced XML Validation using SRML

200 papers

Shapes Constraint Language (SHACL) is a powerful language for validating RDF data. Given the recent industry attention to Knowledge Graphs (KGs), more users need to validate linked data properly. However, traditional SHACL validation…

Databases · Computer Science 2025-07-14 Gustavo Correa Publio , José Emilio Labra Gayo

This work examines how much template instantiation can narrow down schema validation for XML-documents. First, instantiation and validation are formalised. Properties towards their practical meaning are probed, an implementation is…

Logic in Computer Science · Computer Science 2021-04-14 René Haberland

The processing of XML documents often includes creation and validation. These two operations are typically performed in two different nodes within a computer network that do not correlate with each other. The process of creation is also…

Logic in Computer Science · Computer Science 2019-06-21 René Haberland

Dictionaries are often developed using tools that save to Extensible Markup Language (XML)-based standards. These standards often allow high-level repeating elements to represent lexical entries, and utilize descendants of these repeating…

Computation and Language · Computer Science 2016-02-18 Paul Rodrigues , David Zajic , David Doermann , Michael Bloodgood , Peng Ye

XrML is becoming a popular language in industry for writing software licenses. The semantics for XrML is implicitly given by an algorithm that determines if a permission follows from a set of licenses. We focus on a fragment of the language…

Cryptography and Security · Computer Science 2008-08-11 Joseph Y. Halpern , Vicky Weissman

Extensible markup language (XML) is a technology that has been much hyped, so that XML has become an industry buzzword. Behind the hype is a powerful technology for data representation in a platform independent manner. As a text document,…

Databases · Computer Science 2007-05-23 William F. Gilreath

Extensible Markup Language (XML) is a simple, very flexible text format derived from SGML. Originally designed to meet the challenges of large-scale electronic publishing, XML is also playing an increasingly important role in the exchange…

Programming Languages · Computer Science 2007-10-26 J. M. Almendros-Jiménez , A. Becerra-Terón , F. J. Enciso-Baños

False-positives are a problem in anomaly-based intrusion detection systems. To counter this issue, we discuss anomaly detection for the eXtensible Markup Language (XML) in a language-theoretic view. We argue that many XML-based attacks…

Cryptography and Security · Computer Science 2013-11-13 Harald Lampesberger

XML is a standard and universal language for representing information. XML processing is supported by two key frameworks: DOM and SAX. SAX is efficient, but leaves the developer to encode much of the processing. This paper introduces a…

Formal Languages and Automata Theory · Computer Science 2015-06-11 Tony Clark

Today's database is associated with interoperability between different domains and applications. This consequently results in the importance of data portability in database. XML format fits the requirements and it has been increasingly used…

Databases · Computer Science 2010-10-07 Mikael Fernandus Simalango

The Extensible Markup Language (XML) is a complex language, and consequently, XML-based protocols are susceptible to entire classes of implicit and explicit security problems. Message formats in XML-based protocols are usually specified in…

Cryptography and Security · Computer Science 2016-03-28 Harald Lampesberger

XML stands for the Extensible Markup Language. It is a markup language for documents, Nowadays XML is a tool to develop and likely to become a much more common tool for sharing data and store. XML can communicate structured information to…

Software Engineering · Computer Science 2010-06-24 Rami Alnaqeib , Fahad H. Alshammari , M. A. Zaidan , A. A. Zaidan , B. B. Zaidan , Zubaidah M. Hazza

Recently PANalytical introduced the XrdML file format as a new data platform for powder diffraction experiments. We will explain why an industrial standard (XML) was chosen and show the XML schema used to precisely describe the instrumental…

Computational Physics · Physics 2007-05-23 Dr. Thomas Degen

Schema Matching, i.e. the process of discovering semantic correspondences between concepts adopted in different data source schemas, has been a key topic in Database and Artificial Intelligence research areas for many years. In the past, it…

Databases · Computer Science 2014-07-11 Santa Agreste , Pasquale De Meo , Emilio Ferrara , Domenico Ursino

XML and XML Schema are widely used in different domains for the definition of standards that enhance the interoperability between parts exchanging information through the Internet. The size and complexity of some standards, and their…

Networking and Internet Architecture · Computer Science 2011-12-06 Alain Tamayo , Carlos Granell , Joaquín Huerta

Summary: More sophisticated models are needed to address problems in bioscience, synthetic biology, and precision medicine. To help facilitate the collaboration needed for such models, the community developed the Simulation Experiment…

AutomationML has seen widespread adoption as an open data exchange format in the automation domain. It is an open and vendor neutral standard based on the extensible markup language XML. However, AutomationML extends XML with additional…

Artificial Intelligence · Computer Science 2025-09-19 Tom Westermann , Malte Ramonat , Johannes Hujer , Felix Gehlhoff , Alexander Fay

Despite being an essential step in software development, writing requirements specifications is frequently performed in natural language, leading to issues like inconsistency, incompleteness, or ambiguity. The ITLingo initiative has…

Software Engineering · Computer Science 2023-12-19 Andre Rodrigues , Alberto Rodrigues da Silva

Model View Definition (MVD) is the standard methodology to define the data exchange requirements and rule constraints for Building Information Models (BIMs). In this paper, the MVDLite algorithm is proposed for the fast validation of MVD…

Databases · Computer Science 2023-12-29 Han Liu , Ge Gao , Hehua Zhang , Yu-Shen Liu , Yan Song , Ming Gu

XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be equivalent: a declarative version in which the subsumption rule may…

Programming Languages · Computer Science 2008-01-07 James Cheney
‹ Prev 1 2 3 10 Next ›