Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Front elevation, Canal House, Noosa Waters, Sunshine Coast

Street elevation.

Front elevation, Canal House, Noosa Waters, Sunshine Coast

Street elevation.

Review of Voices from the shopfloor: Dramas of the employment relationship,/by Anne-Marie Greene. Aldershot : Ashgate, 2001

This research monograph seeks, as the author puts it, ‘to demonstrate the utility of ethnographic research methods to industrial relations in the developing world’. To this end, the author provides case studies of two lock factories in the West Midlands of England, with data sourced from interviews and observations by the author during a period of two decades in the case of one, and a rather shorter period in the case of the other. The insights gleaned from these two case studies are then considered in the light of the ethnographic literature on industrial relations in the developing world. The body of the book comprises three main chapters which successively examine the issues of paternalism, gender and family, and collective action in the two factories.

The lateral line canal sensory organs of the Epaulette Shark (Hemiscyllium ocellatum)

Examination of the lateral line canals in the Epaulette Shark reveals a much more differentiated sensory system than previously reported from any elasmobranch. Two main types of lateral line canals are found. In one type rounded patches of sensory epithelia are separated by elevations of the canal floor. The other type is a straight canal without restrictions and with an almost continuous sensory epithelium. In addition, we found epithelia (type A) with very long apical microvilli on the supporting cells. These microvilli reach beyond the stereovilli of the hair cells. Another type (B) of sensory epithelium has short microvilli on the supporting cells. In this latter type of epithelium the stereovilli of the hair cells are comparatively tall and reach out beyond the supporting cell microvilli. New hair cells are found widely in both types of sensory epithelia. These always occur as single cells, unlike those described in teleost lateral line canal sensory epithelia where new hair cells seem to form in pairs. Dying hair cells are also widespread, indicating a continuous turnover of hair cells.