This paper describes a new syntax that can be used to write OWL ontologies, and fragments of OWL ontologies for presentation and editing purposes. The syntax, which is known as the Manchester OWL Syntax, was developed in response to a demand from a wide range of users, who do not have a Description Logic background, for a“less logician like” syntax. The Manchester OWL Syntax is derived from the...

We consider a mass conserved Allen-Cahn equation ut = ∆u + ε−2(f(u)− ελ(t)) in a bounded domain with no flux boundary condition, where ελ(t) is the average of f(u(·, t)) and −f is the derivative of a double equal well potential. Given a smooth hypersurface γ0 contained in the domain, we show that the solution uε with appropriate initial data approaches, as ε ց 0, to a limit which takes only two...

Eco-feedback interventions are capable of producing reductions in household energy consumption. Yet less is known about exactly how this reduction is achieved, how to maximise user engagement, or how to effectively translate engagement into energy saving. This paper discusses design opportunities for eco-feedback systems through observations of domestic energy use in both Western and rural deve...

Permanent magnet linear synchronous motor (PMLSM) for rope-less hoist system, which has the advantages of simple structure, small volume, high force, unlimited hoisting height and speed, is a research focus and difficulties in the vertical hoist field. In this paper, according to the key technical problems of PMLSM for rope-less hoist system, a design scheme of direct driving high-speed elevato...

We study a syntax for specifying quantitative assertions —functions mapping program states to numbers—for probabilistic verification. prove that our is expressive in the following sense: Given any C , if function f expressible syntax, then each initial state σ expected value of evaluated final reached after termination on (also called weakest preexpectation wp[ ]( )) also syntax. As consequence...

In many scenarios, users must be able to demonstrate the (time of) existence, integrity, and validity of data including signed data for long or undetermined periods of time. This document specifies XML syntax and processing rules for creating evidence for long-term nonrepudiation of existence and integrity of data. The Extensible Markup Language Evidence Record Syntax XMLERS provides alternativ...

There are at least two distinct ways of conceiving of syntax: the set of rules that enable speakers and listeners to combine the meaning of expressions (compositional syntax), or the set of formal constraints on the combinations of expressions (formal syntax). The question that occupies us in this paper is whether all languages include a significant formal syntax component or whether there are ...

OBJECTIVES This study determined angiographic and clinical outcomes after everolimus-eluting stent (EES)-supported percutaneous coronary intervention for unprotected left main disease (ULMD) and high SYNTAX (SYNergy between PCI with TAXus and Cardiac Surgery) trial score (≥33). BACKGROUND The SYNTAX trial has shown the superiority of coronary surgery over percutaneous coronary intervention (P...