Research Interests:
Research Interests:
Research Interests:
AbstractAgile networked and service-centric organizations increasingly rely on organizational processes of an open col-laborative nature that are not well supported by standard in-formation technology. Enterprise documents and service... more
AbstractAgile networked and service-centric organizations increasingly rely on organizational processes of an open col-laborative nature that are not well supported by standard in-formation technology. Enterprise documents and service com-puting are orthogonal technologies ...
Research Interests:
Research Interests:
The goal of this research is to understand the learning strategies employed by students using so called Intelligent Tutoring Systems (ITS), with the aim of supporting efforts to improve the effectiveness of this type of educational... more
The goal of this research is to understand the learning strategies employed by students using so called Intelligent Tutoring Systems (ITS), with the aim of supporting efforts to improve the effectiveness of this type of educational technology. An experiment is conducted in which we observe and record online interactions between the participant and the ITS, with the goal of discovering learning strategies used by students. Gordon Pask's Conversation Theory defines a social constructivist account of learning and teaching, and the hypothesis explored here is whether analysis of the observed data encoded using CT will help to identify behaviours that represent meaningful learning strategies. These strategies are identified with Markov Processes, enabling the use of Hidden Markov Models to discover clusters of distinct patterns of behaviour within the observational data.
Research Interests:
Research Interests: Computer Science, Logistics, Systems Theory, Mediation, Semantic Web, and 13 moreDistributed System, Supply Chain, Service Selection, System Architecture, Process management, Life Cycle, Service discovery, Semantic Web Service Composition, Business Process, Web Service, Business to Business, service Business, and The semantic web
The principle of biological autonomy, introduced by Francisco J. Varela, addresses the dilemma of Cartesian mind-body dualism by re-casting mind and body, or subject and object, observer and observed, not as irreconcilable categories, but... more
The principle of biological autonomy, introduced by Francisco J. Varela, addresses the dilemma of Cartesian mind-body dualism by re-casting mind and body, or subject and object, observer and observed, not as irreconcilable categories, but as complementary perspectives on the same biological phenomena. Indeed, this distinction between self and non-self may be seen as a necessary precondition for autonomy. An autonomous system is self-governing in that it is concerned with preserving its unique character, or unity. Furthermore, an autonomous system is operationally closed in that it forms a self-referential network without reference to an external world. This paper develops these ideas in relation to thinking about embodied, enactive robotics. As well as being constructed artefacts, what is it to look at robots as truly autonomous agents? In this context we begin to explore the concept of operational closure analytically. We utilise natural connectivity as a quantitative measure of th...
Research Interests:
A narrative world can be viewed as a form of society in which characters follow a set of social norms whose collective function is to guide the characters through (the creation of) a story arc and reach some conclusion. By modelling the... more
A narrative world can be viewed as a form of society in which characters follow a set of social norms whose collective function is to guide the characters through (the creation of) a story arc and reach some conclusion. By modelling the rules of a narrative using norms, we can govern the actions of agents that act out the characters in a story. Agents are given sets of permitted actions and obligations to fulfil based on their and the story’s current situation. However, a way to describe stories in terms of social norms is needed. Existing formalisms for narrative do not work at multiple layers of abstraction, and do not provide a rich enough vocabulary for describing stories. We use story tropes as a means of building reusable story components with which we describe the social norms that govern our storyworld agents.
Research Interests:
photos, semantic web, semantic photos, geo, geolocation, gps, mobile, digital photography, metadata, geographic metadata, photo metadata In recent years the availability of GPS devices and the development in web technologies has produced... more
photos, semantic web, semantic photos, geo, geolocation, gps, mobile, digital photography, metadata, geographic metadata, photo metadata In recent years the availability of GPS devices and the development in web technologies has produced a considerable growth in geographical applications available on the web. In particular the growing popularity of digital photography and photo sharing services has opened the way to a myriad of possible applications related to geotagged pictures. In this work we present an overview of the creation, sharing and use of geotagged pictures. We propose an approach to providing a new browsing experience of photo collections based on location and heading information metadata.
Research Interests:
The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its... more
The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.
Research Interests:
The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its... more
The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.
Research Interests:
In recent years the availability of GPS devices and the development in Web technologies have produced a considerable growth in geographical applications available on the Web. In particular, the growing popularity of digital photography... more
In recent years the availability of GPS devices and the development in Web technologies have produced a considerable growth in geographical applications available on the Web. In particular, the growing popularity of digital photography and photo sharing services has opened the way to a myriad of possible applications related to geotagged pictures. In this work we present an overview of
Research Interests:
ABSTRACT In recent years the growth of popularity of digital photography, together with the development of services and technologies to annotate and organize data on the Web, have extended the possibilities for managing and sharing large... more
ABSTRACT In recent years the growth of popularity of digital photography, together with the development of services and technologies to annotate and organize data on the Web, have extended the possibilities for managing and sharing large numbers of pictures. Our work explores the kinds of metadata that can be captured at the time a photo is taken, and ways to share these metadata in order to build a browsing experience of distributed photo collections based on their spatial information and relations. We present a prototype system in which an RDF description of pictures, location and compass heading information is used so that users’ photo collections are enhanced by relations with other user’s pictures. A browsing interface that allows users to move and explore pictures according to the spatial relationships discovered is proposed.
In recent years the growth in popularity of digital photography, together with the availability of GPS devices and the developing in web technologies have extended the possibilities for managing and sharing large numbers of geotagged... more
In recent years the growth in popularity of digital photography, together with the availability of GPS devices and the developing in web technologies have extended the possibilities for managing and sharing large numbers of geotagged pictures. Among the huge number of possible applications that may link and discover geotagged resources, we present a prototype system in which an RDF description of pictures, including location and compass heading information, is used to discover geo-related pictures of a same city taken from different users. We propose a browsing interface, based on different levels of relationship between pictures metadata, that allows users to explore cities according to the relations discovered.
Research Interests:
Research Interests:
This document defines the Semantic Web Services Ontology (SWSO). The ontology is expressed in two forms: FLOWS, the First-order Logic Ontology for Web Services; and ROWS, the Rules Ontology for Web Services, produced by a systematic... more
This document defines the Semantic Web Services Ontology (SWSO). The ontology is expressed in two forms: FLOWS, the First-order Logic Ontology for Web Services; and ROWS, the Rules Ontology for Web Services, produced by a systematic translation of FLOWS axioms into the SWSL-Rules language. FLOWS has been specified in SWSL-FOL, the first-order logic language developed by SWSO's sister SWSL effort.
This document defines the Semantic Web Services Ontology (SWSO). The ontology is expressed in two forms: FLOWS, the First-order Logic Ontology for Web Services; and ROWS, the Rules Ontology for Web Services, produced by a systematic... more
This document defines the Semantic Web Services Ontology (SWSO). The ontology is expressed in two forms: FLOWS, the First-order Logic Ontology for Web Services; and ROWS, the Rules Ontology for Web Services, produced by a systematic translation of FLOWS axioms into the SWSL-Rules language. FLOWS has been specified in SWSL-FOL, the first-order logic language developed by SWSO's sister SWSL effort.
This document defines the Semantic Web Services Language (SWSL), which is used to specify the Semantic Web Services Ontology (SWSO) as well as individual Web services. The language consists of two parts: SWSL-FOL, a full first-order logic... more
This document defines the Semantic Web Services Language (SWSL), which is used to specify the Semantic Web Services Ontology (SWSO) as well as individual Web services. The language consists of two parts: SWSL-FOL, a full first-order logic language, and SWSL-Rules, as rule-based language. SWSL-FOL is primarily used for formal specification of the ontology and is intended to provide interoperability with other first-order based process models and service ontologies. In contrast, SWSL-Rules is designed to be ...
This document defines the Semantic Web Services Ontology (SWSO). The ontology is expressed in two forms: FLOWS, the First-order Logic Ontology for Web Services; and ROWS, the Rules Ontology for Web Services, produced by a systematic... more
This document defines the Semantic Web Services Ontology (SWSO). The ontology is expressed in two forms: FLOWS, the First-order Logic Ontology for Web Services; and ROWS, the Rules Ontology for Web Services, produced by a systematic translation of FLOWS axioms into the SWSL-Rules language. FLOWS has been specified in SWSL-FOL, the first-order logic language developed by SWSO's sister SWSL effort.
... Steve Battle HP Labs, Bristol, UK. ... 4 Web Services Interoperability Organization, <http://www.ws-i.org/> 5 Trastour, D., Ferdinand, M. Zirpins, C., Pragmatic Reasoning-Support for Web-Engineering: Lifting XML-Schema to OWL,... more
... Steve Battle HP Labs, Bristol, UK. ... 4 Web Services Interoperability Organization, <http://www.ws-i.org/> 5 Trastour, D., Ferdinand, M. Zirpins, C., Pragmatic Reasoning-Support for Web-Engineering: Lifting XML-Schema to OWL, ICWE 2004, Munich, Germany. ...
Research Interests: XML Schema and RDF
Research Interests:
19/01/98, Work package E , ESPRIT Project N. 25 338- FollowMe
Research Interests:
A narrative world can be viewed as a form of society in which characters follow a set of social norms whose collective function is to guide the characters through (the creation of) a story arc and reach some conclusion. By modelling the... more
A narrative world can be viewed as a form of society in which characters follow a set of social norms whose collective function is to guide the characters through (the creation of) a story arc and reach some conclusion. By modelling the rules of a narrative using norms, we can govern the actions of agents that act out the characters in a story. Agents are given sets of permitted actions and obligations to fulfil based on their and the story's current situation. However, the decision to conform to these expectations is ultimately left to the agent. This means that the characters have control over fine-grained elements of the story, resulting in a more flexible and dynamic narrative experience. This would allow the creator of an interactive narrative to specify only the general structure of a story, leaving the details to the agents. We illustrate a particular realisation of this vision using a formalization of Propp's morphology in a normative social framework, with belief-de...
Research Interests:
People in the later stages of dementia often express their needs and distress through their behaviour in ways that challenge care staff to respond appropriately. Technological solutions may help staff to recognise this distress at an... more
People in the later stages of dementia often express their needs and distress through their behaviour in ways that challenge care staff to respond appropriately. Technological solutions may help staff to recognise this distress at an early stage and take preventative action. The aim of this project is to develop and test the feasibility of using wearable technologies and machine learning algorithms to identify stress and agitation.
Research Interests:
Exploring art from a different culture without prior knowledge of the domain is difficult. Though traditionally experts are required to guide people through the unknown knowledge base, the use of linked data can help consumers to explore... more
Exploring art from a different culture without prior knowledge of the domain is difficult. Though traditionally experts are required to guide people through the unknown knowledge base, the use of linked data can help consumers to explore for themselves. In this paper, we use clustering methods to create a faceted hierarchy for the exploration and recommendation of Japanese artists to tourists visiting Japan. This opens up future work in the understanding of the links between artists from different cultures as well as in automatically categoris- ing and browsing linked data.
Research Interests:
The uptake of semantic technology depends on the availability of simple tools that enable Web developers to build complete applications, with particular emphasis on the last mile, the user interface. RDFa is a vocabulary for adding... more
The uptake of semantic technology depends on the availability of simple tools that enable Web developers to build complete applications, with particular emphasis on the last mile, the user interface. RDFa is a vocabulary for adding semantic annotations to standard XHTML and HTML5 documents. This allows the page to contain machine-readable content that is easier to find and mashable with other content. This paper describes Callimachus, an Open Source project that turns this idea around, using RDFa as a template language for the bulk generation of human-readable Web pages from machine-readable RDF data. Most existing template engines generate Web pages by combining the template with query results from a relational database. In the Callimachus template engine, XHTML+RDFa templates pass through an RDFa parser and are then compiled into SPARQL for evaluation against an RDF database. The result set is combined with the template to produce a Web page populated with RDF data, retaining the ...
Research Interests:
Research Interests:
In recent years the availability of GPS devices and the development in web technologies has produced a considerable growth in geographical applications available on the web. In particular the growing popularity of digital photography and... more
In recent years the availability of GPS devices and the development in web technologies has produced a considerable growth in geographical applications available on the web. In particular the growing popularity of digital photography and photo sharing services has opened the way to a myriad of possible applications related to geotagged pictures. In this work we present an overview of the creation, sharing and use of geotagged pictures. We propose an approach to providing a new browsing experience of photo collections based on location and heading information metadata.
CycQL is an Apache Jena/ARQ based SPARQL adapter for OpenCyc 4.0. It enables the Cyc inference engine to be used with Semantic Web tools via a SPARQL endpoint. Cyc achieves scalability and optimizes inference by restricting the search... more
CycQL is an Apache Jena/ARQ based SPARQL adapter for OpenCyc 4.0. It enables the Cyc inference engine to be used with Semantic Web tools via a SPARQL endpoint. Cyc achieves scalability and optimizes inference by restricting the search space to a relevant subset of microtheories. With this adapter, Cyc microtheories are identified with RDF named graphs. This paper demonstrates how greater efficiency is achieved by maximizing the chunks of SPARQL algebra that are translated into CycL.
Research Interests:
In this study, we investigate the process of generating single-sentence representations for the purpose of Dialogue Act (DA) classification, including several aspects of text pre-processing and input representation which are often... more
In this study, we investigate the process of generating single-sentence representations for the purpose of Dialogue Act (DA) classification, including several aspects of text pre-processing and input representation which are often overlooked or underreported within the literature, for example, the number of words to keep in the vocabulary or input sequences. We assess each of these with respect to two DA-labelled corpora, using a range of supervised models, which represent those most frequently applied to the task. Additionally, we compare context-free word embedding models with that of transfer learning via pre-trained language models, including several based on the transformer architecture, such as Bidirectional Encoder Representations from Transformers (BERT) and XLNET, which have thus far not been widely explored for the DA classification task. Our findings indicate that these text pre-processing considerations do have a statistically significant effect on classification accurac...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
This paper develops models for single recurrent neural circuits, known as autapses, where the axon of a neuron forms synapses onto its own dendrites. Once thought to be curiosities or artefacts of growing cells in vitro, autapses play a... more
This paper develops models for single recurrent neural circuits, known as autapses, where the axon of a neuron forms synapses onto its own dendrites. Once thought to be curiosities or artefacts of growing cells in vitro, autapses play a key role in the operation of Central Pattern Generators and the cortex where they may function as a simple short-term memory. Biologically plausible, idealized models of the autapse are able to produce arrhythmic, sustained behaviours in ‘neural vehicles’. Detailed models are developed to show how excitatory autapses may support both bistability and monostability.
Research Interests:
These proceedings contain the papers accepted for the 3 rd edition of the workshop “Advances in Semantics for Web services 2008”(semantics4ws&amp;amp;#x27; 08). The workshop was held in Milan, Italy, on September 1, 2008, in... more
These proceedings contain the papers accepted for the 3 rd edition of the workshop “Advances in Semantics for Web services 2008”(semantics4ws&amp;amp;#x27; 08). The workshop was held in Milan, Italy, on September 1, 2008, in conjunction with the Sixth International Conference on Business Process Management (BPM 2008).
Research Interests:
IT Service Management (ITSM) is about making IT accountable to business. IT and business functions meet at the service interface where business functions define themselves in terms of the services they deliver to their customers. The IT... more
IT Service Management (ITSM) is about making IT accountable to business. IT and business functions meet at the service interface where business functions define themselves in terms of the services they deliver to their customers. The IT function, in turn, must provide the infrastructural capabilities and resources necessary to support it. The IT Infrastructure Library (ITIL) proposes that the IT configuration should be explicitly modeled within a Configuration Management System (CMS). The HP Universal Configuration Management Database (UCMDB) is one component of a CMS; maintaining a comprehensive and up-to-date snapshot of all managed assets and their inter-relationships across the IT environment. The UCMDB is not particularly web-friendly; there is no easy way to access configuration data using a conventional browser. Another drawback is that configuration records do not correspond directly to the language of business. This report addresses the first of these issues; making the IT ...
Research Interests:
Research Interests:
... For the purpose of publishing, this con-tent is assembled into a single self-contained unit that can downloaded as an eBook. EBooks are composite documents that may include XML components alongside other media formats. ...
Research Interests:
Research Interests:
Research Interests:
AbstractAgile networked and service-centric organizations increasingly rely on organizational processes of an open col-laborative nature that are not well supported by standard in-formation technology. Enterprise documents and service... more
AbstractAgile networked and service-centric organizations increasingly rely on organizational processes of an open col-laborative nature that are not well supported by standard in-formation technology. Enterprise documents and service com-puting are orthogonal technologies ...
Research Interests:
Print is undergoing a revolution as significant as the invention of the printing press. The emergence of ePaper is a major disruption for the printing industry; defining a new medium with the potential to redefine publishing in a way that... more
Print is undergoing a revolution as significant as the invention of the printing press. The emergence of ePaper is a major disruption for the printing industry; defining a new medium with the potential to redefine publishing in a way that is as different to today's Web, as the Web is to traditional print. In this new eBook ecosystem we don't just see users as consumers of eBooks, but as active prosumers able to collaboratively create, customize and publish their own eBooks. We describe a transclusive, collaborative publishing framework for the web.