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