Formal Semantics of the ODMG 3.0 Object Query Language

2003 ◽  
pp. 293-307 ◽  
Author(s):  
Alexandre Zamulin
Keyword(s):  
Query Language ◽  
Formal Semantics

scholarly journals A Query Language for Workflow Logs

2022 ◽  
Vol 13 (2) ◽  
pp. 1-28
Author(s):  
Yan Tang ◽  
Weilong Cui ◽  
Jianwen Su
Keyword(s):  
Business Process ◽  
Evaluation Method ◽  
Ad Hoc ◽  
Query Language ◽  
Cost Model ◽  
Formal Semantics ◽  
Control Flow ◽  
Query Evaluation ◽  
Evaluation Algorithm ◽  
Laws And Policies

A business process (workflow) is an assembly of tasks to accomplish a business goal. Real-world workflow models often demanded to change due to new laws and policies, changes in the environment, and so on. To understand the inner workings of a business process to facilitate changes, workflow logs have the potential to enable inspecting, monitoring, diagnosing, analyzing, and improving the design of a complex workflow. Querying workflow logs, however, is still mostly an ad hoc practice by workflow managers. In this article, we focus on the problem of querying workflow log concerning both control flow and dataflow properties. We develop a query language based on “incident patterns” to allow the user to directly query workflow logs instead of having to transform such queries into database operations. We provide the formal semantics and a query evaluation algorithm of our language. By deriving an accurate cost model, we develop an optimization mechanism to accelerate query evaluation. Our experiment results demonstrate the effectiveness of the optimization and achieves up to 50× speedup over an adaption of existing evaluation method.

scholarly journals C-SPARQL: A CONTINUOUS QUERY LANGUAGE FOR RDF DATA STREAMS

2010 ◽  
Vol 04 (01) ◽  
pp. 3-25 ◽  
Author(s):  
DAVIDE FRANCESCO BARBIERI ◽  
DANIELE BRAGA ◽  
STEFANO CERI ◽  
EMANUELE DELLA VALLE ◽  
MICHAEL GROSSNIKLAUS
Keyword(s):  
Data Streams ◽  
Query Language ◽  
Formal Semantics ◽  
Streaming Data ◽  
Continuous Queries ◽  
Continuous Query ◽  
Urban Computing ◽  
Rdf Data ◽  
Over Time

This article defines C-SPARQL, an extension of SPARQL whose distinguishing feature is the support of continuous queries, i.e. queries registered over RDF data streams and then continuously executed. Queries consider windows, i.e. the most recent triples of such streams, observed while data is continuously flowing. Supporting streams in RDF format guarantees interoperability and opens up important applications, in which reasoners can deal with evolving knowledge over time. C-SPARQL is presented by means of a full specification of the syntax, a formal semantics, and a comprehensive set of examples, relative to urban computing applications, that systematically cover the SPARQL extensions. The expression of meaningful queries over streaming data is strictly connected to the availability of aggregation primitives, thus C-SPARQL also includes extensions in this respect.

Oxford Studies in Experimental Philosophy Volume 3

2020 ◽  
Keyword(s):  
Network Analysis ◽  
Statistical Methods ◽  
Experimental Philosophy ◽  
Formal Semantics ◽  
Theoretical Approaches ◽  
Methodological Approaches

The papers collected in this third volume of Oxford Studies in Experimental Philosophy illustrate the ways in which the field continues to broaden, taking on new methodological approaches and interacting with substantive theories from an ever wider array of disciplines. As the papers themselves clearly show, some recent research in experimental philosophy is going more deeply into well-established questions in the field, but at the same time, other strands of research are exploring issues that hardly appeared at all in the field even a few years ago. Thus, we see the introduction of new empirical and statistical methods (network analysis), new theoretical approaches (formal semantics), and the development of entirely new interdisciplinary connections (in the emerging field of “experimental jurisprudence”)

The Semantics of Evidentials

2017 ◽  
Author(s):  
Sarah E. Murray
Keyword(s):  
Recent Work ◽  
Common Ground ◽  
Formal Semantics ◽  
Empirical Support ◽  
Propositional Content ◽  
Primary Data ◽  
Truth Conditional ◽  
The Common ◽  
Issue Content

This book gives a compositional, truth‐conditional, crosslinguistic semantics for evidentials set in a theory of the semantics for sentential mood. Central to this semantics is a proposal about a distinction between what propositional content is at‐issue, roughly primary or proffered, and what content is not‐at‐issue. Evidentials contribute not‐at‐issue content, more specifically what I will call a not‐at‐issue restriction. In addition, evidentials can affect the level of commitment a sentence makes to the main proposition, contributed by sentential mood. Building on recent work in the formal semantics of evidentials and related phenomena, the proposed semantics does not appeal to separate dimensions of illocutionary meaning. Instead, I argue that all sentences make three contributions: at‐issue content, not‐at‐issue content, and an illocutionary relation. At‐issue content is presented, made available for subsequent anaphora, but is not directly added to the common ground. Not‐at‐issue content directly updates the common ground. The illocutionary relation uses the at‐issue content to impose structure on the common ground, which, depending on the clause type (e.g., declarative, interrogative), can trigger further updates. Empirical support for this proposal comes from Cheyenne (Algonquian, primary data from the author’s fieldwork), English, and a wide variety of languages that have been discussed in the literature on evidentials.

scholarly journals 4494 Predictors of Reintubation After Cardiac Surgery

2020 ◽  
Vol 4 (s1) ◽  
pp. 50-50
Author(s):  
Robert Edward Freundlich ◽  
Gen Li ◽  
Jonathan P Wanderer ◽  
Frederic T Billings ◽  
Henry Domenico ◽  
...  
Keyword(s):  
Clinical Trial ◽  
Cardiac Surgery ◽  
High Risk ◽  
Query Language ◽  
Risk Estimation ◽  
Clinical Care ◽  
Model Development ◽  
Calibration Plot ◽  
Iterative Model ◽  
Strong Candidate

OBJECTIVES/GOALS: We modeled risk of reintubation within 48 hours of cardiac surgery using variables available in the electronic health record (EHR). This model will guide recruitment for a prospective, pragmatic clinical trial entirely embedded within the EHR among those at high risk of reintubation. METHODS/STUDY POPULATION: All adult patients admitted to the cardiac intensive care unit following cardiac surgery involving thoracotomy or sternotomy were eligible for inclusion. Data were obtained from operational and analytical databases integrated into the Epic EHR, as well as institutional and departmental-derived data warehouses, using structured query language. Variables were screened for inclusion in the model based on clinical relevance, availability in the EHR as structured data, and likelihood of timely documentation during routine clinical care, in the hopes of obtaining a maximally-pragmatic model. RESULTS/ANTICIPATED RESULTS: A total of 2325 patients met inclusion criteria between November 2, 2017 and November 2, 2019. Of these patients, 68.4% were male. Median age was 63.0. The primary outcome of reintubation occurred in 112/2325 (4.8%) of patients within 48 hours and 177/2325 (7.6%) at any point in the subsequent hospital encounter. Univariate screening and iterative model development revealed numerous strong candidate predictors (ANOVA plot, figure 1), resulting in a model with acceptable calibration (calibration plot, figure 2), c = 0.666. DISCUSSION/SIGNIFICANCE OF IMPACT: Reintubation is common after cardiac surgery. Risk factors are available in the EHR. We are integrating this model into the EHR to support real-time risk estimation and to recruit and randomize high-risk patients into a clinical trial comparing post-extubation high flow nasal cannula with usual care. CONFLICT OF INTEREST DESCRIPTION: REF has received grant funding and consulting fees from Medtronic for research on inpatient monitoring.

Sign in / Sign up

Export Citation Format

Share Document