Ontology Competition

April 1, 2011 / Melody Smith / Comments Off on Ontology Competition

April 1, 2011 – Rearden Commerce has announced its sponsorship of a category of The World Championship for Automated Theorem Proving (ATP), Large Theory division. The competition showcases the latest advancements in logical reasoning.

This interesting piece of news was found on BusinessWire in their post, “Rearden Commerce Sponsors Semantic Technology Contest.” It will be held in conjunction with The 23rd International Conference on Automated Deduction (CADE) in Warsaw, Poland on August 3, 2011.

Rearden Commerce will underwrite the cash prizes associated with the Suggested Upper Merged Ontology (SUMO) problem category of the Large Theory division.

Encouraging development in the semantic technology field is always a good thing. Using competitiveness to do it is an interesting approach.

Melody K. Smith

Posted in , ,

Melody Smith

Melody K. Smith has provided organizational, social media and digital communication services to a large non-profit for the past twenty years. Prior to that she championed employee engagement and communications in the healthcare field. She holds a Bachelors degree in Marketing. When not wrangling and writing TaxoDiary content for your reading pleasure, Melody writes fiction, rescues dogs and throws legendary dinner parties.