The paper discusses what kind of entity the proposed Semantic Web (SW) is, in terms of the relationship of natural language structure to knowledge representation (KR). It argues that there are three distinct views on the issue: first, that the SW is basically a renaming of the traditional AI knowledge representation task, with all the problems and challenges of that task. If that is the case, a...

Correctness is the essential requirement criteria for military web ontology based information systems. Reasoning and consistency checking can be useful at many stages during the design, maintenance and deployment of Semantic Web (SW) ontology. Formal methods can provide automatic reasoning and consistency checking services for SW. In this paper, we use military plan ontology as a case study to ...

The strong weak truth table (sw) reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky and Weinberger on applications of computability to differential geometry. We study the sw-degrees of c....

Spatial variation in the recruitment of the intertidal barnacles Chthamalus montagui and Chthamalus stellatus was examined over an European scale. The study was carried out using 0022-0981/$ see front matter D 2004 Elsevier B.V. All rights reserved. doi:10.1016/j.jembe.2003.12.005 * Corresponding author. Department of Biological Sciences, National University of Singapore, 14 Science Drive 4, 11...

Spectroscopic search for new SW Sextantis stars in the 3–4 hour orbital period range – I. ABSTRACT We report on time-resolved optical spectroscopy of ten non-eclipsing nova-like cata-clysmic variables in the orbital period range between 3 and 4 hours. The main objective of this long-term programme is to search for the characteristic SW Sextantis behaviour and to eventually quantify the impact o...

BACKGROUND The current methodology for sample size calculations for stepped-wedge cluster randomised trials (SW-CRTs) is based on the assumption of equal cluster sizes. However, as is often the case in cluster randomised trials (CRTs), the clusters in SW-CRTs are likely to vary in size, which in other designs of CRT leads to a reduction in power. The effect of an imbalance in cluster size on th...

1 Institute of Oceanography National Taiwan University No. 1, Sec. 4, Roosevelt Road Taipei 10617, Taiwan 2 Department of Biological Sciences University of Bergen P.O. Box 7803 5020 Bergen, Norway Abstract—We investigated variation in growth and maturation in response to 1) spatial variation in climate and 2) exploitation of the subtropical cutlassfish Trichiurus japonicus, an important fishery...

[1] We examine multidecadal changes in surface downward shortwave (SW) radiation flux, total cloud cover, SW cloud effect, and related parameters over Europe during 1965– 2004 using monthly gridded data from the Global Energy Balance Archive (GEBA), synoptic cloud reports, and the International Satellite Cloud Climatology Project (ISCCP). One key issue is distinguishing the effects of natural c...

Mit dem steigenden Wertschöpfungsanteil SW-basierter Funktionen in Fahrzeugen und schnelleren Releasezyklen bei wachsender Variantenkomplexität steigt der Bedarf an praxistauglichen Lösungen zum nachträglichen Austausch minimaler Teilreleases der zugrundeliegenden SW-Komponenten. Wir stellen einen merkmalbasierten Modellierungsansatz für die Komponenten von Steuergerätereleases vor, der auf ein...