Excavation, Hill House, Chapel Hill, Brisbane

Terracing of site in preparation for construction.

Floor plan, Hill House, Chapel Hill, Brisbane

Floor plan showing finalised design.

The tasks of medicine: An ideology of care; edited by Peter Baume

No abstract

(FAB01_091) Book reviews

Leon Battista Alberti, 'On the Art of Building in Ten Books' Translated by Joseph Rykwert, Neil Leach and Robert Tavemor L. A. Zhadova (ed.), 'Tatlin' (Budapest 1984). English translation Helen Ross, 'Just For Living, Aboriginal Perceptions of Housing in North West Australia' Tony Fry, 'Design History Australia: A Source Text in Methods and Resources' Phillip Cox and David Moore, 'The Australian Functional Tradition' Lenore Coltheart and Don Fraser (eds.), 'Lamdmarks in Public Works, Engineers and Their Works in New South Wales 1884-1914' Peter Bridges and Don MacDonald, 'James Barnet, Colonial Architect' Don Watson and Judith McKay, 'A Directory of Queensland Architects to 1940' Russell Walden, 'Voices of Silence: New Zealand's Chapel of Futuna' Jeremy Salmond, 'Old New Zealand Houses 1800-1940' Victoria Middleton, 'The Legend of Green Valley' Dyranda Prevost and Ann Rado, 'Living Places' Mark Jackson and Mark Stiles (directors), 'Universal Provider' Lars Lerup, 'Planned Assaults'

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.