Logics and Ontologies as part of FOIS2014

The meeting in 2013 was about Logic and Proof Theory and it happened in Ilha Grande. Bruno to put up a page with the programme a while back, Logic Semantics II.

The meeting in 2012 was also more about Proof Theory. The link Paraty 2012   shows the programme.

In 2014 we hope to be in Rio doing the workshop Logics and Ontologies for Natural Language (LogOnto) 2014. The programme is almost ready, will be posting it soon! Invited speakers include Adam Pease and Renata Vieira, yay!

How did the meeting go?

The official webpage for the first official meeting of our project in Nov 2011 was

Logics and Ontologies for Portuguese 

and I think the meeting was a big success.  I'm wondering whether there will be another this year...

Meanwhile the big recent news is that:

1. Alexandre is coming to the Bay Area, for Adam's ACM SUMO Course  and talking at SRI.

2. Francis Bond added our OpenWN-PT to his Open Multilingual WordNet online tool so it's online, searchable, downloadable and "linked" to SUMO!

Sentiment analysis accuracy is hard to measure

Two blog posts  that make the point.

1 Jason Falls on Social Media Sentiment: competing on accuracy
2 Seth Grimes on Never Trust Sentiment Accuracy Claims

Keeping Information is Hard...

So I have not done much on the project for a while, but I must not forget  stuff that seems useful.
Here's a link to a blog on APIs for extracting entities.
http://faganm.com/blog/2010/01/02/1009/

Using NLTK has been easier and more fun than I'd imagined. Need to try this too.

and finally because I couldn't find it last time I looked here is the picture slogan for the changing the publishing model movement...

Thanksgiving in Rio 2011

The first real meeting of the project is approaching. We're calling it "Logics and Ontologies for Portuguese" but this is a preliminary title only. The dates are 20-25th November, 2011 at FGV.

The plan consists of a minicourse of 5 days, 1:30 a day (morning? afternoon?), some other formal and informal discussions.

Dr Gerard de Melo is our main speaker, we intend to learn lots about YAGO and MENTA and his clever methods to extract information from open sources like Wikipedia.

I hope Dr Leonel de Alencar will come and talk about plans for a Brazilian Portuguese LFG-grammar.

I hope Dr Hermann Hausler might  talk about games for complexity bounds for intuitonistic description logic iALC.

I hope Dr Luiz Carlos Pereira will want to discuss geometric systems of proof.

I hope Suemi will talk about the Dictionary of Historic Persons and we will make progress on a plan for using ontologies to improve access to it.

I shall introduce people to SUMO and Sigma and then hopefully talk about "Natural Logic and Contexts for Quantification". I must improve this (from the Workshop in Stanford, April 2011) an awful lot, but I have some time.

A Preliminary Meeting in Rio...

In October 2010 Valeria visited Alexandre in Rio and gave three talks, brainstorming with the audience ways of making progress on the idea of logical representations for (contents of) text in Portuguese, based on the experience of the NLTT group in PARC.

There are some slides, but  they just preliminary brainstorming thoughts. A slightly more coherent picture, albeit still very preliminary can be gotten from the note ``Bridges from Language to Logic: Concepts, Contexts and Ontologies", which appeared in ENTCS, 2010.

The note is a shortened version of a talk given at SRI AI Center, Menlo Park,  "A Bridge not too far", Thursday January 21, 2010.

Some slides to begin with...

Here are two very short presentations on the project. The first before the project started, at PARGRAM -- Parallel Grammars (October 2010), at PARC in Palo Alto, CA.
The second just happened at Microsoft Silicon Valley Research Center in October 2011, still before the official first meeting of the project.
The official first meeting of the project should happen in Rio, next month at FGV (Fundacao Getulio Vargas), 20-25November 2011.
We have a bit more than a month to go, let us get this show going...