|
http://rewerse.net |
|
Secure but cooperative systems, privacy protection, and business rules for everybody: the Working Group on "Policy specification, composition, and conformance" aims at designing policy languages and policy-driven systems that enhance user privacy, Web service usability and protection, and improve user control on the policies applied by open systems and services.
Protune is the core policy language and architecture of REWERSE. Protune supports a number of advanced features, ranging from distributed credential negotiation to policy protection by filtering and blurring.
PROTUNE is a demonstrator of WG I2's ideas. Trust negotiations are automatically induced by the declarative policies of the interacting peers. Access control and privacy can be integrated with simple business rules. If needed, negotiations can be controlled via metapolicies. PROTUNE's features include
More information on
Links to screencasts:
The following demo screencasts show how policies can be used for resource protection. The scenario consists of two parts is described in detail here.
Contact: Piero Bonatti (Naples), Daniel Olmedilla (Hannover)
PROTUNE policies and negotiations can be explained in natural language to help users and managers in validating policies, understanding system behavior, etc.
PROTUNE-X supports how-to, why/why-not, and what-if queries. The explanation facility is not publicly available
More information: http://rewerse.net/I2/demo-whynot.html
Contact: Piero Bonatti (Naples), Daniel Olmedilla (Hannover)
Attempto Controlled English (ACE) is a controlled natural language, i.e. a rich subset of standard English designed to serve as specification and knowledge representation language. ACE allows users to express professional texts precisely, and in the terms of their respective application domain.
ACE and its tools (Attempto Parsing Engine APE, Attempto Reasoner RACE, Attempto Verbaliser DRACE etc.) are intended for professionals who want to use formal notations and formal methods, but may not be familiar with them. Thus the Attempto system has been designed in a way that allows users to work solely on the level of ACE without having to take recourse to its internal logic representation.
We will demonstrate version 5 of Attempto Controlled English (ACE), and Attempto tools like the Attempto Parsing Engine (APE), the Attempto Paraphraser (DRACE) and the Attempto Reasoner (RACE).
More information: http://attempto.ifi.unizh.ch/site/tools/index.html
Contact: Norbert E. Fuchs (Zurich)
This demo and screencast demonstrates how formal ontologies can be viewed and changed in Attempto Controlled English (ACE). We will first briefly introduce the popular ontology editor Protege and the Semantic Web ontology language OWL and then move on to explaining a new Protege plugin ACEView which allows to view and modify OWL ontologies in ACE. We conclude that the ACE view offers an easy access to OWL ontologies: it lets domain specialists view and change what the knowledge engineers have written.
Link to screencast (requires Apple Quicktime): http://attempto.ifi.unizh.ch/site/documentation/screencast_ace_in_protege.mov
More information about Attempto: http://attempto.ifi.unizh.ch/
Contact: Kaarel Kaljurand (Zurich)
This screencast shows how rules and facts can be represented and executed in Attempto Controlled English (ACE). We introduce AceRules as a rule system prototype using ACE as input and output language. AceRules comes with a convenient web interface that is explained in this screencast. Furthermore, the trace feature of AceRules is briefly introduced. We prove that rules can be natural and executable at the same time.
Link to screencast (requires Apple Quicktime): http://attempto.ifi.unizh.ch/site/documentation/screencast_acerules.mov
More information about Attempto: http://attempto.ifi.unizh.ch/
Contact: Tobias Kuhn (Zurich)
We show AceWiki, a prototype for a semantic wiki that contains articles written in Attempto Controlled English. AceWiki has been designed with a strong focus on biomedical knowledge. The preloaded ontology is one of protein interactions.
More information: http://attempto.ifi.unizh.ch/acewiki/
Contact: Tobias Kuhn (Zurich) & Loic Royer (Dresden)
Further Information on I2 website
Go back to the presentation index