Implementação computacional e verificação de ontologias para a modelagem da confiança em transações na web

O avanço da World Wide Web tem mudado a forma como os negócios são conduzidos entre as organizações. A Web Semântica é o próximo passo na evolução da web. Ela trata de agregar significado semântico ao seu conteúdo, tornando-o mais acessível a máquinas. Dentre os componentes da Web Semântica encontram-se as ontologias, que são representações do conhecimento comumente acordados em um determinado domínio na forma de classes, atributos e relações. O conhecimento presente na ontologia deve ser compartilhado e sua estrutura não é definitiva. Dentre as opções de uso das ontologias, encontra-se a avaliação de confiança nas transações comerciais na web. Assim, buscou-se um modelo teórico de ontologias de confiança, sobre o qual foi realizada uma implementação computacional e sua verificação. O modelo apresenta uma ontologia genérica de confiança, e três específicas: confiança nos agentes, confiança nos serviços e confiança nos produtos. Usou-se a ferramenta Protégé para implementar as classes, os atributos e as relações da ontologia genérica e das ontologias específicas. A verificação se deu pelo método de Baumeister e Seipel e pela realização de alguns exemplos, com adaptações. A partir dos experimentos computacionais conclui-se que o modelo de ontologias para confiança na web testado pode ser usado em um sistema de informação com restrições, uma vez que apresenta deficiências.The advance of World Wide Web has changed the way businesses are conducted between organizations. Semantic Web is the next step in web evolution. It joins semantic meaning to its content, making it more accessible to machines. One of Semantic Web components are the ontologies. They are knowledge representation commonly agreed in a particular domain, in a form of classes, attributes and relations. The ontology knowledge must be shared and its structure is not definitive. One of the uses for ontologies is the trust evaluation in web businesses transactions. So one theoretical model of trust ontologies was used, it was computationally implemented, and verified. This model presents one generic trust ontology, and three specific ontologies: agent trust, service trust and product trust. Protégé tool was used to implement the classes, attributes and relations of generic ontology and of specific ontologies. Verification was performed using Baumeister and Seipel’s method by doing some examples, with adaptations. From the computational experiments it was concluded that the model of ontologies for web trust can be used in an information system with restrictions, since it has some deficiencies