University of Zurich University of Zurich University of Zurich

Attempto Tools

APE (ACE parser)

The ACE parser APE can be used through APE Webclient, or directly, via a APE Webservice.

Related documentation:

RACE (ACE reasoner)

The ACE reasoner RACE allows users to do deduction on ACE texts, for example consistency checks and query answering.

AceRules

AceRules is a forward-chaining rule system based on ACE, i.e. the rules and the answer sets are written in ACE. It supports multiple semantics (called 'modes'): courteous logic programs, stable models, and stable models with strong negation. There is a public webservice for AceRules. See the document AceRules Webservice for more information. Based on this webservice, there are two web interfaces: the AceRules interface as a demonstration for normal users and the AceRules technical interface for developers.

AceWiki

AceWiki is a semantic wiki using ACE. Unlike most other semantic wikis, the semantics are contained directly in the article texts and not in some form of annotations.

AceWiki-GF

AceWiki-GF combines AceWiki with Grammatical Framework (GF) in order to make CNL-based semantic wikis multilingual.

ACE View

ACE View is an ontology and rule editor that uses ACE in order to create, view and edit OWL 2 ontologies and SWRL rulesets.

OWL verbalizer

OWL verbalizer converts OWL ontologies (expressed in XML Serialization) into ACE.

ACE Editor

The ACE Editor demonstrates how editing of ACE texts can be done in a convenient way. The ACE Editor is not a finished tool but rather a general basis to create domain-specific tools on top of it.

ACE-in-GF

ACE-in-GF implements the syntax of a large subset of ACE in Grammatical Framework and ports it to additional natural languages.

Externally developed tools

David Hirtle (University of Waterloo) developed TRANSLATOR that converts an ACE text into RuleML.

Juri Luca De Coi (University of Hannover and University of Bologna) translates policy rules expressed in ACE into the Protune policy language and has been developing several tools for this purpose.

Geoff Sutcliffe (University of Miami) added ACE input to his TPTP tools.

Nelson C. Dellis (University of Miami) developed the world knowledge reasoning system CNL-WKR that uses ACE as input language.

Geoff Sutcliffe (University of Miami) and his collaborators have used ACE in their project SporcleAI that combines a quiz game with artificial reasoning.

Joshua A. Taylor (Rensselaer Polytechnic Institute) is developing CL-ACE, a set of Lisp bindings for some of the Attempto Tools.

Using the Grammatical Framework Krasimir Angelov and Aarne Ranta (both at University of Gothenburg) implemented a grammar for ACE and ported it to five other European languages.

Pierre-Alexandre Voye (University of Nantes) wrote the Analysis Tool (DAT) that parses and analyses the DRS output of the Attempto Parsing Engine APE.

last updated: 23 Sep 2013 [back to top | home]