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
Multimedia and Information Systems is...
We focus on content-based information retrieval over a wide range of data spanning form unstructured text and unlabelled images over spoken documents and music to videos. This encompasses the modelling of human perception of relevance and similarity, the learning from user actions and the up-to-date presentation of information. Currently we are building a research version of an integrated multimedia information retrieval system MIR to be used as a research prototype. We aim for a system that understands the user's information need and successfully links it to the appropriate information sources, be it a report or a TV news clip. This work is guided by the vision that an automated knowledge extraction system ultimately empowers people making efficient use of information sources without the burden of filing data into specialised databases.
Visit the MMIS website
List all Multimedia and Information Systems Projects
Check out these Hot Multimedia and Information Systems Technologies:
List all Multimedia and Information Systems Technologies
