Ontologias de fundamentação e modelagem conceitual

Ontologias de Fundamentação e Modelagem Conceitual
Giancarlo Guizzardi, João Paulo Andrade Almeida, Renata S.S. Guizzardi, Ricardo Falbo Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO), Universidade Federal do Espírito Santo (UFES), Av. Fernando Ferrari, 514, Campus de Goiabeiras, 29075-910, Vitória-ES, Brazil, {gguizzardi, jpalmeida, rguizzardi falbo}@inf.ufes.br –http://nemo.inf.ufes.br/

Posição de Pesquisa (Research Statement) Apesar da crescente popularidade do tópico de ontologias em Ciência da Computação, um importante ponto a ser salientado é a diferença do significado do termo “ontologia” quando utilizado, por um lado, pela comunidade de Modelagem Conceitual e, por outro, pelas comunidades de Inteligência Artificial, Engenharia de Software e Web Semântica. Emmodelagem conceitual e áreas afins (ex. Modelagem organizacional), o termo é usado de acordo com sua definição original em filosofia, a saber, como uma referência a um sistema formal e filosoficamente bem-fundamentado de categorias que pode ser usado para articular conceituações e modelos em domínios específicos do conhecimento. Em contraste, nas outras áreas supracitadas, o termo ontologia temsido usado como: (i) artefato concreto de engenharia, projetado com um propósito específico e sem prestar nenhuma ou quase nenhuma atenção a aspectos teóricos de fundamentação; (ii) modelo de um domínio específico do conhecimento (ex., biologia molecular, finanças, logística, doenças infecciosas) expresso em uma linguagem de representação do conhecimento (ex., RDF, OWL, F-Logic) ou modelagemconceitual (ex., UML, EER, ORM). Ontologias, no sentido filosófico, têm sido desenvolvidas em filosofia desde Aristóteles com sua teoria de Substância e Acidentes e, mais recentemente, várias dessas teorias têm sido propostas sob o nome de ontologias de fundamentação (Foundational Ontologies). Desde o fim da década de oitenta, observa-se um crescente interesse no uso dessas ontologias de fundamentaçãono processo de avaliação e (re)engenharia de linguagens de modelagem conceitual. A hipótese inicial, e que foi posteriormente confirmada por várias evidências empíricas, pode ser explicada através da seguinte argumentação: (i) modelos conceituais são artefatos produzidos com o objetivo de representar uma determinada porção da realidade segundo uma determinada conceituação; (ii) Ontologias deFundamentação descrevem as categorias que são usadas para a construção dessas conceituações. Podemos, portanto, concluir que uma linguagem adequada de modelagem conceitual deveria possuir primitivas de modelagem que refletissem as categorias conceituais definidas em uma Ontologia de Fundamentação. Uma ontologia de domínio, no sentido usado pelas demais comunidades em computação, é um tipo particularde modelo conceitual. Em particular, é um modelo conceitual que deve satisfazer o requisito adicional de servir como uma representação de consenso (ou modelo de referência) de uma conceituação compartilhada por uma determinada comunidade. Portanto, se uma ontologia de domínio é, antes de qualquer coisa, um modelo conceitual, uma linguagem adequada para representação de ontologias de domínio devesatisfazer os requisitos gerais de uma linguagem adequada para modelagem conceitual, ou seja, deve ter como teoria subjacente uma ontologia de fundamentação. Em outras palavras, ontologias (no sentido adotado em filosofia e em

modelagem conceitual) representam ferramentas conceituais de importância fundamental para a criação de ontologias de domínio de qualidade (no sentido adotado nasdemais áreas). O grupo NEMO, através de seu trabalho de pesquisa, defende explicitamente a necessidade de uma abordagem multidisciplinar para a construção de teorias de fundamentação para modelagem conceitual, trabalhando com contribuições oriundas de disciplinas como Ontologia Formal em Filosofia, Ciência Cognitiva, Lógica Filosófica e Linguística. Por outro lado, o trabalho do grupo também defende...