SKY  – a shorthand for “Software Knowledge” – is meant to indicate 
that  software in its higher  levels  of abstraction   is  a  new  
kind  of knowledge.
This is quite intuitive when one thinks that a UML diagram
of a software package, with  its classes   and relations, can be  easily 
viewed as the set of classes  and  relations  of  a
knowledge   ontology, or  represented  by Description Logics.
This  new  kind  of knowledge is Runnable knowledge.   
Software Knowledge is a runnable expression of meaning. 
The    main    theme  of    the   SKY2011 Workshop   is   
Discovery   and Representation   of  Runnable Knowledge
of  desired types. We mean discovery in software data repository
of any size, up to the whole Web.