|To:||Ontology Summit 2012 discussion <ontology-summit@xxxxxxxxxxxxxxxx>|
|From:||Adrian Walker <adriandwalker@xxxxxxxxx>|
|Date:||Sat, 5 May 2012 07:29:51 -0400|
Maybe I missed something, but I have yet to see anyone actually try to give FOL axioms.
I did suggest
but maybe I sent it to the wrong destination.
The English surface syntax is mapped to logic with NAF and executed by the system online at the site below. The system supports using a browser to edit and run the example.
HTH, -- Adrian
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements
Phone: USA 860 830 2085
On Fri, May 4, 2012 at 7:43 PM, henson graves <henson.graves@xxxxxxxxxxx> wrote:
Good point, Peter,
_________________________________________________________________ Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/ Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/ Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012 Community Portal: http://ontolog.cim3.net/wiki/ (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontology-summit] First Model Bench Challenge, doug foxvog|
|Next by Date:||Re: [ontology-summit] First Model Bench Challenge, Adrian Walker|
|Previous by Thread:||[model-challenge] The modeling benchmark challenge is not the ontology summit., henson graves|
|Next by Thread:||Re: [model-challenge] The modeling benchmark challenge is not the ontology summit., Obrst, Leo J.|
|Indexes:||[Date] [Thread] [Top] [All Lists]|