Seminars [270]

Forthcoming Events [0]

Past Events [270]
 

News

 
KMi Seminars
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.

 
KMi Seminars
 

Knowledge Management is...


Knowledge Management
Creating learning organisations hinges on managing knowledge at many levels. Knowledge can be provided by individuals or it can be created as a collective effort of a group working together towards a common goal, it can be situated as "war stories" or it can be generalised as guidelines, it can be described informally as comments in a natural language, pictures and technical drawings or it can be formalised as mathematical formulae and rules, it can be expressed explicitly or it can be tacit, embedded in the work product. The recipient of knowledge - the learner - can be an individual or a work group, professionals, university students, schoolchildren or informal communities of interest.
Our aim is to capture, analyse and organise knowledge, regardless of its origin and form and make it available to the learner when needed presented with the necessary context and in a form supporting the learning processes.