Terry Payne - Academia.edu (original) (raw)

Papers by Terry Payne

Research paper thumbnail of Distributing coalition value calculations to self-interested agents

Adaptive Agents and Multi-Agents Systems, May 5, 2014

In characteristic function games, an agent can potentially join many different coalitions, and so... more In characteristic function games, an agent can potentially join many different coalitions, and so must choose which coalition to join. To compare each potential coalition, the agents need to calculate a value for each coalition. As the number of coalitions grows exponentially with the number of agents, the burden of requiring every agent to compute all of the values is high. This can be reduced by sharing the computational load, with each agent calculating only a subset of coalition values. Previous state-of-the-art methods assume that agents are cooperative. This paper outlines an algorithm that distributes value calculations to self-interested agents.

Research paper thumbnail of Dynamic Change Evaluation for Ontology Evolution in the Semantic Web

2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2008

Research paper thumbnail of Calendar Agents on the Semantic Web

IEEE Intell. Syst., 2002

pages in HTML quickly captured public interest, and it evolved at a phenomenal rate into a vast k... more pages in HTML quickly captured public interest, and it evolved at a phenomenal rate into a vast knowledge base. During this growth, however, Web pages' information structure , which is crucial to making the information machine understandable, was sacrificed in favor of presentation and physical design. However, this lack of structure has not deterred agents from using information on the Web. Many agent systems track users' navigation habits as they click throughout the Web so they can suggest new, potentially interesting Web pages to them; others automate access to information sites, replicating human-oriented queries and parsing the resulting pages. Agents have also harvested tax-onomies that guide human navigation toward clustered topics of interest. However, in each case, these agents have had to use bespoke parsers (code written specifically to parse a given Web page, such as Yahoo's restaurant information), and content scrapers (languages for defining rules used to ...

Research paper thumbnail of Transition of legacy systems to semantically enabled applications: TAO method and tools

Semantic Web, 2012

Despite expectations being high, the industrial take-up of Semantic Web technologies in developin... more Despite expectations being high, the industrial take-up of Semantic Web technologies in developing services and applications has been slower than expected. One of the main reasons is that many legacy systems have been developed without considering the potential of the Web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the migration from legacy systems to Semantic Web Service-based systems can be a tedious and expensive process, which carries a significant risk of failure. There is an urgent need to provide strategies, allowing the migration of legacy systems to Semantic Web Services platforms, and also tools to support such strategies. In this paper we propose a methodology and its tool support for transitioning these applications to Semantic Web Services, which allow users to migrate their applications to Semantic Web Services platforms automatically or semi-automatically. The transition of the GATE system is used as a case study.

Research paper thumbnail of Browsing Schedules - An Agent-Based Approach to Navigating the Semantic Web

The Semantic Web — ISWC 2002, 2002

The Semantic Web promises to change the way agents navigate, harvest and utilize information on t... more The Semantic Web promises to change the way agents navigate, harvest and utilize information on the internet. By providing a structured, distributed representation for expressing concepts and relationships defined by multiple ontologies, it is now possible for agents to read and reason about published knowledge, without the need for scrapers, information agents, and centralized ontologies. Agents can utilize this knowledge to seek and invoke other agents and web services, thus supporting navigation across the Semantic Web. We demonstrate how agents support enhanced navigation within a conference-schedule domain, and present three agent-based services: the RETSINA Calendar Agent, which reasons about schedules marked up on the Semantic Web; the DMA2ICal Translation Agent which provides translation services between schedules grounded in different ontologies, and a Conference Agent that invokes the Calendar Agent.

Research paper thumbnail of RCal

Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02, 2002

The Semantic Web promises to change the way agents navigate, harvest and utilize information on t... more The Semantic Web promises to change the way agents navigate, harvest and utilize information on the internet. By providing a structured, distributed representation for expressing concepts and relationships defined by multiple ontologies, it is now possible for agents to read and reason about published knowledge, without the need for scrapers, information agents, and centralized ontologies. We present the RETSINA Calendar Agent, a distributed meeting scheduler, that reads schedules (such as conference programs, events, etc) marked up in RDF on the Semantic Web, and imports these into the user's Personal Information Manager. The embedded Semantic Web Browsing tool allows the user to explore related concepts within the schedule, and to query other agents and service providers for more information.

Research paper thumbnail of Importing the Semantic Web in UDDI

Lecture Notes in Computer Science, 2002

Research paper thumbnail of A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007

Research paper thumbnail of OWL-S Atomic Services Composition with SWRL Rules

Lecture Notes in Computer Science

This paper presents a method for encoding OWLS atomic processes by means of SWRL rules and compos... more This paper presents a method for encoding OWLS atomic processes by means of SWRL rules and composing them using a backward search planning algorithm. A description of the preliminary prototype implementation is also presented.

Research paper thumbnail of A Semantic Framework for Priority-Based Service Matching in Pervasive Environments

Lecture Notes in Computer Science, 2007

The increasing popularity of personal wireless devices has raised new demands for the efficient d... more The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. The existing approaches such as Jini [1], UPnP [8], etc., describe services at a syntactic level and the matching mechanisms in these approaches are limited to syntactic comparisons based on attributes or interfaces. In order to overcome the limitations in these approaches, there has been an increased interest in the use of semantic description and matching techniques to support effective service discovery. This paper proposes a semantic matching approach which facilitates the discovery of device-based services in a pervasive environment; the approach provides a ranking facility that orders services according to their suitability and also considers priorities placed on individual requirements in a request during the matching process. The evaluation studies have shown that the matcher results correlate reasonably well with human judgement.

Research paper thumbnail of Argumentation for Reconciling Agent Ontologies

Studies in Computational Intelligence, 2011

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific re... more HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Research paper thumbnail of A formal model of the Semantic Web Service Ontology (WSMO)

Information Systems, 2012

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, ... more Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring and etc.) involved in both intra-and inter-enterprise integration of Web Services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors present in existing documentation.

Research paper thumbnail of A semantic approach for description and ranked matching of services in pervasive environments

With the recent developments in technology, new and diverse devices are being introduced into the... more With the recent developments in technology, new and diverse devices are being introduced into the pervasive world. This has raised new challenges for the discovery of devices and their services in dynamic environments. The existing approaches such as Jini [AOSJ99], UPnP [UPnP06], etc., describe services at a syntactic level and the matching mechanisms in these approaches are limited to syntactic comparisons based on attributes or interfaces. In order to overcome the limitations of these approaches, there has been an increasing ...

Research paper thumbnail of Context slicing the chemical aether

Jeremy G. Frey 1 , David De Roure 2 , monica mc schraefel 2 , ... Hugo Mills 2 , Hongchen Fu 1 , ... more Jeremy G. Frey 1 , David De Roure 2 , monica mc schraefel 2 , ... Hugo Mills 2 , Hongchen Fu 1 , Sam Peppe 1 , ... Gareth Hughes2, Graham Smith2, Terry R. Payne2 ... 1 School of Chemistry, University of Southampton, UK { jgfrey, h.fu, s.peppe}@soton.ac.uk 2 School of Electronics and Computer Science, University of Southampton, UK {dder, mc, hrm, gvh, gms, trp}@ecs.soton.ac.uk ... In this paper we discuss the information system requirements of an e-Science scenario, drawn from chemistry research, and describe our approach to a ...

Research paper thumbnail of An ontological framework for semantic description of devices

… Semantic Web …, 2004

Hardware Description contains the details about the hardware resources of the device, the details... more Hardware Description contains the details about the hardware resources of the device, the details of its CPU, the connection to the network and memory. Software Description contains the details of the Operating System of the device where relevant. The Device Status contains the details of its location, CPU usage and the power (method of power supply, whether its battery or mains and the remaining power level). The details of power supply and power level becomes important when it is necessary to determine the resource capability of a ...

Research paper thumbnail of Dynamic ontology evolution in open environments

Changes in an ontology may have a disruptive impact on any system using it. This impact may depen... more Changes in an ontology may have a disruptive impact on any system using it. This impact may depend on structural changes such as name changes or relations between concepts, or it may be related to a change in the expected performance of the reasoning tasks. As the number of systems using ontologies is expected to increase this problem is likely to occur more frequently, and, given the open nature of the Semantic Web, new ontologies and modifications to existing ones are to be expected. Dynamically handling these changes, ...

Research paper thumbnail of Transitioning applications to semantic web services: An automated formal approach

International Journal of Interoperability in Business Information Systems (IBIS), 2008

Semantic Web Services have been recognized as a promising technology that exhibits huge commercia... more Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite expectations being high, the industrial take-up of Semantic Web Service technologies has been slower than expected. One of the main reasons is that many systems have been developed without considering the potential of the web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the ...

Research paper thumbnail of Semantic resource matching for pervasive environments: The approach and its evaluation

Technological advancements in the past decade have caused a large increase in the number and dive... more Technological advancements in the past decade have caused a large increase in the number and diversity of electronic devices that have appeared in the home and office and these devices offer an increasingly heterogeneous range of services. This has introduced new challenges for the dynamic discovery of services in pervasive environments. Several discovery mechanisms currently exist such as Salutation, SLP etc. to support service discovery in the device domain. However, these approaches characterise the services ...

Research paper thumbnail of Transition of Legacy Systems to Semantic Enabled Application: TAO Method and Tools

Abstract. Despite expectations being high, the industrial take-up of Semantic Web technologies in... more Abstract. Despite expectations being high, the industrial take-up of Semantic Web technologies in developing services and applications has been slower than expected. One of the main reasons is that many legacy systems have been developed without considering the potential of the Web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the migration from legacy systems to Semantic Web Service-based systems can be a very tedious and expensive process, which carries a ...

Research paper thumbnail of Flexible provisioning of web service workflows

ACM Transactions on Internet Technology, 2009

Web services promise to revolutionize the way computational resources and business processes are ... more Web services promise to revolutionize the way computational resources and business processes are offered and invoked in open, distributed systems, such as the Internet. These services are described using machine-readable metadata, which enables consumer applications to automatically discover and provision suitable services for their workflows at run-time. However, current approaches have typically assumed service descriptions are accurate and deterministic, and so have neglected to account for the fact that services in these open systems are inherently unreliable and uncertain. Specifically, network failures, software bugs and competition for services may regularly lead to execution delays or even service failures. To address this problem, the process of provisioning services needs to be performed in a more flexible manner than has so far been considered, in order to proactively deal with failures and to recover workflows that have partially failed. To this end, we devise and presen...

Research paper thumbnail of Distributing coalition value calculations to self-interested agents

Adaptive Agents and Multi-Agents Systems, May 5, 2014

In characteristic function games, an agent can potentially join many different coalitions, and so... more In characteristic function games, an agent can potentially join many different coalitions, and so must choose which coalition to join. To compare each potential coalition, the agents need to calculate a value for each coalition. As the number of coalitions grows exponentially with the number of agents, the burden of requiring every agent to compute all of the values is high. This can be reduced by sharing the computational load, with each agent calculating only a subset of coalition values. Previous state-of-the-art methods assume that agents are cooperative. This paper outlines an algorithm that distributes value calculations to self-interested agents.

Research paper thumbnail of Dynamic Change Evaluation for Ontology Evolution in the Semantic Web

2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2008

Research paper thumbnail of Calendar Agents on the Semantic Web

IEEE Intell. Syst., 2002

pages in HTML quickly captured public interest, and it evolved at a phenomenal rate into a vast k... more pages in HTML quickly captured public interest, and it evolved at a phenomenal rate into a vast knowledge base. During this growth, however, Web pages' information structure , which is crucial to making the information machine understandable, was sacrificed in favor of presentation and physical design. However, this lack of structure has not deterred agents from using information on the Web. Many agent systems track users' navigation habits as they click throughout the Web so they can suggest new, potentially interesting Web pages to them; others automate access to information sites, replicating human-oriented queries and parsing the resulting pages. Agents have also harvested tax-onomies that guide human navigation toward clustered topics of interest. However, in each case, these agents have had to use bespoke parsers (code written specifically to parse a given Web page, such as Yahoo's restaurant information), and content scrapers (languages for defining rules used to ...

Research paper thumbnail of Transition of legacy systems to semantically enabled applications: TAO method and tools

Semantic Web, 2012

Despite expectations being high, the industrial take-up of Semantic Web technologies in developin... more Despite expectations being high, the industrial take-up of Semantic Web technologies in developing services and applications has been slower than expected. One of the main reasons is that many legacy systems have been developed without considering the potential of the Web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the migration from legacy systems to Semantic Web Service-based systems can be a tedious and expensive process, which carries a significant risk of failure. There is an urgent need to provide strategies, allowing the migration of legacy systems to Semantic Web Services platforms, and also tools to support such strategies. In this paper we propose a methodology and its tool support for transitioning these applications to Semantic Web Services, which allow users to migrate their applications to Semantic Web Services platforms automatically or semi-automatically. The transition of the GATE system is used as a case study.

Research paper thumbnail of Browsing Schedules - An Agent-Based Approach to Navigating the Semantic Web

The Semantic Web — ISWC 2002, 2002

The Semantic Web promises to change the way agents navigate, harvest and utilize information on t... more The Semantic Web promises to change the way agents navigate, harvest and utilize information on the internet. By providing a structured, distributed representation for expressing concepts and relationships defined by multiple ontologies, it is now possible for agents to read and reason about published knowledge, without the need for scrapers, information agents, and centralized ontologies. Agents can utilize this knowledge to seek and invoke other agents and web services, thus supporting navigation across the Semantic Web. We demonstrate how agents support enhanced navigation within a conference-schedule domain, and present three agent-based services: the RETSINA Calendar Agent, which reasons about schedules marked up on the Semantic Web; the DMA2ICal Translation Agent which provides translation services between schedules grounded in different ontologies, and a Conference Agent that invokes the Calendar Agent.

Research paper thumbnail of RCal

Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02, 2002

The Semantic Web promises to change the way agents navigate, harvest and utilize information on t... more The Semantic Web promises to change the way agents navigate, harvest and utilize information on the internet. By providing a structured, distributed representation for expressing concepts and relationships defined by multiple ontologies, it is now possible for agents to read and reason about published knowledge, without the need for scrapers, information agents, and centralized ontologies. We present the RETSINA Calendar Agent, a distributed meeting scheduler, that reads schedules (such as conference programs, events, etc) marked up in RDF on the Semantic Web, and imports these into the user's Personal Information Manager. The embedded Semantic Web Browsing tool allows the user to explore related concepts within the schedule, and to query other agents and service providers for more information.

Research paper thumbnail of Importing the Semantic Web in UDDI

Lecture Notes in Computer Science, 2002

Research paper thumbnail of A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007

Research paper thumbnail of OWL-S Atomic Services Composition with SWRL Rules

Lecture Notes in Computer Science

This paper presents a method for encoding OWLS atomic processes by means of SWRL rules and compos... more This paper presents a method for encoding OWLS atomic processes by means of SWRL rules and composing them using a backward search planning algorithm. A description of the preliminary prototype implementation is also presented.

Research paper thumbnail of A Semantic Framework for Priority-Based Service Matching in Pervasive Environments

Lecture Notes in Computer Science, 2007

The increasing popularity of personal wireless devices has raised new demands for the efficient d... more The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. The existing approaches such as Jini [1], UPnP [8], etc., describe services at a syntactic level and the matching mechanisms in these approaches are limited to syntactic comparisons based on attributes or interfaces. In order to overcome the limitations in these approaches, there has been an increased interest in the use of semantic description and matching techniques to support effective service discovery. This paper proposes a semantic matching approach which facilitates the discovery of device-based services in a pervasive environment; the approach provides a ranking facility that orders services according to their suitability and also considers priorities placed on individual requirements in a request during the matching process. The evaluation studies have shown that the matcher results correlate reasonably well with human judgement.

Research paper thumbnail of Argumentation for Reconciling Agent Ontologies

Studies in Computational Intelligence, 2011

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific re... more HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Research paper thumbnail of A formal model of the Semantic Web Service Ontology (WSMO)

Information Systems, 2012

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, ... more Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring and etc.) involved in both intra-and inter-enterprise integration of Web Services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors present in existing documentation.

Research paper thumbnail of A semantic approach for description and ranked matching of services in pervasive environments

With the recent developments in technology, new and diverse devices are being introduced into the... more With the recent developments in technology, new and diverse devices are being introduced into the pervasive world. This has raised new challenges for the discovery of devices and their services in dynamic environments. The existing approaches such as Jini [AOSJ99], UPnP [UPnP06], etc., describe services at a syntactic level and the matching mechanisms in these approaches are limited to syntactic comparisons based on attributes or interfaces. In order to overcome the limitations of these approaches, there has been an increasing ...

Research paper thumbnail of Context slicing the chemical aether

Jeremy G. Frey 1 , David De Roure 2 , monica mc schraefel 2 , ... Hugo Mills 2 , Hongchen Fu 1 , ... more Jeremy G. Frey 1 , David De Roure 2 , monica mc schraefel 2 , ... Hugo Mills 2 , Hongchen Fu 1 , Sam Peppe 1 , ... Gareth Hughes2, Graham Smith2, Terry R. Payne2 ... 1 School of Chemistry, University of Southampton, UK { jgfrey, h.fu, s.peppe}@soton.ac.uk 2 School of Electronics and Computer Science, University of Southampton, UK {dder, mc, hrm, gvh, gms, trp}@ecs.soton.ac.uk ... In this paper we discuss the information system requirements of an e-Science scenario, drawn from chemistry research, and describe our approach to a ...

Research paper thumbnail of An ontological framework for semantic description of devices

… Semantic Web …, 2004

Hardware Description contains the details about the hardware resources of the device, the details... more Hardware Description contains the details about the hardware resources of the device, the details of its CPU, the connection to the network and memory. Software Description contains the details of the Operating System of the device where relevant. The Device Status contains the details of its location, CPU usage and the power (method of power supply, whether its battery or mains and the remaining power level). The details of power supply and power level becomes important when it is necessary to determine the resource capability of a ...

Research paper thumbnail of Dynamic ontology evolution in open environments

Changes in an ontology may have a disruptive impact on any system using it. This impact may depen... more Changes in an ontology may have a disruptive impact on any system using it. This impact may depend on structural changes such as name changes or relations between concepts, or it may be related to a change in the expected performance of the reasoning tasks. As the number of systems using ontologies is expected to increase this problem is likely to occur more frequently, and, given the open nature of the Semantic Web, new ontologies and modifications to existing ones are to be expected. Dynamically handling these changes, ...

Research paper thumbnail of Transitioning applications to semantic web services: An automated formal approach

International Journal of Interoperability in Business Information Systems (IBIS), 2008

Semantic Web Services have been recognized as a promising technology that exhibits huge commercia... more Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite expectations being high, the industrial take-up of Semantic Web Service technologies has been slower than expected. One of the main reasons is that many systems have been developed without considering the potential of the web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the ...

Research paper thumbnail of Semantic resource matching for pervasive environments: The approach and its evaluation

Technological advancements in the past decade have caused a large increase in the number and dive... more Technological advancements in the past decade have caused a large increase in the number and diversity of electronic devices that have appeared in the home and office and these devices offer an increasingly heterogeneous range of services. This has introduced new challenges for the dynamic discovery of services in pervasive environments. Several discovery mechanisms currently exist such as Salutation, SLP etc. to support service discovery in the device domain. However, these approaches characterise the services ...

Research paper thumbnail of Transition of Legacy Systems to Semantic Enabled Application: TAO Method and Tools

Abstract. Despite expectations being high, the industrial take-up of Semantic Web technologies in... more Abstract. Despite expectations being high, the industrial take-up of Semantic Web technologies in developing services and applications has been slower than expected. One of the main reasons is that many legacy systems have been developed without considering the potential of the Web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the migration from legacy systems to Semantic Web Service-based systems can be a very tedious and expensive process, which carries a ...

Research paper thumbnail of Flexible provisioning of web service workflows

ACM Transactions on Internet Technology, 2009

Web services promise to revolutionize the way computational resources and business processes are ... more Web services promise to revolutionize the way computational resources and business processes are offered and invoked in open, distributed systems, such as the Internet. These services are described using machine-readable metadata, which enables consumer applications to automatically discover and provision suitable services for their workflows at run-time. However, current approaches have typically assumed service descriptions are accurate and deterministic, and so have neglected to account for the fact that services in these open systems are inherently unreliable and uncertain. Specifically, network failures, software bugs and competition for services may regularly lead to execution delays or even service failures. To address this problem, the process of provisioning services needs to be performed in a more flexible manner than has so far been considered, in order to proactively deal with failures and to recover workflows that have partially failed. To this end, we devise and presen...