User-agent: *
Disallow: /DOC
Disallow: /DTD
Disallow: /OWL
Disallow: /SQL
Disallow: /WEB-INF
Disallow: /mimix
Disallow: /vhosts