4 Ontologia

Nesse captulo introduziremos a discusso sobre o que vem a ser uma ontologia dentro do domnio utilizado nesse trabalho. Veremos as principais vantagens do uso de ontologia, suas reas de aplicao, suas classificaes e metodologias de desenvolvimento. 4.1. O que ontologia O termo ontologia originrio da filosofia. Ontologia um ramo da filosofia que lida com a natureza e a organizao do ser. Esse termo foi
PUC-Rio - Certificao Digital N 0024134/CA

introduzido por Aristteles em Metafsica, IV, 1. No contexto da pesquisa em ontologia, filsofos tentam responder as questes O que um ser? e Quais so as caractersticas comuns de todos os seres? (Maedche, 2002). Esse termo foi recentemente adotado tambm pelas comunidades de inteligncia artificial e gesto de conhecimento para se referir a conceitos e termos que podem ser usados para descrever alguma rea do conhecimento ou construir uma representao desse. A literatura sobre ontologias apresenta uma srie de definies distintas. Essas diferentes definies apresentam pontos de vista distintos e at mesmo complementares para uma mesma realidade. Em Guarino (1997) feita uma longa discusso sobre o significado preciso do termo dentro da Cincia da Computao, pois o seu significado preciso tende a variar conforme o objetivo do uso da ontologia. Entre as vrias definies de ontologia existentes, uma muito interessante a apresentada por Fensel (2001) proveniente de T. R. Gruber em seu artigo A Translation Approach to Portable Ontology Specification:
Uma ontologia uma especificao formal explicita de uma conceitualizao compartilhada.

Nessa frase importante explicitar-se o significado de algumas das palavras utilizadas. A palavra conceitualizao refere-se a um modelo abstrato de algum fenmeno que identifique conceitos relevantes desse fenmeno. A palavra

50

explicita significa que os tipos de conceitos usados e as limitaes do uso desses conceitos devem ser definidos de forma explcita. A palavra formal refere-se que a ontologia deve ser passvel de ser processada por uma mquina. Por fim compartilhada reflete a noo de que a ontologia captura um conhecimento consensual, isto , esse conhecimento no deve ser restrito a alguns indivduos, mas aceito por um grupo de pessoas (Fensel, 2001). Na descrio acima se pode constatar algumas caractersticas importantes que a ontologia deve possuir (a ontologia deve ser explcita, formal, e descrever um conhecimento comum a um grupo), porm no fala a respeito de como a estrutura de uma ontologia. Outra descrio do que vem a ser ontologia, que de certa forma complementar a descrio acima, a apresentada por Gmez-Prez (1999) proveniente de Swartout e seu colegas presente no artigo Towards Distributed Use of Large-Scale Ontologies:
PUC-Rio - Certificao Digital N 0024134/CA

Uma ontologia um conjunto de termos ordenados hierarquicamente para descrever um domnio que pode ser usado como um esqueleto para uma base de conhecimentos.

Na descrio de Swartout, j so dadas algumas informaes a respeito da estrutura de uma ontologia, pois conforme essa descrio, uma ontologia deve possuir um conjunto de termos organizados com uma hierarquia associada, ou seja, uma taxinomia. Outro detalhe dessa descrio apresentar uma das principais utilidades de uma ontologia que a de servir como um schema para uma base de conhecimentos, viso essa muito comum dentro do ramo da gesto de conhecimentos. Vale a pena ressaltar que a definio acima faz uma distino importante sobre o que uma ontologia e o que uma base de conhecimentos. Uma ontologia prov uma estrutura bsica na qual logo acima se pode construir uma base de conhecimentos. A ontologia fornece um conjunto de conceitos e termos para descrever um determinado domnio, enquanto a base de conhecimento usa esses termos para descrever uma determinada realidade. Caso essa realidade seja modificada a base de conhecimentos ser modificada, porm a ontologia permanecer inalterada, desde que o domnio se mantenha inalterado. Para esclarecer a diferena entre ontologia e base de conhecimentos, a figura 12 apresenta um exemplo bem ilustrativo. Neste exemplo, pode-se definir uma ontologia para o domnio de circuitos eletrnicos. A ontologia resultante incluiria

51

conceitos especficos (por exemplo: circuito integrado, resistor, transistor, processador, diodo, etc.) e tambm relaes entre esses conceitos (por exemplo: o processador um tipo de circuito integrado, etc.). Na hora de colocar na base de conhecimentos um circuito de um rdio, ou seja, descrever a realidade de um rdio, esse pode ser formado por 10 transistores, 20 resistores, e 4 diodos. J na hora de colocar na base de conhecimentos um circuito de uma calculadora, esse pode ser formado por 4 transistores, 3 resistores, e 5 diodos. Podemos observar que apesar da realidade descrita na base de conhecimento variar para o rdio e para a calculadora, a ontologia empregada continua sendo a mesma, ou seja, eu uso os mesmos conceitos para descrever as duas realidades.

PUC-Rio - Certificao Digital N 0024134/CA

52

Ontologia do domnio de circuitos eletrnicos Diodo um tipo Componente Eletrnico um tipo um tipo um tipo Transistor um tipo Circuito Integrado Resistor Processador

Base de conhecimento que utiliza a ontologia de circuitos eletrnicos

PUC-Rio - Certificao Digital N 0024134/CA

10 transistores 20 resistores 4 diodos

4 transistores 3 resistores 5 diodos

20 transistores 8 resistores 15 diodos

Figura 12 Comparao entre ontologia e base de conhecimento.

H outras definies a respeito do que vem a ser uma ontologia (Guarino, 1997), porm resumindo os principais pontos dessas definies pode-se dizer que uma ontologia uma conceitualizao compartilhada de um determinado domnio, conforme muito bem definido por T. R. Gruber. Ela composta de um conjunto de conceitos dentro desse domnio, sendo esses organizados como uma taxinomia, e de relaes entre esses conceitos. A ontologia possui tambm axiomas, ou seja, regras pertinentes ao domnio em questo.

53

4.2. Vantagens do uso de ontologias Agora que j foi visto o que uma ontologia, importante que se destaque as vantagens de seu uso. A seguir apresentada uma lista com as principais vantagens da utilizao de ontologias na Cincia da Computao: Ontologias fornecem um vocabulrio para representao do conhecimento. Esse vocabulrio tem por trs uma conceitualizao que o sustenta, evitando assim interpretaes ambguas desse vocabulrio. Ontologias permitem o compartilhamento de conhecimento. Sendo assim, caso exista uma ontologia que modele adequadamente certo domnio de conhecimento, essa pode ser compartilhada e usada por pessoas que desenvolvam aplicaes dentro desse domnio. Para
PUC-Rio - Certificao Digital N 0024134/CA

exemplificar, considere que exista uma ontologia para o domnio de livrarias. Uma vez que essa ontologia est disponvel, vrias livrarias podem construir seus catlogos usando o vocabulrio fornecido por essa ontologia sem a necessidade de refazer uma anlise do domnio de livraria. Fornece uma descrio exata do conhecimento. Diferentemente da linguagem natural em que as palavras podem ter semntica totalmente diferente conforme o seu contexto, a ontologia por ser escrita em linguagem formal, no deixa espao para o gap semntico existente na linguagem natural. Por exemplo, quando uma pessoa fala para outra a palavra Globo ela pode estar querendo falar a respeito de um corpo esfrico, como tambm de um canal de televiso brasileiro. A interpretao da palavra pode ser atribuda a um conceito ou outro conforme o estado mental do indivduo. Porm, se h uma conceitualizao comum entre essas duas pessoas a possibilidade de mal entendido diminui muito. Por exemplo, se essas pessoas concordam em uma ontologia sobre o domnio de formas geomtricas, possivelmente no haver mal entendido.

54

possvel fazer o mapeamento da linguagem da ontologia sem que com isso seja alterada a sua conceitualizao, ou seja, uma mesma conceitualizao pode ser expressa em vrias lnguas. Pode ser possvel estender o uso de uma ontologia genrica de forma a que ela se adeqe a um domnio especfico. Por exemplo, se algum precisa de uma ontologia sobre bicicletas para construir uma aplicao e s encontra uma ontologia sobre o domnio genrico de veculos, pode utilizar essa ontologia estendendo-a para o domnio especfico da aplicao, que no caso so de bicicletas. Essas so as principais vantagens da utilizao de ontologias. Existem muitas outras vantagens, porm a maioria decorrente dessas.

PUC-Rio - Certificao Digital N 0024134/CA

55

4.3. O que compe uma ontologia Entre as vrias descries sobre o que compe uma ontologia (Maedche, 2002; Gmez-Prez, 1999), a que melhor explicita os seus componentes a proposta por Maedche (2002) principalmente devido ao seu alto grau de formalismo na definio da estrutura de uma ontologia. Apesar disso, a descrio dada por Gmez-Prez (1999) mais completa, por considerar que parte das instncias componente da ontologia. Sendo assim, para ns uma ontologia formada pelos seguintes componentes: Um conjunto de conceitos e uma hierarquia entre esses conceitos, ou seja, uma taxinomia. Os conceitos podem ser abstratos (por ex.: fora) ou concretos (por ex.: carro), elementares (por ex.: eltron) ou compostos (por ex.: tomo), reais ou fictcios. Um exemplo de
PUC-Rio - Certificao Digital N 0024134/CA

taxinomia o conceito homem ser um subconceito do conceito pessoa. Um conjunto de relacionamentos entre esses conceitos. Um exemplo de relacionamento entre os conceitos de pessoa e carro o relacionamento de ser-dono. Um conjunto de funes. Uma funo um caso especial de relacionamento em que um conjunto de elementos tem uma relao nica com um outro elemento. Um exemplo de funo ser_pais_biolgicos, onde um conceito homem e um conceito mulher esto relacionados a um conceito pessoa. Um conjunto de axiomas, ou seja, regras que so sempre verdade. Um exemplo de axioma afirmar que toda pessoa tem uma me. Um conjunto de instncias que so um conhecimento prvio existente na ontologia. Na definio apresentada por Gmez-Prez (1999) inclui-se tambm como fazendo parte da ontologia as instncias, o que no est de acordo com a definio apresentada por Maedche (2002), onde as instncias fazem parte da base de conhecimento. Consideramos que algumas instncias de conceitos fazem parte da ontologia, instncias essas que so inerentes ao prprio conhecimento prvio do domnio. Porm, a grande maioria das instncias est na base de conhecimentos.

56

4.4. Classificao das ontologias Existem vrias classificaes diferentes de ontologias fornecidas por diferentes autores (Maedche, 2002; Gmez-Prez, 1999). A que nos parece mais interessante, por utilizar uma caracterstica chave das ontologias, o sistema de classificao que usa a conceitualizao como o principal critrio para classificao. Esse sistema introduzido em (Maedche, 2002) por N. Guarino no seu artigo Formal ontology and information systems sugerindo o desenvolvimento de diferentes tipos de ontologia de acordo com o nvel de generalidade necessria. A seguir, so apresentados os 4 tipos propostos de classificao de uma ontologia (Maedche, 2002): Ontologias de alto-nvel Descrevem conceitos muito gerais como espao, tempo, evento, etc. Esses conceitos tipicamente so
PUC-Rio - Certificao Digital N 0024134/CA

independentes de um problema particular ou domnio. Sendo assim, bem razovel ter-se uma ontologia de alto-nvel compartilhada por grandes comunidades de usurios. Ontologias de domnio Descrevem o vocabulrio relacionado a um domnio genrico, atravs da especializao de conceitos introduzidos nas ontologias de alto-nvel. So exemplos de ontologia de domnio ontologias de veculos, documentos, etc. Ontologias de tarefa Descrevem um vocabulrio relacionado a uma tarefa ou atividade genrica, atravs da especializao de conceitos introduzidos nas ontologias de alto-nvel. Ontologias de aplicao So as ontologias mais especficas por serem utilizadas dentro das aplicaes. Esse tipo de ontologia especializa conceito tanto das ontologias de domnio, como tambm das de tarefas. Um exemplo uma ontologia para uma aplicao que trabalhe com carros de luxo. Essa ontologia especializar conceito da ontologia de veculos (que uma ontologia de domnio). Atravs dessas descries pode-se observar que as ontologias de alto-nvel so as que possuem maior capacidade de reso, por definir conceitos genricos, enquanto as ontologias de aplicao so as que possuem menor capacidade de reso, por definir conceitos relativos a uma aplicao especfica.

57

A figura 13 mostra os diferentes tipos de ontologias e suas relaes.

Ontologia de Alto-Nvel

especializa

especializa

Reusabilidade

Ontologia de Domnio

Ontologia de Tarefa

especializa

especializa

Ontologia de Aplicao Figura 13 Diferentes tipos de ontologias e seus relacionamentos.

PUC-Rio - Certificao Digital N 0024134/CA

58

4.5. Principais reas de aplicao das ontologias A seguir apresentaremos uma viso das vrias reas que empregam a tecnologia de ontologias. 4.5.1. Processamento de linguagem natural Na tarefa de processar linguagem natural, o conhecimento do domnio muito importante para uma compreenso coerente do texto. Esse conhecimento do domnio pode ser dado por meio de uma ontologia sobre o domnio de discurso do texto. A aplicao apresentada por Everett et al. (2002) um exemplo da utilizao de ontologias dentro da rea de processamento de linguagem natural. O uso de ontologias de vital importncia por dois motivos: Auxilia a elucidao de ambigidades de compreenso existentes no
PUC-Rio - Certificao Digital N 0024134/CA

texto. Com a utilizao de uma ontologia sobre o domnio de discurso do texto se reduzem os problemas de ambigidade. A ontologia funciona como um dicionrio de conceitos dentro do domnio do texto. 4.5.2. Gesto do conhecimento Empresas de consultoria como Arthur Andersen, Ernst & Young e Price Waterhouse tm como principal valor da empresa o conhecimento. Achar a informao certa o mais rpido possvel dentro da empresa de vital importncia para a mesma. Sistemas de gesto do conhecimento lidam com a aquisio, manuteno e acesso ao conhecimento dentro de uma organizao. A tecnologia de ontologias dentro dessa rea auxilia das seguintes formas: Ontologias fornecem a estrutura bsica sobre a qual se constroem bases de conhecimentos. Uma dificuldade dos sistemas de gesto de conhecimento o fato de que muito do conhecimento presente dentro das organizaes se encontra em uma forma no estruturada. Usando ontologias, pode-se anotar informaes semnticas em artefatos de informao no

59

estruturados, visando assim a obteno de resultados mais precisos em pesquisas de informao. 4.5.3. Web semntica Uma citao que caracteriza muito bem o estado atual da Web a seguinte, de autoria de John Naisbitt em seu livro "Megatrends 2000" (Staab, 2002):
Ns estamos nos afogando em informaes e com fome de conhecimento

Podemos ver claramente como essa citao verdadeira quando pensamos nas dificuldades existentes em obter resultados precisos em buscas tipicamente realizadas na Web. Conforme vimos no captulo 3, as ferramentas de busca que existem atualmente no conseguem descobrir o significado preciso sobre o que trata determinada pgina na Web, tendo que contar com certas heursticas para tentar compreender o significado do contedo da pgina. Por exemplo, uma heurstica muito utilizada tentar classificar a pgina segundo a freqncia de
PUC-Rio - Certificao Digital N 0024134/CA

ocorrncia das palavras na mesma. A proposta da Web semntica feita por Tim Bernes-Lee (Berners-Lee et al., 2001) vem resolver esse tipo de problema adicionando semntica s pginas da Web. Para isso ele conta com trs tecnologias principais: XML, RDF e ontologias. A tecnologia de ontologias entra para fornecer uma estrutura semntica para anotao das pginas da Web. Espera-se que com a estrutura fornecida pela Web semntica seja possvel obter buscas mais precisas (uma vez que a semntica estar colocada em linguagem formal) e dar uma maior capacidade para os agentes de software que utilizem contedo da Web. 4.5.4. Comrcio eletrnico Tanto a rea de Business to Business como tambm a rea de Business to Consumer pode tirar proveito do uso de ontologias. Na rea de Business to Business, a automatizao de transaes requer uma descrio formal de produtos alm de formatos de trocas sintticas. Um entendimento comum dos termos e suas interpretaes so capturados na forma de uma ontologia, permitindo assim interoperabilidade e meios para uma integrao inteligente de informaes (Maedche, 2002). J na rea de Business to Consumer, o uso de ontologias vem para solucionar as dificuldades existentes na construo de shopbots. Uma vez que

60

todas as lojas on-line sigam uma mesma ontologia para a descrio de seus produtos, a tarefa de integrao de catlogos das diversas lojas fica muito mais fcil. Ainda que no haja a adoo de uma ontologia nica para a descrio de produtos a tarefa de mapeamento entre ontologias muito mais simples em comparao com as dificuldades atuais. Uma discusso mais aprofundada a respeito das dificuldades atuais para a construo de shopbots pode ser vista na seo 3.3.1.

PUC-Rio - Certificao Digital N 0024134/CA

61

4.6. Abordagens para o desenvolvimento de uma ontologia Assim como na atividade de desenvolvimento de um software, o desenvolvimento de uma ontologia pode ser feito a partir de vrias abordagens, cada um apresentando suas vantagens e suas desvantagens. Conforme o caso deve-se escolher a abordagem mais adequada, segundo a classe da ontologia a ser desenvolvida. A seguir so apresentadas as principais abordagens para o desenvolvimento de uma ontologia presente em (Holsapple & Joshi, 2002). 4.6.1. Abordagem partindo de uma inspirao Nessa abordagem, o desenvolvedor comea com uma premissa sobre por que a ontologia necessria. Usando sua imaginao, criatividade e viso pessoal
PUC-Rio - Certificao Digital N 0024134/CA

sobre o domnio de interesse da ontologia, o desenvolvedor constri a ontologia que visa solucionar essa necessidade encontrada. Resumidamente, encontra-se uma ontologia para solucionar um problema especfico. A principal vantagem dessa abordagem est no fato de ser possvel obter uma ontologia inovadora para a resoluo de um problema. A principal desvantagem dessa abordagem que a ontologia gerada resultado de uma viso muito subjetiva, do prprio desenvolvedor sobre o domnio, gerando assim dificuldades para a sua adoo. 4.6.2. Abordagem indutiva Nessa abordagem, a ontologia desenvolvida atravs da observao, exame e anlise de casos especficos no domnio de interesse da ontologia. A ontologia resultante para um caso especfico aplicada para todos os outros casos do mesmo domnio. A principal vantagem dessa abordagem ser possvel utilizar uma mesma ontologia para solucionar uma srie de casos dentro de um domnio. Porm a principal dificuldade a incapacidade dessa ontologia em cobrir domnios menos especficos, ou seja, mais amplos.

62

4.6.3. Abordagem dedutiva Nessa abordagem, a ontologia construda adotando-se alguns princpios gerais e aplicando-se adaptativamente estes princpios para construir uma ontologia especfica. Isso envolve filtrar e destilar as noes gerais a fim de que elas possam ser personalizadas para um subconjunto do domnio (Holsapple & Joshi, 2002). Em outras palavras, nessa abordagem, a partir de uma ontologia mais genrica de um domnio, chega-se a uma ontologia mais especfica e restritiva dentro de um subconjunto do domnio. Por exemplo, partindo-se de uma ontologia genrica do domnio de automveis, pode-se construir uma ontologia mais especfica do domnio de automveis utilitrios que um subconjunto domnio de automveis.
PUC-Rio - Certificao Digital N 0024134/CA

A vantagem dessa abordagem est na capacidade de utilizar ontologias genricas para gerao de ontologias especficas. Porm a desvantagem a necessidade de que j exista inicialmente uma ontologia genrica. 4.6.4. Abordagem sinttica Nessa abordagem, o desenvolvedor identifica um conjunto base de ontologias, em que nenhuma substitua a outra. As caractersticas dessas ontologias base, juntamente com outros conceitos pertencentes ao domnio que descrito, so sintetizadas a fim de desenvolver uma ontologia unificada. Dessa forma, nessa abordagem o principal papel do desenvolvedor fazer, de uma forma coerente, a composio de diversas ontologias em uma ontologia unificada. Uma discusso interessante a respeito da unificao (composio) de ontologias pode ser vista em (Stephens & Huhns, 2001). Nesse proposto uma ferramenta que auxilia o desenvolvedor no processo de composio de ontologias. Por unir mltiplas ontologias, essa ontologia unificada tem grande propenso a ser aceita pelos usurios das ontologias usadas para a unificao. Dessa forma, essa ontologia unificada fornece uma forma coerente para a comunicao entre esses usurios das ontologias mltiplas.

63

A dificuldade dessa abordagem est na dificuldade muitas vezes existente para estabelecer uma ligao de forma harmnica entre um conjunto grande de ontologias. 4.6.5. Abordagem colaborativa Na abordagem colaborativa, o desenvolvimento um esforo refletindo a experincia e os pontos de vistas das pessoas que intencionalmente cooperam para produzir a ontologia, ou seja, nessa abordagem o processo de desenvolvimento da ontologia no se encontra ao encargo de uma nica pessoa e sim de um conjunto de pessoas. A vantagem da abordagem colaborativa de desenvolvimento est em aumentar as chances da ontologia ser aceita como um padro para um determinado domnio, pois possui a contribuio de um conjunto de pessoas para
PUC-Rio - Certificao Digital N 0024134/CA

a sua formao. Outro ponto importante o fato de a ontologia resultante desse processo ser muito mais elaborada do que nas abordagens supracitadas devido mesma absorver o ponto de vista de mais de um indivduo. A principal dificuldade nessa abordagem est em coordenar o grupo de desenvolvimento, quando esse muito grande.

64

4.7. Metodologias para o desenvolvimento de uma ontologia O processo de construo de ontologias ainda se encontra pouco desenvolvido. A grande maioria dos desenvolvedores usa seus prprios critrios no processo de desenvolver uma ontologia. Devido a essa falta de uma metodologia estabelecida para o desenvolvimento, uma prtica comum entre os desenvolvedores de ontologias passar diretamente do passo de aquisio de conhecimento para o passo de implementao, o que gera os seguintes problemas: Os modelos conceituais da ontologia ficam implcitos no cdigo da implementao. Dificuldades de reso da ontologia, pois o design da ontologia e as decises de projeto esto implcitos no cdigo.
PUC-Rio - Certificao Digital N 0024134/CA

Gera problemas de comunicao devido s dificuldades que o expert no domnio da ontologia tem para entender o cdigo da implementao. Isso um srio problema, pois ele tende a ser a principal fonte de informao sobre o domnio. Gera dificuldades no desenvolvimento de ontologias complexas, pois a passagem da aquisio de conhecimento para a implementao muito abrupta. Dependendo da linguagem escolhida para a codificao pode-se limitar a capacidade de descrio conceitual do domnio da ontologia. Dessa forma, se faz necessria a adoo de uma metodologia para assim reduzirmos as dificuldades acima citadas. Para esse trabalho analisamos trs metodologias presentes na literatura e por fim escolhemos a metodologia que pareceu mais apropriada para ser utilizada no desenvolvimento da nossa ontologia. As metodologias analisadas foram s propostas em (Uschold & King, 1995; Grninger & Fox, 1995; Fernndez et al., 1997), sendo que essa ltima foi a escolhida. A seguir apresentamos uma descrio rpida das trs metodologias e falamos um pouco mais profundamente da metodologia escolhida.

65

4.7.1. Metodologia proposta por Mike Uschold e Martin King (Uschold & King, 1995) Essa metodologia compreende os seguintes estgios para o desenvolvimento de ontologias: Identificao do propsito Visa identificar o porqu da construo da ontologia e as suas intenes de uso. Construo da ontologia Esse estgio subdividido em trs estgios: Captura da ontologia Visa identificar conceitos e relacionamentos do domnio de interesse para produzir uma definio precisa dos mesmos. PUC-Rio - Certificao Digital N 0024134/CA

Codificao Codificar a ontologia em uma linguagem formal. Integrao com ontologias existentes Integrar a nova ontologia com as ontologias existentes.

Avaliao Avaliao da ontologia. Documentao Documentao da ontologia. A principal desvantagem dessa metodologia que ela no descreve de uma forma precisa as tcnicas para execuo das diferentes atividades. O nvel de detalhamento da metodologia muito pequeno, s oferecendo princpios gerais muito vagos. 4.7.2. Metodologia proposta por Michael Grninger e Mark S. Fox (Grninger & Fox, 1995) Essa metodologia foi desenvolvida baseada na experincia dos autores no desenvolvimento de ontologias para empresas. Ela formada pelos seguintes estgios: Definir os cenrios motivadores Identifica possveis problemas que demandem uma nova ontologia. O cenrio motivador tambm fornece intuitivamente um conjunto de solues possveis para o problema. Definir informalmente questes de competncia Dado o cenrio motivador, um conjunto de perguntas iro surgir que necessitaro de

66

uma ontologia para que elas sejam respondidas. Essas perguntas so as questes de competncia da ontologia. Elas no so expressas em linguagem formal. Especificao em lgica de primeira ordem da terminologia Uma vez que foram definidas informalmente as questes de competncia a fim de propor ou estender uma ontologia, a terminologia da ontologia deve ento ser especificada usando lgica de primeira ordem ou equivalente. Especificar as questes de competncia formalmente Uma vez que foram definidas informalmente as questes de competncia e a terminologia da ontologia, as questes de competncia so definidas em linguagem formal. Especificao em lgica de primeira ordem dos axiomas Os axiomas na ontologia especificam definies de termos da ontologia
PUC-Rio - Certificao Digital N 0024134/CA

e limitaes de sua interpretao. Esses axiomas so definidos em lgica de primeira ordem usando os predicados da ontologia. Verificao atravs dos teoremas de completude Atravs desses teoremas so fornecidos meios de determinar a extensibilidade da ontologia, fazendo explicitamente o papel que cada axioma executa no teorema. A figura 14 apresenta o procedimento para o desenvolvimento e avaliao de ontologia.
Definir os cenrios motivadores Definir informalmente questes de competncia Especificao em lgica de primeira ordem da terminologia

Verificao atravs dos teoremas de completude

Especificao em lgica de primeira ordem dos axiomas

Especificar as questes de competncia formalmente

Figura 14 - Procedimento para o desenvolvimento e avaliao de ontologia.

Diferentemente da metodologia anterior, essa fornece mais do que princpios gerais. Olhando o exemplo de utilizao da ontologia apresentado no

67

artigo de Grninger & Fox (1995), podemos ver que a partir da segunda etapa da metodologia (Definir informalmente questes de competncia) a metodologia exige uma codificao em linguagem formal. Em outras palavras, aps a aquisio do conhecimento sobre o domnio do problema que vai at a segunda etapa, a metodologia parte para a gerao de artefatos em lgica de primeira ordem, ou equivalente. Apesar de esse formalismo ser adequado para avaliar se a ontologia atende os requisitos e evitar ambigidades na especificao, ele dificulta muito a comunicao entre o desenvolvedor da ontologia e o expert do domnio que provavelmente um componente muito importante no desenvolvimento de ontologias. Sendo assim, a desvantagem dessa metodologia est na falta de modelos intermedirios que facilitem a comunicao entre desenvolvedor da ontologia e o expert do domnio.
PUC-Rio - Certificao Digital N 0024134/CA

4.7.3. Metodologia proposta por Mariano Fernndez, Asuncin GmesPrez e Natalia Juristo (METHONTOLOGY) (Fernndez et al., 1997) Dos trs artigos analisados que propem metodologias para o

desenvolvimento de ontologias, este parece ser o mais maduro de todos, pois alm de descrever mais a fundo a metodologia no que tange os passos a serem seguidos e dos artefatos a serem criados para a gerao de um modelo conceitual, fornece tambm um processo de desenvolvimento de ontologias e tambm prope um ciclo de vida baseado em evoluo de prottipos. O processo de desenvolvimento de ontologias proposto identifica que as seguintes atividades devem ser cumpridas quando da construo de uma ontologia: Planejamento Identifica as tarefas principais da ontologia, e planeja a utilizao dos recursos. Especificao Define por que a ontologia est sendo construda, e quem sero seus usurios. Aquisio de Conhecimento Adquire conhecimento sobre o domnio da ontologia. Pode ser feito: atravs de entrevistas com expert no domnio da ontologia a ser criada, anlise de livros sobre o domnio, etc.

68

Conceitualizao Criao de um modelo conceitual que descreve o problema e sua soluo. Formalizao Transforma o modelo conceitual em um modelo formal ou semiformal. Integrao Procura integrar o mximo possvel as ontologias existentes nova ontologia. Implementao Implementa a ontologia em uma linguagem formal de modo que ela seja computvel. Avaliao Avalia a ontologia. Documentao Faz a documentao da ontologia visando facilitar futuro reso e manuteno. Manuteno Executar a manuteno da ontologia quando necessria. A figura 15 apresenta os estgios do ciclo de vida e as atividades propostas.
PUC-Rio - Certificao Digital N 0024134/CA

Conforme essa figura, as atividades de aquisio de conhecimento, avaliao e documentao, so executadas em todos os estgios do ciclo de vida. O planejamento a primeira atividade a ser executada. A maior parte da atividade de aquisio feita simultaneamente com o estgio de especificao da ontologia e vai decaindo conforme o ciclo de vida avana. A maior parte da atividade de avaliao da ontologia feita durante os estgios iniciais do ciclo, de forma a diminuir a propagao de erro. A atividade de documentao deve ser realizada em todos os estgios.

69

Atividades Gerenciais Formalizao Planejamento Conceitualizao

Estgios do ciclo de vida

Integrao

Implementao

Especificao

Manuteno

Atividades de Suporte Aquisio de Conhecimento Documentao

PUC-Rio - Certificao Digital N 0024134/CA

Avaliao Figura 15 Viso geral do processo de desenvolvimento de ontologias (Fernndez et al., 1997).

A parte que mais nos interessa aqui na metodologia onde so descritos os artefatos que devem ser gerados no seu desenvolvimento, principalmente aqueles gerados na parte de conceitualizao da ontologia. Esses artefatos no so codificados em lgica formal e sim em uma representao intermediria que descreve a ontologia. Assim sendo, esses artefatos so de fcil entendimento tanto para o desenvolvedor da ontologia quanto para o expert no domnio. Outra grande vantagem da gerao desses artefatos durante a conceitualizao que eles fornecem uma boa documentao sobre a ontologia. Uma discusso mais aprofundada sobre os artefatos pode ser visto em (Lpez et al., 1999), onde o autor constri uma ontologia sobre o domnio da qumica utilizando essa metodologia. O artefato proposto na metodologia que gerando durante o estgio de especificao um documento que cobre o objetivo principal, o propsito, a granularidade e o escopo da ontologia. O objetivo de identificar o conjunto de termos a serem representados, suas caractersticas, e sua granularidade. Essa especificao deve ser o mais completa e concisa possvel.

70

Os principais artefatos propostos na metodologia que so gerados durante o estgio de especificao e conceitualizao so (Lpez et al., 1999): Glossrio de termos Inclui todos os termos do domnio (conceitos, instncias, atributos, verbos, etc.) e suas descries. A descrio deve ser clara e concisa. rvore de classificao de conceitos Define relaes tais como: subclasse e exclusividade mtua entre classes. Dessa forma so definidas vrias taxinomias do domnio, sendo que cada uma gera uma ontologia. Deve-se verificar a consistncia (no devem existir ciclos na rvore) e a conciso (no deve existir repetio de conceitos). Diagrama de relaes binrias Esse diagrama estabelece os relacionamentos entre conceitos da mesma ontologia e de ontologias diferentes.
PUC-Rio - Certificao Digital N 0024134/CA

Dicionrio de conceitos Esse documento contm todos os conceitos do domnio, instncias desses conceitos, atributos de classes e atributos de instncias dos conceitos, e opcionalmente, sinnimos e antnimos dos conceitos. Para cada rvore de classificao de conceitos deve existir um dicionrio de conceitos. Tabela de relaes binrias Especifica o nome da relao, o nome dos conceitos origem e destino da relao, a relao inversa e a cardinalidade da relao. Para cada rvore de classificao de conceitos deve existir uma tabela de relaes binrias. Tabela de atributos de instncia Descreve cada atributo de instncia do dicionrio de conceitos. Atributos de instncia so os atributos definidos nos conceitos, mas que so valorados nas instncias. Para cada atributo de instncia deve ser especificado: nome, tipo de valor, unidade de medida para valores numricos, preciso dos valores numricos, faixa de valores aceitos, valor padro, cardinalidade mxima e mnima, atributos ou constantes utilizadas para inferir o valor do atributo que est sendo definido, atributos que podem ser inferidos desse atributo, frmulas ou regras para inferir o atributo que est sendo definido e por fim as referncias usadas para preencher o atributo.

71

Tabela de atributos de classe Descreve os atributos de classe no dicionrio de conceitos. Esses atributos so aqueles em que o valor dado para o conceito, ou seja, o valor ser o mesmo para todas as instncias do conceito. Para cada atributo de classe deve ser especificado: nome do atributo, tipo de valor, unidade de medida para valores numricos, preciso dos valores numricos, cardinalidade mxima e mnima, atributos que podem ser inferidos desse atributo, e referncias. Tabela de axiomas Define conceitos por meio de expresses lgicas que so sempre verdadeiras. Para cada axioma deve ser definido: nome, descrio em linguagem natural, os conceitos aos quais o axioma se refere, os atributos usados no axioma, a expresso lgica que define o axioma formalmente e referncias. Tabela de constantes Especifica para cada constante: nome,
PUC-Rio - Certificao Digital N 0024134/CA

descrio em linguagem natural, o tipo lgico do valor (o que o valor ), seu valor constante, sua unidade de medida, os atributos que podem ser inferidos usando a constante e referncias. Tabela de frmulas Descreve cada frmula das tabelas de atributos de instncia. Essa tabela usada para inferir os valores numricos dos atributos de instncia. Para cada frmula deve ser especificado: nome, atributos inferidos com a frmula, expresso matemtica, descrio em linguagem natural, atributos e constantes usados no clculo da frmula, preciso do clculo, situaes em que a frmula faz sentido e referncias. rvore de classificao de atributos Mostra graficamente os atributos e as constantes relacionados a uma seqncia de clculo de um atributo raiz. usado para validar que todos os atributos usados na frmula fazem sentido e nenhum atributo foi omitido. Tabela de instncias Descreve as instncias do domnio. descrito atravs do nome, seus atributos de instncia e valores para os mesmos.

72

A figura 16 apresenta os principais artefatos gerados durante a execuo da metodologia.

Especificao

Documento sobre o objetivo da ontologia em breve descrio do domnio

Glossrio de termos

rvore de classificao de conceitos Para cada rvore de classificao de conceitos

Diagrama de relaes binrias

PUC-Rio - Certificao Digital N 0024134/CA

Tabela de atributos de instncia

Tabela de relaes binrias

Dicionrio de conceitos Conceitualizao

Tabela de atributos de classe

Tabela de axiomas

Tabela de constantes

Tabela de instncias

rvore de classificao de atributos

Tabela de frmulas

Figura 16 Artefatos gerados na metodologia proposta em (Fernndez et al., 1997; Lpez et al., 1999).

4.7.4. Concluso a respeito das metodologias A metodologia METHONTOLOGY foi a escolhida para a modelagem conceitual da ontologia utilizada nesse trabalho. Isso se deve principalmente sua clareza na descrio dos artefatos a serem gerados na descrio conceitual da ontologia.