Double talk
This event took place on Wednesday 20 August 2008 at 11:30
Dr Barry Norton Solutions Architect, Ontotext
Barry Norton, Ontology-based Behavioural Semantics for Business Processes
We present the Business Process Modelling Ontology, developed in the SUPER project, and a Behavioural Reasoning Ontology which confers process algebraic behavioural semantics on processes via ontology-based rules. This is based on previous work on giving compositional process algebraic semantics to the OWL-S process model, which led to the Cashew process model developed in the DIP project. As there the emphasis is on judging behavioural equivalences; on-going work concerns making such judgements via ontology-based reasoning.
Monika Solanki, Imperial College London: Towards Verifying Compliance in Agent-based Web Service Compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended to deal with compliance/violations of contracts. We illustrate these concepts using a motivating example where behaviours of participating agents are governed by contracts. The composition is specified in OWL-S and mapped to our chosen formalism. Finally we use an existing symbolic model checker to verify the example specification whose state space is approx 2^21 and discuss the experimental results.
This event took place on Wednesday 20 August 2008 at 11:30
Barry Norton, Ontology-based Behavioural Semantics for Business Processes
We present the Business Process Modelling Ontology, developed in the SUPER project, and a Behavioural Reasoning Ontology which confers process algebraic behavioural semantics on processes via ontology-based rules. This is based on previous work on giving compositional process algebraic semantics to the OWL-S process model, which led to the Cashew process model developed in the DIP project. As there the emphasis is on judging behavioural equivalences; on-going work concerns making such judgements via ontology-based reasoning.
Monika Solanki, Imperial College London: Towards Verifying Compliance in Agent-based Web Service Compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended to deal with compliance/violations of contracts. We illustrate these concepts using a motivating example where behaviours of participating agents are governed by contracts. The composition is specified in OWL-S and mapped to our chosen formalism. Finally we use an existing symbolic model checker to verify the example specification whose state space is approx 2^21 and discuss the experimental results.
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
Semantic Web and Knowledge Services is...
Our research in the Semantic Web area looks at the potentials of fusing together advances in a range of disciplines, and applying them in a systemic way to simplify the development of intelligent, knowledge-based web services and to facilitate human access and use of knowledge available on the web. For instance, we are exploring ways in which tnatural language interfaces can be used to facilitate access to data distributed over different repositories. We are also developing infrastructures to support rapid development and deployment of semantic web services, which can be used to create web applications on-the-fly. We are also investigating ways in which semantic technology can support learning on the web, through a combination of knowledge representation support, pedagogical theories and intelligent content aggregation mechanisms. Finally, we are also investigating the Semantic Web itself as a domain of analysis and performing large scale empirical studies to uncover data about the concrete epistemologies which can be found on the Semantic Web. This exciting new area of research gives us concrete insights on the different conceptualizations that are present on the Semantic Web by giving us the possibility to discover which are the most common viewpoints, which viewpoints are mutually inconsistent, to what extent different models agree or disagree, etc...
Our aim is to be at the forefront of both theoretical and practical developments on the Semantic Web not only by developing theories and models, but also by building concrete applications, for a variety of domains and user communities, including KMi and the Open University itself.
List all Semantic Web and Knowledge Services Projects
Check out these Hot Semantic Web and Knowledge Services Technologies:
List all Semantic Web and Knowledge Services Technologies
