7th November 2005SWPW, Galway, Ireland. SWPW Panel - Policies & Ontologies - Karl Quinn, Knowledge & Data Engineering Group, Trinity College Dublin, Ireland.

Slides:



Advertisements
Similar presentations
Chapter 7 System Models.
Advertisements

University of Dublin Trinity College Adaptive Educational Games: Providing Non-invasive Personalised Learning Experiences Neil Peirce, Owen Conlan, Vincent.
© Janice Regan Problem-Solving Process 1. State the Problem (Problem Specification) 2. Analyze the problem: outline solution requirements and design.
1 SWE Introduction to Software Engineering Lecture 13 – System Modeling.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 8 Slide 1 System models.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Domain-Specific Software Engineering (DSSE). Software Engineering Concerns  There are many of them  “Classical” software architecture research has focused.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Modified from Sommerville’s originalsSoftware Engineering, 7th edition. Chapter 8 Slide 1 System models.
7M701 1 Software Engineering Systems Models Sommerville, Ian (2001) Software Engineering, 6 th edition: Chapter 7 (some items)
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models September 29, 2008.
1 Introduction The Database Environment. 2 Web Links Google General Database Search Database News Access Forums Google Database Books O’Reilly Books Oracle.
©Ian Sommerville 2000Software Engineering, 6/e, Chapter 71 System models l Abstract descriptions of systems whose requirements are being analysed.
Software Requirements
Modified from Sommerville’s originalsSoftware Engineering, 7th edition. Chapter 8 Slide 1 System models.
Next Generation eLearning Can Technology Learn from the Learners: The case for Adaptive Learning Objects Vincent Wade Research Director, Knowledge & Data.
7M822 Software Engineering: System Models 14 September 2009.
Chapter 1: The Database Environment
Chapter 7: System models
Domain-Specific Software Engineering Alex Adamec.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
Improving Data Discovery in Metadata Repositories through Semantic Search Chad Berkley 1, Shawn Bowers 2, Matt Jones 1, Mark Schildhauer 1, Josh Madin.
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
Web Policy Zeitgeist Panel SWPW 2005 – Galway, Ireland Piero Bonatti, November 7th, 2005.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
Chapter 4 System Models A description of the various models that can be used to specify software systems.
System models. System modelling System modelling helps the analyst to understand the functionality of the system and models are used to communicate with.
System models Abstract descriptions of systems whose requirements are being analysed Abstract descriptions of systems whose requirements are being analysed.
University of Dublin Trinity College Localisation and Personalisation: Dynamic Retrieval & Adaptation of Multi-lingual Multimedia Content Prof Vincent.
Ontology Summit2007 Survey Response Analysis -- Issues Ken Baclawski Northeastern University.
91587 Mathematics and Statistics Apply systems of simultaneous equations in solving problems Level 3 Credits 2 Assessment Internal.
Ontology-based and Rule-based Policies: Toward a Hybrid Approach to Control Agents in Pervasive Environments The Semantic Web and Policy Workshop – ISWC.
©Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions.
Effective Requirements Management – an overview Kristian Persson Field Product Manager, Telelogic Asia/Pacific.
EU Project proposal. Andrei S. Lopatenko 1 EU Project Proposal CERIF-SW Andrei S. Lopatenko Vienna University of Technology
Chapter 7 System models.
Ocean Observatories Initiative Data Management (DM) Subsystem Overview Michael Meisinger September 29, 2009.
Slide 1 System models. Slide 2 Objectives l To explain why the context of a system should be modelled as part of the RE process l To describe behavioural.
System models l Abstract descriptions of systems whose requirements are being analysed.
Modified by Juan M. Gomez Software Engineering, 6th edition. Chapter 7 Slide 1 Chapter 7 System Models.
Software Engineering, 8th edition Chapter 8 1 Courtesy: ©Ian Somerville 2006 April 06 th, 2009 Lecture # 13 System models.
Sommerville 2004,Mejia-Alvarez 2009Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 Chapter 7 System Models.
Deriving Operational Software Specification from System Goals Xin Bai EEL 5881 Course Fall, 2003.
Christoph F. Eick University of Houston Organization 1. What are Ontologies? 2. What are they good for? 3. Ontologies and.
SKOS. Ontologies Metadata –Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies –Provide.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
AF1.1 L1-2 Using models for and in explanations Compare features or parts of objects, living things or events.
Specification of Policies for Web Service Negotiations Steffen Lamparter and Sudhir Agarwal Semantic Web and Policy Workshop Galway, November 7 th University.
A Context Information Service using Ontology-Based Queries Ruaidhrí Power, Dave Lewis, Declan O’Sullivan, Owen Conlan, Vincent Wade Knowledge and Data.
DS - Spring 2006 Ontology & Pervasive Computing 1 ONTOLOGY & PERVASIVE COMPUTING Elham Paikari Distributed Systems – Spring 2006 Computer Engineering Department.
Formal Specification: a Roadmap Axel van Lamsweerde published on ICSE (International Conference on Software Engineering) Jing Ai 10/28/2003.
Deployment of Ontology Mediation Of Information Flow Modified from Presentations made in 2002, 2003 and 2004 This material is not specific to any project.
Service Oriented Architecture in the presence of information structure (audio of this talk)audio of this talk Presenter: Paul S Prueitt, PhD:
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
Policy Based Management for Internet Communities Kevin Feeney, Dave Lewis, Vinny Wade, Knowledge and Data Engineering Group Trinity College Dublin Policy.
 To explain why the context of a system should be modelled as part of the RE process  To describe behavioural modelling, data modelling and object modelling.
Software Engineering, COMP201 Slide 1 Software Requirements BY M D ACHARYA Dept of Computer Science.
Semantic Web in Context Broker Architecture Presented by Harry Chen, Tim Finin, Anupan Joshi At PerCom ‘04 Summarized by Sungchan Park
OWL Web Ontology Language Summary IHan HSIAO (Sharon)
CSC3315 (Spring 2009)1 CSC 3315 Languages & Compilers Hamid Harroud School of Science and Engineering, Akhawayn University
Sharing personal knowledge over the Semantic Web ● We call personal knowledge the knowledge that is developed and shared by the users while they solve.
Ontology Technology applied to Catalogues Paul Kopp.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Trust Meta-Policies for Flexible and Dynamic Policy Based Trust Management Knowledge & Data Engineering Group, School of Computer Science & Statistics,
Engineering, 7th edition. Chapter 8 Slide 1 System models.
Abstract descriptions of systems whose requirements are being analysed
System models October 5, 2005.
Geospatial and Problem Specific Semantics Danielle Forsyth, CEO and Co-Founder Thetus Corporation 20 June, 2006.
Social Practice of the language: Describe and share information
Presentation transcript:

7th November 2005SWPW, Galway, Ireland. SWPW Panel - Policies & Ontologies - Karl Quinn, Knowledge & Data Engineering Group, Trinity College Dublin, Ireland.

7th November 2005 SWPW, Galway, Ireland. Personal Background

7th November 2005 SWPW, Galway, Ireland. Policy & Ontology General Ontological Characteristics –Information to help decision-making –Semantics for reasoning –Communications; explaining agents’ stance –Specialisation of more general models Policy Refinement –‘Process of transforming high level abstract policy specification into low level concrete ones’ –Sloman –Difficult problem; refinement absent, solution needed for real policy use.

7th November 2005 SWPW, Galway, Ireland. Policy & Ontology Policy Refinement Objectives (1)Determine resources needed to satisfy policy requirements Resource description of low level as a model Mapping (abstract entities  concrete objects) (2)Translate high-level policies to enforceable operational policies Policy derivation; cognitive, vocabulary, do’s/don’ts Knowledge to reduce brute force search space (3)Verify lower level policies meet high-level policy requirements Process for correct and consistent decomposition of abstract requirements into concrete ones. In addition: - Subsumption; more/less specialised based on context, navigate over action relationships. - Policy > ECA; look up events, describe actions, not just simple but deontic logic, delegations, etc. P (E i, C i, A i ) P (E ii, C ii, A ii ) EiEi E ii isA

7th November 2005 SWPW, Galway, Ireland. Policy & Ontology Conclude: What are the positives? –User Interface, Specification, Governance. What’s unstable wrt policy & ont? –Conflict detection, No set policy language, Reasoning overheads. Current… –Ontology + Policy = Potential –Solve refinement = build flexible systems.

7th November 2005 SWPW, Galway, Ireland. Thank You Thanks to: Vincent Wade, Declan O’Sullivan, Dave Lewis