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

<div><br></div><div>If nothing, I would just like to have my descriptions formalized in Attempto. </div><div>I will have examples of specification available in a week or two.</div><div><br></div><div>Thank you,</div><div>

Edmon</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Nov 3, 2013 at 5:49 PM, Kaarel Kaljurand <span dir="ltr"><<a href="mailto:kaljurand@gmail.com" target="_blank">kaljurand@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Edmond,<br>
<div><div class="h5"><br>
On Sun, Nov 3, 2013 at 7:00 PM, Edmon Begoli <<a href="mailto:ebegoli@gmail.com">ebegoli@gmail.com</a>> wrote:<br>
> Dear colleagues,<br>
><br>
> Does anyone have sample, validated ontology coded in Attempto CNL<br>
> that could share with me?<br>
><br>
> I would like to use it as an example and a starting point for my own process<br>
> ontology.<br>
<br>
</div></div>by "ontology", do you mean an OWL ontology, or something more general?<br>
<br>
Some longer ACE texts created by the Attempto group since ~2005 (i.e.<br>
likely to work with the latest APE) include:<br>
<br>
  - AceWiki demo instances (<a href="http://attempto.ifi.uzh.ch/acewiki/" target="_blank">http://attempto.ifi.uzh.ch/acewiki/</a>),<br>
downloadable as ACE and OWL (using "Action -> Export...")<br>
  - ACE View examples (<a href="http://attempto.ifi.uzh.ch/aceview/" target="_blank">http://attempto.ifi.uzh.ch/aceview/</a> -> Examples)<br>
  - The LOL policy<br>
(<a href="https://github.com/Attempto/APE/blob/a10364e8d74503da86363d0ed7f070c9417d784b/examples/the_lol_policy.ace.txt" target="_blank">https://github.com/Attempto/APE/blob/a10364e8d74503da86363d0ed7f070c9417d784b/examples/the_lol_policy.ace.txt</a>)<br>


  - The paper "ACE can be described by itself"<br>
(<a href="http://attempto.ifi.uzh.ch/site/pubs/festschrift_mh/" target="_blank">http://attempto.ifi.uzh.ch/site/pubs/festschrift_mh/</a>)<br>
  - UTI Guidelines (appendix in:<br>
<a href="http://attempto.ifi.uzh.ch/site/pubs/papers/cnl2009main_shiffman.pdf" target="_blank">http://attempto.ifi.uzh.ch/site/pubs/papers/cnl2009main_shiffman.pdf</a>)<br>
<br>
In addition, most OWL ontologies can be converted to ACE using the OWL<br>
verbalizer (<a href="https://code.google.com/p/owlverbalizer/" target="_blank">https://code.google.com/p/owlverbalizer/</a>)<br>
<br>
Best regards,<br>
Kaarel<br>
</blockquote></div><br></div>