Update specs examples (from owl file)