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 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: Web Ontology Language for Services (OWL-S), Web Service Modelling Ontology (WSMO) and Semantic Annotations for the Web Services Description Language (SAWSDL) are the most important approaches. To the inexperienced user, choosing the appropriate platform 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 formalizing SWS, and to choose the most suitable solution for a given application. Copyright © 2015 John Wiley & Sons, Ltd.

BOWL:augmenting the semantic web with beliefs

As the Semantic Web is an open, complex and constantly evolving medium, it is the norm, but not exception that information at different sites is incomplete or inconsistent. This poses challenges for the engineering and development of agent systems on the Semantic Web, since autonomous software agents need to understand, process and aggregate this information. Ontology language OWL provides core language constructs to semantically markup resources on the Semantic Web, on which software agents interact and cooperate to accomplish complex tasks. However, as OWL was designed on top of (a subset of) classic predicate logic, it lacks the ability to reason about inconsistent or incomplete information. Belief-augmented Frames (BAF) is a frame-based logic system that associates with each frame a supporting and a refuting belief value. In this paper, we propose a new ontology language Belief-augmented OWL (BOWL) by integrating OWL DL and BAF to incorporate the notion of confidence. BOWL is paraconsistent, hence it can perform useful reasoning services in the presence of inconsistencies and incompleteness. We define the abstract syntax and semantics of BOWL by extending those of OWL. We have proposed reasoning algorithms for various reasoning tasks in the BOWL framework and we have implemented the algorithms using the constraint logic programming framework. One example in the sensor fusion domain is presented to demonstrate the application of BOWL.

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.

Crossover evaluation of silicone hydrogel daily disposable contact lenses

PURPOSE: To assess the surface tear breakup time and clinical performance of three daily disposable silicone hydrogel contact lenses over 16 hours of wear. METHODS: Thirty-nine patients (mean [±SD] age, 22.1 [±3.5] years) bilaterally wore (narafilcon A, filcon II-3, and delefilcon A) contact lenses in a prospective, randomized, masked, 1-week crossover clinical trial. Tear film was assessed by the tear meniscus height (TMH), ocular/contact lens surface temperature dynamics, and lens surface noninvasive breakup time at 8, 12, and 16 hours of wear. Clinical performance and ocular physiology were assessed by subjective questionnaire, by high-/low-contrast logMAR (logarithm of the minimum angle of resolution) acuity, and through bulbar and limbal hyperemia grading. Corneal and conjunctival staining were assessed after lens removal. RESULTS: Delefilcon A demonstrated a longer noninvasive breakup time (13.4 [±4.4] seconds) than filcon II-3 (11.6 [±3.7] seconds; p < 0.001) and narafilcon A (12.3 [±3.7] seconds; p < 0.001). A greater TMH (0.35 [±0.11] mm) was shown by delefilcon A than filcon II-3 (0.32 [±0.10] seconds; p = 0.016). Delefilcon A showed less corneal staining after 16 hours of lens wear (0.7 [±0.6] Efron grade) than filcon II-3 (1.1 [±0.7]; p < 0.001) and narafilcon A (0.9 [±0.7]; p = 0.031). Time was not a significant factor for prelens tear film stability (F = 0.594, p = 0.555) or TMH (F = 0.632, p = 0.534). Lens brand did not affect temperature (F = 1.220, p = 0.308), but it decreased toward the end of the day (F = 19.497, p < 0.001). Comfort, quality of vision, visual acuity and contrast acuity, and limbal grading were similar between the lens brands but decreased with time during the day (p < 0.05). CONCLUSIONS: The tear breakup time over the contact lens surface differed between lens types and may have a role in protecting the ocular surface.

Intraoperative prediction of refractive error using a prototype surgical aberrometer

Purpose: To ascertain the agreement level between intra-operative refraction using a prototype surgical Hartmann-Shack aberrometer and subjective refraction a month later. Methods: Fifty-four consecutive patients had their pseudophakic refractive measured with the aberrometer intra-operatively at the end of their cataract surgery. A masked optometrist performed subjective refraction 4 weeks later. The two sets of data were then analysed for correlation. Results: The mean spherical equivalent was −0.14 ± 0.37 D (Range: −1.41 to +1.72 D) with the prototype aberrometer and −0.34 ± 0.32 (−1.64 to +1.88 D) with subjective refraction. The measurements positively correlated to a very high degree (r =+0.81, p < 0.01). In 84.3% of cases the two measurements were within 0.50D of each other. Conclusion: The aberrometer can verify the aimed refractive status of the eye intraoperatively to avoid a refractive surprise. The aberrometer is a useful tool for real time assessment of the ocular refractive status.

Design software architecture models using ontology

Software architecture plays an essential role in the high level description of a system design, where the structure and communication are emphasized. Despite its importance in the software engineering process, the lack of formal description and automated verification hinders the development of good software architecture models. In this paper, we present an approach to support the rigorous design and verification of software architecture models using the semantic web technology. We view software architecture models as ontology representations, where their structures and communication constraints are captured by the Web Ontology Language (OWL) and the Semantic Web Rule Language (SWRL). Specific configurations on the design are represented as concrete instances of the ontology, to which their structures and dynamic behaviors must conform. Furthermore, ontology reasoning tools can be applied to perform various automated verification on the design to ensure correctness, such as consistency checking, style recognition, and behavioral inference.

Semantic enabled sensor network design

Wireless Sensor Network (WSN) systems have become more and more popular in our modern life. They have been widely used in many areas, such as smart homes/buildings, context-aware devices, military applications, etc. Despite the increasing usage, there is a lack of formal description and automated verification for WSN system design. In this paper, we present an approach to support the rigorous verification of WSN modeling using the Semantic Web technology We use Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) to define a meta-ontology for the modeling of WSN systems. Furthermore, we apply ontology reasoners to perform automated verification on customized WSN models and their instances. We demonstrate and evaluate our approach through a Light Control System (LCS) as the case study.

Investigating the utility of clinical assessments to predict success with presbyopic contact lens correction

PURPOSE: To determine the utility of a range of clinical and non-clinical indicators to aid the initial selection of the optimum presbyopic contact lens. In addition, to assess whether lens preference was influenced by the visual performance compared to the other designs trialled (intra-subject) or compared to participants who preferred other designs (inter-subject). METHODS: A double-masked randomised crossover trial of Air Optix Aqua multifocal, PureVision 2 for Presbyopia, Acuvue OASYS for Presbyopia, Biofinity multifocal and monovision was conducted on 35 presbyopes (54.3±6.2years). Participant lifestyle, personality, pupil characteristics and aberrometry were assessed prior to lens fitting. After 4 weeks of wear, high and low contrast visual acuity (VA) under photopic and mesopic conditions, reading speed, Near Activity Visual Questionnaire (NAVQ) rating, subjective quality-of-vision scoring, defocus curves, stereopsis, halometry, aberrometry and ocular physiology were quantified. RESULTS: After trialling all the lenses, preference was mixed (n=12 Biofinity, n=10 monovision, n=7 Purevision, n=4 Air Optix Aqua, n=2 Oasys). Lens preference was not dependent on personality (F=1.182, p=0.323) or the hours spent working at near (p=0.535) or intermediate (p=0.759) distances. No intersubject or strong intrasubject relationships emerged between lens preference and reading speed, NAVQ rating, halo size, aberrometry or ocular physiology (p>0.05). CONCLUSIONS: Participant lifestyle and personality, ocular optics, contact lens visual performance and ocular physiology provided poor indicators of the preferred lens type after 4 weeks of wear. This is confounded by the wide range of task visual demands of presbyopes and the limited optical differences between current multifocal contact lens designs.

Challenging masculinity in CSR disclosures:silencing of women’s voices in Tanzania’s mining industry

This paper presents a feminist analysis of corporate social responsibility (CSR) in a male-dominated industry within a developing country context. It seeks to raise awareness of the silencing of women’s voices in CSR reports produced by mining companies in Tanzania. Tanzania is one of the poorest countries in Africa, and women are often marginalised in employment and social policy considerations. Drawing on work by Hélène Cixous, a post-structuralist/radical feminist scholar, the paper challenges the masculinity of CSR discourses that have repeatedly masked the voices and concerns of ‘other’ marginalised social groups, notably women. Using interpretative ethnographic case studies, the paper provides much-needed empirical evidence to show how gender imbalances remain prevalent in the Tanzanian mining sector. This evidence draws attention to the dynamics faced by many women working in or living around mining areas in Tanzania. The paper argues that CSR, a discourse enmeshed with the patriarchal logic of the contemporary capitalist system, is entangled with tensions, class conflicts and struggles which need to be unpacked and acknowledged. The paper considers the possibility of policy reforms in order to promote gender balance in the Tanzanian mining sector and create a platform for women’s concerns to be voiced.