[Attempto] Decidable subset of ACE

[Kaarel Kaljurand]

Hi,

On Wed, Nov 14, 2012 at 6:18 AM, Huan Nguyen <huan.nguyentuong at gmail.com> wrote:
>
> Can you please let me know if there is any decidable subset of ACE has been
> identified?

the subset of ACE that can be mapped to OWL and the subset of ACE that
the OWL verbalizer (http://code.google.com/p/owlverbalizer/) targets
are decidable given that they are interpreted by mapping them to OWL
and running the standard OWL reasoning tasks (e.g. subsumption
checking) on them. You can read more about the ACE<->OWL mapping in:

    http://attempto.ifi.uzh.ch/site/pubs/papers/phd_kaljurand.pdf

In the literature you can also find decidable CNLs which at the same
time are subsets of ACE. See e.g. the papers listed on:

  - http://www.cs.man.ac.uk/~ipratt/
  - http://www.inf.unibz.it/~cathorne/publications.html

--
kaarel