[Attempto] Sample Attempto CNL ontology

[Edmon Begoli]

Dear Kaarel - I was thinking of something more general.
Ideally, I would like to encode definitions/concepts, relationships and
axioms on (controlled) English and then have them, as needed,
translated to OWL or formal logic.

If nothing, I would just like to have my descriptions formalized in
Attempto.
I will have examples of specification available in a week or two.

Thank you,
Edmon


On Sun, Nov 3, 2013 at 5:49 PM, Kaarel Kaljurand <kaljurand at gmail.com>wrote:

> Dear Edmond,
>
> On Sun, Nov 3, 2013 at 7:00 PM, Edmon Begoli <ebegoli at gmail.com> wrote:
> > Dear colleagues,
> >
> > Does anyone have sample, validated ontology coded in Attempto CNL
> > that could share with me?
> >
> > I would like to use it as an example and a starting point for my own
> process
> > ontology.
>
> by "ontology", do you mean an OWL ontology, or something more general?
>
> Some longer ACE texts created by the Attempto group since ~2005 (i.e.
> likely to work with the latest APE) include:
>
>   - AceWiki demo instances (http://attempto.ifi.uzh.ch/acewiki/),
> downloadable as ACE and OWL (using "Action -> Export...")
>   - ACE View examples (http://attempto.ifi.uzh.ch/aceview/ -> Examples)
>   - The LOL policy
> (
> https://github.com/Attempto/APE/blob/a10364e8d74503da86363d0ed7f070c9417d784b/examples/the_lol_policy.ace.txt
> )
>   - The paper "ACE can be described by itself"
> (http://attempto.ifi.uzh.ch/site/pubs/festschrift_mh/)
>   - UTI Guidelines (appendix in:
> http://attempto.ifi.uzh.ch/site/pubs/papers/cnl2009main_shiffman.pdf)
>
> In addition, most OWL ontologies can be converted to ACE using the OWL
> verbalizer (https://code.google.com/p/owlverbalizer/)
>
> Best regards,
> Kaarel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20131103/5308f589/attachment.html>