A survey of semantic web services formalisms

The field of Semantic Web Services (SWS) has been recognized as one of the most promising areas of emergent research within the Semantic Web (SW) initiative, exhibiting an extensive commercial potential, and attracting significant attention from both industry and the research community. Currently, there exist several different frameworks and languages for formally describing a Web Service: OWL-S (Web Ontology Language for Services), WSMO (Web Service Modeling Ontology) and SAWSDL (Semantic Annotations for the Web Services Description Language) are the most important approaches. To the inexperienced user, choosing the appropriate paradigm for a specific SWS application may prove to be challenging, given a lack of clear separation between the ideas promoted by the associated research communities. In this paper, we systematically compare OWL-S, WSMO and SAWSDL from various standpoints, namely that of the service requester and provider as well as the broker based view. The comparison is meant to help users to better understand the strengths and limitations of these different approaches to formalising SWS, and to choose the most suitable solution for a given use case. © 2013 IEEE.

On model typing

Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this model- based paradigm, both for model transformation and for general programming using models. Many of these use single-object approaches to typing, derived from solutions found in object-oriented systems, while others use metamodels as model types, but without a clear notion of polymorphism. Both of these approaches lead to brittle and overly restrictive reuse characteristics. In this paper we propose a simple extension to object-oriented typing to better cater for a model-oriented context, including a simple strategy for typing models as a collection of interconnected objects. We suggest extensions to existing type system formalisms to support these concepts and their manipulation. Using a simple example we show how this extended approach permits more flexible reuse, while preserving type safety.

Designing a workflow system using coloured petri nets

Traditional workflow systems focus on providing support for the control-flow perspective of a business process, with other aspects such as data management and work distribution receiving markedly less attention. A guide to desirable workflow characteristics is provided by the well-known workflow patterns which are derived from a comprehensive survey of contemporary tools and modelling formalisms. In this paper we describe the approach taken to designing the newYAWL workflow system, an offering that aims to provide comprehensive support for the control-flow, data and resource perspectives based on the workflow patterns. The semantics of the newYAWL workflow language are based on Coloured Petri Nets thus facilitating the direct enactment and analysis of processes described in terms of newYAWL language constructs. As part of this discussion, we explain how the operational semantics for each of the language elements are embodied in the newYAWL system and indicate the facilities required to support them in an operational environment. We also review the experiences associated with developing a complete operational design for an offering of this scale using formal techniques.

Deductive, inductive and analogical reasoning in legal decision support systems

In this paper we provide an overview of a number of fundamental reasoning formalisms in artificial intelligence which can and have been used in modelling legal reasoning. We describe deduction, induction and analogical reasoning formalisms, and show how they can be used separately to model legal reasoning. We argue that these formalisms can be used together to model legal reasoning more accurately, and describe a number of attempts to integrate the approaches.

Contributions to the Theory of Finite-State Based Grammars

This dissertation is a theoretical study of finite-state based grammars used in natural language processing. The study is concerned with certain varieties of finite-state intersection grammars (FSIG) whose parsers define regular relations between surface strings and annotated surface strings. The study focuses on the following three aspects of FSIGs: (i) Computational complexity of grammars under limiting parameters In the study, the computational complexity in practical natural language processing is approached through performance-motivated parameters on structural complexity. Each parameter splits some grammars in the Chomsky hierarchy into an infinite set of subset approximations. When the approximations are regular, they seem to fall into the logarithmic-time hierarchyand the dot-depth hierarchy of star-free regular languages. This theoretical result is important and possibly relevant to grammar induction. (ii) Linguistically applicable structural representations Related to the linguistically applicable representations of syntactic entities, the study contains new bracketing schemes that cope with dependency links, left- and right branching, crossing dependencies and spurious ambiguity. New grammar representations that resemble the Chomsky-Schützenberger representation of context-free languages are presented in the study, and they include, in particular, representations for mildly context-sensitive non-projective dependency grammars whose performance-motivated approximations are linear time parseable. (iii) Compilation and simplification of linguistic constraints Efficient compilation methods for certain regular operations such as generalized restriction are presented. These include an elegant algorithm that has already been adopted as the approach in a proprietary finite-state tool. In addition to the compilation methods, an approach to on-the-fly simplifications of finite-state representations for parse forests is sketched. These findings are tightly coupled with each other under the theme of locality. I argue that the findings help us to develop better, linguistically oriented formalisms for finite-state parsing and to develop more efficient parsers for natural language processing. Avainsanat: syntactic parsing, finite-state automata, dependency grammar, first-order logic, linguistic performance, star-free regular approximations, mildly context-sensitive grammars

Mauwake reference grammar

This dissertation provides a synchronic grammatical description of Mauwake, a Papuan (Trans-New Guinea) language of about 2000 speakers on the North Coast of the Madang Province in Papua New Guinea. The theoretical background is that of Basic Linguistic Theory (BLT), used extensively in analysing and writing descriptive grammars. The chapters from morphology to clause level are described from form to function; in the later chapters the function is taken more often as the starting point. Any theory-specific terminology is kept to the minimum and formalisms have been avoided in accordance with BLT principles. Mauwake has a classic 5-vowel system and 14 consonant phonemes. With its simple phonology it is a typical representative of the Madang North Coast languages. For a Papuan language there are relatively few morphophonological alternations. Nouns are either alienably or inalienably possessed. There is no obligatory number marking in nouns or noun phrases. Pronouns have several different forms: five for case and three for other functions. The dative pronouns are treated as [+human] locatives, and they have also grammaticalised as possessives. The verbal morphology is agglutinative and mainly suffixal. Unusual features include two distributive suffixes, and the interaction of the derivational benefactive and the inflectional beneficiary suffixes. The applicative suffix has either transitivising or causative but not benefactive function. The switch-reference system distinguishes between simultaneous and sequential action, as well as same or different subject in relation to the following clause. There are several verbs denoting coming and going, and they may combine with one of three prefixes to indicate bringing and taking. Mauwake is a nominative-accusative type language, and the basic constituent order in a clause is SOV. Subject and object are the only syntactic arguments. There is no indirect object, but a clause can have two or even three objects. A nominalised clause with a finite verb functions as a relative clause or a complement clause; one with a nominalised verb has several different functions. Functional domains described include modality, negation, deixis, quantification, possession and comparison. As there are four negators, Mauwake has more variation in negative expressions than is usual in Papuan languages. Clause chaining is the preferred strategy for joining clauses into sentences, but coordination and subordination of finite clauses are also common. The form of a complement clause depends on whether it is of the fact, action or potential type. Tail-head linkage is used as a cohesive device between sentences. The discourse-level features described are topic and focus.

Theoretical investigations of the two-bond proton-carbon-13 coupling constants. Angular variations of the couplings involving carboxyl carbon

A formulation has been developed using perturbation theory to evaluate the π-contribution to the nuclear spin coupling constants involving nuclei at least one of which is an unsaturated center. This fromulation accounts for the π-contribution in terms of the core polarization and one-center exchange at the π-center. The formulation developed together with the Dirac vector model and Penney-Dirac bond-order formalisms was employed to calculate the geminal (two-bond) proton coupling constants of carboxyl carbons in α-disubstituted acetic acids. The calculated coupling constants were found to have an orientational dependence. The results of the calculation are in good agreement with the experimental values.

Dielectric properties of Li2O-3B(2)O(3) glasses

The frequency and temperature dependences of the dielectric constant and the electrical conductivity of the transparent glasses in the composition Li2O-3B(2)O(3) were investigated in the 100 Hz-10 MHz frequency range. The dielectric constant and the loss in the low frequency regime were electrode material dependent. Dielectric and electrical relaxations were, respectively, analyzed using the Cole-Cole and electric modulus formalisms. The dielectric relaxation mechanism was discussed in the framework of electrode and charge carrier (hopping of the ions) related polarization using generalized Cole-Cole expression. The frequency dependent electrical conductivity was rationalized using Jonscher's power law. The activation energy associated with the dc conductivity was 0.80 +/- 0.02 eV, which was ascribed to the motion of Li+ ions in the glass matrix. The activation energy associated with dielectric relaxation was almost equal to that of the dc conductivity, indicating that the same species took part in both the processes. Temperature dependent behavior of the frequency exponent (n) suggested that the correlated barrier hopping model was the most apposite to rationalize the electrical transport phenomenon in Li2O-3B(2)O(3) glasses. These glasses on heating at 933 K/10 h resulted in the known nonlinear optical phase LiB3O5.

Nonlinear structural dynamical system identification using adaptive particle filters

The problem of identifying parameters of nonlinear vibrating systems using spatially incomplete, noisy, time-domain measurements is considered. The problem is formulated within the framework of dynamic state estimation formalisms that employ particle filters. The parameters of the system, which are to be identified, are treated as a set of random variables with finite number of discrete states. The study develops a procedure that combines a bank of self-learning particle filters with a global iteration strategy to estimate the probability distribution of the system parameters to be identified. Individual particle filters are based on the sequential importance sampling filter algorithm that is readily available in the existing literature. The paper develops the requisite recursive formulary for evaluating the evolution of weights associated with system parameter states. The correctness of the formulations developed is demonstrated first by applying the proposed procedure to a few linear vibrating systems for which an alternative solution using adaptive Kalman filter method is possible. Subsequently, illustrative examples on three nonlinear vibrating systems, using synthetic vibration data, are presented to reveal the correct functioning of the method. (c) 2007 Elsevier Ltd. All rights reserved.

Dielectric, pyroelectric and ferroelectric properties of Bi4Ti2.98Nb0.01Ta0.01O12 ceramics

The electrical conductivity and electrical relaxation for ferroelectric Bi4Ti2.98Nb0.01Ta0.01O12 (BTNT) ceramics have been reported in the frequency range 0.1 Hz to 1 MHz and in the 300-550 degrees C temperature range. The electrical data was analyzed in the framework of the dielectric as well as the electric modulus formalisms. The bulk dc conductivity at various temperatures was extracted from the electrical relaxation data. The activation energy associated with the electrical relaxation determined from the electric modulus spectra was found to be 0.93 +/- 0.03 eV, close to that of the activation energy for dc conductivity (1.03 +/- 0.02 eV). It suggests that the movements of oxygen ions are responsible for both ionic conduction as well as the relaxation process. The pyroelectric coefficient was found to be 12 mu C m(-2) K-1 at room temperature which is higher than that of the reported value of pyroelectric coefficient for undoped Bi4Ti3O12 ceramics. (C) 2010 Elsevier B.V. All rights reserved.

Dielectric properties of (100-x)Li2B4O7-x(Ba5Li2Ti2Nb8O30) glasses and glass nanocrystal composites

Transparent glasses of various compositions in the system (100 -x)(Li2B4O7)-x(Ba5Li2Ti2Nb8O30) (5 <= x <= 20, in molar ratio) were fabricated by splat quenching technique. The glassy nature of the as-quenched samples was established by differential thermal analyses (DTA). X-ray powder diffraction studies confirmed the as-quenched glasses to be amorphous and the heat-treated to be nanocrystalline. Controlled heat-treatment of the as-quenched glasses at 500 degrees C for 8 h yielded nanocrystallites embedded in the glass matrix. High Resolution Transmission Electron Microscopy (HRTEM) of these samples established the size of the crystallites to be in the nano-range and confirmed the phase to be that of Ba5Li2Ti2Nb8O30 (BLTN) which was, initially, identified by X-ray powder diffraction. The frequency, temperature and compositional dependence of the dielectric constant and the electrical conductivity of the glasses and glass nanocrystal composites were investigated in the 100 Hz to 10 MHz frequency range. Electrical relaxations were analyzed using the electric modulus formalisms. The imaginary part of electric modulus spectra was modeled using an approximate solution of Kohlrausch-Williams-Watts relation. The frequency dependent electrical conductivity was rationalized using Jonscher's power law. The activation energy associated with the dc conductivity was ascribed to the motion of Li+ ions in the glass matrix. The activation energy associated with dielectric relaxation was almost equal to that of the dc conductivity, indicating that the same species took part in both the processes. (C) 2010 Elsevier B.V. All rights reserved.

Influence of crossed electric and quantizing magnetic fields on the Einstein relation in nonlinear optical, optoelectronic and related materials: Simplified theory, relative comparison and suggestion for experimental determination

An attempt is made to study the Einstein relation for the diffusivity-to-mobility ratio (DMR) under crossed fields' configuration in nonlinear optical materials on the basis of a newly formulated electron dispersion law by incorporating the crystal field in the Hamiltonian and including the anisotropies of the effective electron mass and the spin-orbit splitting constants within the framework of kp formalisms. The corresponding results for III-V, ternary and quaternary compounds form a special case of our generalized analysis. The DMR has also been investigated for II-VI and stressed materials on the basis of various appropriate dispersion relations. We have considered n-CdGeAs2, n-Hg1-xCdxTe, n-In1-xGaxAsyP1-y lattice matched to InP, p-CdS and stressed n-InSb materials as examples. The DMR also increases with increasing electric field and the natures of oscillations are totally band structure dependent with different numerical values. It has been observed that the DMR exhibits oscillatory dependences with inverse quantizing magnetic field and carrier degeneracy due to the Subhnikov-de Haas effect. An experimental method of determining the DMR for degenerate materials in the present case has been suggested. (C) 2010 Elsevier B.V. All rights reserved.

Representation of Thermodynamic Properties of Dilute Multi-Component Solutions--Options and Constraints

The different formalisms for the representation of thermodynamic data on dilute multicomponent solutions are critically reviewed. The thermodynamic consistency of the formalisms are examined and the interrelations between them are highlighted. The options are constraints in the use of the interaction parameter and Darken's quadratic formalisms for multicomponent solutions are discussed in the light of the available experimental data. Truncatred Maclaurin series expansion is thermodynamically inconsistent unless special relations between interaction parameters are invoked. However, the lack of strict mathematical consistency does not affect the practical use of the formalism. Expressions for excess partial properties can be integrated along defined composition paths without significant loss of accuracy. Although thermodynamically consistent, the applicability of Darken's quadratic formalism to strongly interacting systems remains to be established by experiment.

Complex Permittivity Characteristics of Epoxy Nanocomposites at Low Frequencies

The complex permittivity characteristics of epoxy nanocomposite systems were examined and an attempt has been made to understand the underlying physics governing some of the unique macroscopic dielectric behaviors. The experimental investigations were performed using two different nanocomposite systems with low filler concentrations over the frequency range of 10(-2)-400 Hz, but for some cases, the data has been reported upto 10(6) Hz for a better understanding of the behaviors. Results demonstrate that nanocomposites do possess unique permittivity behaviors as compared to those already known for unfilled polymer and microcomposite systems. The nanocomposite real permittivity and tan delta values are found to be lower than that of unfilled epoxy. In addition, results show that interfacial polarization and charge carrier mobilities are suppressed in epoxy nanocomposite systems. The complex permittivity spectra coupled with the ac conductivity characteristics with respect to frequency was found to be sufficient to identify several of the nanocomposite characteristics like the reduction in permittivity values, reduction in the interfacial polarization mechanisms and the electrical conduction behaviors. Analysis of the results are also performed using electric modulus formalisms and it has been seen that the nanocomposite dielectric behaviors at low frequencies can also be explained clearly using this formalism.

Automatic verification of distributed logic specifications

Formal specification is vital to the development of distributed real-time systems as these systems are inherently complex and safety-critical. It is widely acknowledged that formal specification and automatic analysis of specifications can significantly increase system reliability. Although a number of specification techniques for real-time systems have been reported in the literature, most of these formalisms do not adequately address to the constraints that the aspects of 'distribution' and 'real-time' impose on specifications. Further, an automatic verification tool is necessary to reduce human errors in the reasoning process. In this regard, this paper is an attempt towards the development of a novel executable specification language for distributed real-time systems. First, we give a precise characterization of the syntax and semantics of DL. Subsequently, we discuss the problems of model checking, automatic verification of satisfiability of DL specifications, and testing conformance of event traces with DL specifications. Effective solutions to these problems are presented as extensions to the classical first-order tableau algorithm. The use of the proposed framework is illustrated by specifying a sample problem.