1 © 2006 Adam Pease, Articulate Software - apease [at] articulatesoftware [dot] com SUMO Applications Adam Pease Articulate Software

2 © 2006 Adam Pease, Articulate Software - apease [at] articulatesoftware [dot] com Pursuit of Rigor in Data Standards Old-style (most common) standards specifications: (ISO 14258, Requirements for enterprise-reference architectures and methodologies) “ Time representation If an individual element of the enterprise system has to be traced then properties of time need to be modeled to describe short-term changes. If the property time is introduced in terms of duration, it provides the base to do further analyses (e.g., process time). There are two kinds of behavior description relative to time: static and dynamic.” Data-model standards (ISO , Product Description and Support) ENTITY product_context SUBTYPE OF (application_context_element); discipline_type : label; END_ENTITY; Semantic-model standards (IEEE P SUMO, ISO , PSL Core) (forall (?t1 ?t2 ?t3) (=> (and (before ?t1 ?t2) (before ?t2 ?t3)) (before ?t1 ?t3))) Thanks to Steve Ray, NIST

3 © 2006 Adam Pease, Articulate Software - apease [at] articulatesoftware [dot] com Benefit of Formality Most SUMO applications were created without contact with the SUMO developers –Semantics of the terms is explicit, formal, computable and objective Also all free

4 © 2006 Adam Pease, Articulate Software - apease [at] articulatesoftware [dot] com Classes of Application Lexical semantic resources Linguistics “pure” representation Reasoning and reasoning testing

5 © 2006 Adam Pease, Articulate Software - apease [at] articulatesoftware [dot] com Classes of Application Academic Government Industry –The “dark” web

6 © 2006 Adam Pease, Articulate Software - apease [at] articulatesoftware [dot] com Classes of Application “light” use –Using the OWL or Protege versions “heavy” use –Use of the full KIF model

7 © 2006 Adam Pease, Articulate Software - apease [at] articulatesoftware [dot] com User Community Roughly 100 published papers describing use of SUMO found by Google Scholar – Largest user community is in linguistics –Thanks to the full set of manually created mappings to the WordNet lexicon –Now linked to EuroWordNet, BalkaNet, HowNet, Arabic WordNet etc