O uso de semântica muito formal para criar ontologias dirigidas a aplicações de software e a criação de mecanismos locais de colaboração dirigidos ao usuário caracterizam, respectivamente,