Chord symbols and progressions are a common way to describe musical harmony. In this paper we present SEQ, a pattern representation using the Web Ontology Language OWLDL and its application to modelling chord sequences. SEQ provides a logical representation of order information, which is not available directly in OWL DL, together with an intuitive notation. It therefore allows the use of OWL re...

In this paper we study mapping analysis in ontology-based data access (OBDA), providing an initial set of foundational results for this problem. We start by defining general, language-independent notions of mapping inconsistency, mapping subsumption, and mapping redundancy in OBDA. Then, we focus on specific mapping languages for OBDA and illustrate techniques for verifying the above properties...

Many scienti c problems can be represented as computational work ows of operations that access remote data, integrate heterogeneous data, and analyze and derive new data. Even when the data access and processing operations are implemented as web or grid services, work ows are often constructed manually in languages such as BPEL. Adding semantic descriptions of the services enables automatic or ...

This paper constructs an additive two-stage network DEA (data envelopment analysis) model with consideration of undesirable outputs and shared inputs. Following the triple bottom line standard of sustainability, we calculate both the overall and sub-stage sustainability performance of railway transportation in China from 2002 to 2013, from the aspects of economy, environment and society. The re...

Scientists, economists, and planners in government, industry and academia spend much of their time accessing, integrating, and analyzing data. However, many of their studies are one-of-a-kind with little sharing and reuse for subsequent endeavors. The Argos project seeks to improve the productivity of analysts by providing a framework that encourages reuse of data sources and data processing op...

Preprocessing SAT instances can reduce their size considerably. We combine variable elimination with subsumption and selfsubsuming resolution, and show that these techniques not only shrink the formula further than previous preprocessing efforts based on variable elimination, but also decrease runtime of SAT solvers substantially for typical industrial SAT problems. We discuss critical implemen...

With the ubiquity of large-scale graph data in a variety of application domains, querying them effectively is a challenge. In particular, reachability queries are becoming increasingly important, especially for containment, subsumption, and connectivity checks. Whereas many methods have been proposed for static graph reachability, many real-world graphs are constantly evolving, which calls for ...

two types of mineralization including porphyry copper and epithermal gold mineralization have occurred in relation with an intermediate volcano-plutonic complex in masjeddaghi area. different alterations including silica, advanced argillic, intermediate argillic and propylitic have been distinguished in relation with epithermal mineralization, which have a zonal pattern. elemental mass gains an...

In this paper we study a graph-based approach to the task of Recognizing Textual Entailment between a Text and a Hypothesis. The approach takes into account the full lexico-syntactic context of both the Text and Hypothesis and is based on the concept of subsumption. It starts with mapping the Text and Hypothesis on to graph structures that have nodes representing concepts and edges representing...

The representation of terminological knowledge may naturally lead to terminological cycles. In addition to descriptive semantics , the meaning of cyclic terminologies can also be captured by xed-point semantics, namely, greatest and least xed-point semantics. To gain a more profound understanding of these semantics and to obtain inference algorithms as well as complexity results for inconsisten...