What‘s New

    [Home | Browse | Download | Publications | Tools | What‘s New | About]

    • 4/22/2010 - Updated the online Sigma browser to the latest version, and included all the latest ontology content and WordNet mappings
    • 4/4/2010 - Added Languages (separated out from People.kif) and Media (new content) ontologies and did extensive cleanups of place names
    • 3/18/2010 - Created (with Chris Benzmueller) a description of the basic resolution theorem proving algorithm
    • 11/5/2009 - Mapped the OBO taxonomies to SUMO
    • 8/11/2009 - Announced the winners of the 2009 SUMO Reasoning Prize
    • 05/17/2009 - Added a merge of Mondial geographic data with SUMO
    • 02/17/2008 - Posted some guidelines for ontology development
    • 12/31/2007 - Announced the 2007 SUMO prize winner
    • 09/20/2007 - Released version 2.0 of Sigma
    • 09/10/2007 - Posted a new introductory tutorial on KIF and SUMO with slides and audio
    • 08/11/2007 - Posted some instance content about people from DBPedia, lightly linked to SUMO
    • 08/02/2007 - Posted a graph of SUMO 1.75
    • 07/18/2007 - Announced the 2007 SUMO Prize competition
    • 06/18/2007 - Added the ability to display images in Sigma linked to SUMO terms, and compiled a list of images
    • 05/01/2007 - Released mappings from all the SUMO ontologies to WordNet 3.0
    • 02/28/2007 - Initial release of a small ontology of Arabic/Muslim cultural concepts
    • 12/01/2007 - Award of the 2006 SUMO prize to Dr. Robin Sharp
    • 09/06/2006 - Intial release of a set of new military ontologies covering devices, processes and people
    • 08/22/2006 - Made a new release of Sigma 1.5 with an improved manual and install script
    • 08/07/2006 - Completed mappings to all of WordNet 2.1 noun and verb synsets
    • 04/24/2006 - Ported all existing SUMO-WordNet mappings to WordNet 2.1
    • 09/07/2005 - Posted a number of typo fixes to the domain ontologies, and new code to Sigma that finds errors in the number of arguments used with logical operators
    • 03/18/2005 - Added a Frequently Asked Questions page
    • 12/17/2004 - Posted updates to SUMO and all the domain ontologies
    • 07/29/2004 - Posted domain ontologies which extend SUMO
    • 05/05/2004 - Created OntologyPortal site
    Webmaster