REWERSE - reasoning on the web

Demos I2 - Policy Specification, Composition, and Conformance

ACE in Protégé

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: 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)


AceRules Interface

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.

Contact: Tobias Kuhn (Zurich)


Recent Developments of the Attempto System

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)


Printer friendly version [html]

go to top of page