Esta dissertação centra-se no modelo de representação de ontologias O3F e da correspondente linguagem CO3L, ambos desenvolvidos no grupo de Agentes e Inteligência Artificial do Departamento de Ciências e Tecnologias da Informação do ISCTE-IUL. Pretende-se alcançar dois objectivos. O primeiro consiste em melhorar e expandir o O3F e o CO3L para aumentar a sua expressividade, especialmente no sentido de permitir a representação de modelos UML e ontologias OWL. O segundo consiste na criação de ferramentas computacionais para ontologias O3F, a principal das quais é um conversor automático de UML para O3F/CO3L. Pretende-se assim que as ontologias O3F possam ser especificadas em UML, tirando partido das suas ferramentas de desenvolvimento, e aproximar o O3F da grande comunidade de especialistas de modelação UML. Adicionalmente, foram também feitas contribuições para a construção de um servidor de ontologias O3F e desenvolveu-se um mecanismo capaz de extrair, na linguagem textual CO3L, as ontologias armazenadas nesse servidor. Decidiu-se apostar no O3F porque, quando comparado com outras abordagens à representação de ontologias (OWL, Ontolingua e UML), revela várias vantagens e, além disso, tem sido desenvolvida no grupo de investigação em que esta dissertação se integra. Exemplos dessas vantagens são a capacidade de especificar acções ou de modelar segundo vários paradigmas (orientado a objectos, relacional/funcional, ou misturando ambos). A avaliação deste trabalho conclui que as melhorias feitas ao modelo e à linguagem têm utilidade e cumpriram os seus objectivos, e que as ferramentas desenvolvidas efectuam processamentos correctos, têm utilidade e são práticas de usar.

This dissertation is focused on the ontology representation model O3F and the corresponding language CO3L, both developed by the Agents and Artificial Intelligence group of the Department of Sciences and Information Technologies of ISCTE-IUL. It is intended to achieve two goals. The first one consists of improving and expanding O3F and CO3L in order to increase their expressiveness, especially to allow the representation of UML models and OWL ontologies. The second one consists of developing computer tools for O3F ontologies, the most important of which is an automatic translator from UML to O3F/CO3L. This translator is meant to allow the specification of O3F ontologies in UML, taking advantage of its development tools, and to bridge the gap between O3F and the large and important UML community. In addition, contributions were made to build an ontology server for O3F, and a mechanism capable of extracting, in the CO3L text language, the ontologies stored on the developed server. It was decided to invest in O3F because, when compared to other formal representation languages (OWL, Ontolingua and UML), it shows several advantages and also because it has been developed in the research group where this dissertation was done. Some examples of O3F advantages are its capability to specify actions and is multi-paradigm modeling abilities (object oriented, relational/functional or mixing both). The evaluation of this work concludes that the improvements made to the model and language achieved their goals, and that the developed tools are correct, useful and user-friendly.