Validating quicksand: Temporal schema versioning in τXSchema

Snodgrass, Richard T.; Dyreson, Curtis E.; Currim, Faiz; Currim, Sabah; Joshi, Saurabh

doi:10.1016/j.datak.2007.09.003

Cited by 46 publications

(37 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Logical annotations [30] allow the KBA to specify (1) whether a conventional schema component varies over valid time and/or transaction time, (2) whether its lifetime is described as a continuous state or a single event, (3) whether the component may appear at certain times (and not at others), and (4) whether its content changes. If no logical annotations are provided, the default logical annotation is that anything can change.…”

Section: Architecturementioning

confidence: 99%

“…For that purpose, we propose in this paper a framework, called τOWL, for managing temporal Semantic Web ontologies, through the use of a temporal OWL 2 extension. In fact, we want to introduce with τOWL a principled and systematic approach to the temporal extension of OWL 2, similar to that Snodgrass and colleagues did with their τXSchema [9,30] to XML and XML Schema [32]. τXSchema is a powerful framework (i.e., a data model equipped with a suite of tools) for managing temporal XML documents, well known in the database research community and, in particular, in the field of temporal XML [10].…”

Section: Introductionmentioning

confidence: 95%

See 1 more Smart Citation

$$\uptau $$ τ OWL: A Systematic Approach to Temporal Versioning of Semantic Web Ontologies

et al. 2016

View full text Add to dashboard Cite

The W3C OWL 2 recommendation is an ontology language for the Semantic Web. It allows defining both schema (i.e., entities, axioms, and expressions) and instances (i.e., individuals) of ontologies. However, OWL 2 lacks explicit support for time-varying schema or for time-varying instances. Hence, knowledge engineers or maintainers of semantics-based Web resources have to use ad hoc techniques to specify OWL 2 time-varying ontologies. In this paper, for a disciplined and systematic approach to the temporal management of Semantic Web ontologies, we propose the adoption of a framework called temporal OWL 2 (τOWL), which is inspired by the τXSchema framework defined for XML data. In a way similar to what happens in τXSchema, τOWL allows creating a temporal OWL 2 ontology from a conventional (i.e., non-temporal) OWL 2 ontology and a set of logical and physical annotations. Logical annotations identify which elements of the ontology can vary over time; physical annotations specify how the time-varying aspects are represented in the OWL 2 document. Using annotations to integrate temporal aspects in the traditional Semantic Web, our framework (1) guarantees logical and physical data independence for temporal schemas and (2) provides a low-impact solution, since it requires neither modifications of existing Semantic B Zouhaier Brahmia Web ontologies, nor extensions to the OWL 2 recommendation and Semantic Web standards. Moreover, since the conventional schema and annotation documents could evolve over time to respond to new applications' requirements, τOWL supports temporal schema versioning by allowing changing these components and by keeping track of their evolution through the conventional schema versions and annotation document versions, respectively. Two complete sets of operations are proposed for changing the conventional schema and annotation documents; to complete the figure, a set of operations is also introduced for updating temporal schema which must be changed consequently each time one of the mentioned components evolves over time. To show the feasibility of our approach, a prototype tool, named τOWL-Manager, is presented.

show abstract

Section: Architecturementioning

confidence: 99%

Section: Introductionmentioning

confidence: 95%

$$\uptau $$ τ OWL: A Systematic Approach to Temporal Versioning of Semantic Web Ontologies

et al. 2016

View full text Add to dashboard Cite

show abstract

“…With this high-level overview of τ XSchema (details are available elsewhere [4], [8], [10]), we can now turn to the challenge at hand: supporting existing conventional and novel temporal constraints concerning a time-varying document. We first examine the constraints that XML Schema provides, and then apply and extend them for temporal documents.…”

Section: Language Designmentioning

confidence: 99%

“…Elsewhere [10] we delve into the specifics of how to accommodate schema versioning within τ XSchema. Our approach exploits the concept of schema-constant periods [32].…”

Section: Implications Of Schema Versioningmentioning

confidence: 99%

“…τ XSchemasupports temporal documents that vary over both valid and transaction time [5], [6], [7], whose schema can vary over transaction time [8], and for which validation is a simple process (to the user) of checking a time-varying document over a schema, which itself is a time-varying document [9], [10]. Related work has formalized language primitives required for managing schema versioning with τ XSchema [11].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Adding Temporal Constraints to XML Schema

Currim

Dyreson

et al. 2012

IEEE Trans. Knowl. Data Eng.

Self Cite

View full text Add to dashboard Cite

Abstract-If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such constraints as sequenced constraints, applicable at each point in time. We also consider how to add new variants that apply across time, so-called non-sequenced constraints. Our approach supports temporal documents that vary over both valid and transaction time, whose schema can vary over transaction time. We do this by replacing the schema with a (possibly time-varying) temporal schema and replacing the document with a temporal document, both of which are upward compatible with conventional XML and with conventional tools like XMLLINT, which we have extended to support the temporal constraints introduced here.

show abstract

Benchmark frameworks andτBench

Thomas

Snodgrass

Zhang

2013

Softw. Pract. Exper.

View full text Add to dashboard Cite

Software engineering frameworks tame the complexity of large collections of classes by identifying structural invariants, regularizing interfaces, and increasing sharing across the collection. We wish to appropriate these benefits for families of closely related benchmarks, say for evaluating query engine implementation strategies. We introduce the notion of a benchmark framework, an ecosystem of benchmarks that are related in semantically rich ways and enabled by organizing principles. A benchmark framework is realized by iteratively changing one individual benchmark into another, say by modifying the data format, adding schema constraints, or instantiating a different workload. Paramount to our notion of benchmark frameworks are the ease of describing the differences between individual benchmarks and the utility of methods to validate the correctness of each benchmark component by exploiting the overarching ecosystem. As a detailed case study, we introduce Bench, a benchmark framework consisting of ten individual benchmarks, spanning XML, XQuery, XML Schema, and PSM, along with temporal extensions to each. The second case study examines the Mining Unstructured Data benchmark framework, and the third examines the potential benefits of rendering the TPC family as a benchmark framework.

show abstract

Validating quicksand: Temporal schema versioning in τXSchema

Cited by 46 publications

References 17 publications

$$\uptau $$ τ OWL: A Systematic Approach to Temporal Versioning of Semantic Web Ontologies

$$\uptau $$ τ OWL: A Systematic Approach to Temporal Versioning of Semantic Web Ontologies

Adding Temporal Constraints to XML Schema

Benchmark frameworks andτBench

Contact Info

Product

Resources

About