Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011.

25 AVALIAO DO ESPECTRO SEMNTICO DE INSTRUMENTOS PARA ORGANIZAO DA INFORMAO EVALUATION OF THE SEMANTIC SPECTRUM FOR INFORMATION ORGANIZATION INSTRUMENTS Maurcio Barcellos Almeida Professor adjunto da UFMG, Depto de Teoria e Gesto da Informao mba@eci.ufmg.br Renato Rocha Souza Professor adjunto da UFMG, Depto de Teoria e Gesto da Informao rzouza@eci.ufmg.br Resumo O termo "semntica" tem sido amplamente utilizado nos ltimos anos em diversas reas de pesquisa e, em particular, em reas relacionadas tecnologia da informao. Um dos motivadores de tal apropriao a viso da Web Semntica, originada na expanso da web e nas limitaes dos instrumentos de busca baseados em sintaxe. Cabe questionar, entretanto, qual esta "semntica" da qual trata a Web Semntica, uma vez que o estudo do assunto complexo e controverso. O presente artigo se insere nesse contexto, analisando o que semntica, discutindo-a no mbito da tecnologia da informao e propondo alternativas interpretativas. Avalia-se criticamente um espectro, o qual prope a ordenao de instrumentos (modelos, linguagens, estruturas taxonmicas, etc.) de acordo com uma escala semntica. Espera-se tornar claro o uso do termo em contextos diversos, bem como propor um novo espectro a partir das consideraes do presente artigo. Palavras-chave: Web Semntica. Ontologias. Semntica. Representao do conhecimento. 1 INTRODUO Segundo as definies encontradas na literatura, o termo semntica , em geral, trata-se do estudo do significado ou de cincia que estuda a significao. Segundo o Dicionrio Aurlio, semntica vem do grego. semantik i.e., tchnesemantik, a arte da significao (AURLIO, 1999, p. 1832). Nos ltimos anos, o termo tem sido utilizado em campos de pesquisa diversos, e suas acepes variam de acordo com concepes e os construtos variados. Tradicionalmente estudado na Lingustica e na Filosofia, ganhou popularidade em reas relacionadas tecnologia da informao, principalmente em funo da viso conhecida como Web Semntica (BERNERS-LEE, 1998). Esta obra est licenciada sob uma Licena CreativeCommons. DOI 10.5007/1518-2924.2011v16n31p25 Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 26 O principal objetivo da Web Semntica (WS) promover melhorias nos processos de representao e recuperao da informao na web, a qual, desde 1990, caracterizada pelo uso de linguagens de marcao que objetivam a apresentao e a leitura por pessoas e por mecanismos de busca baseados em algoritmos com orientao sintaxe. A motivao a melhorar os processos de recuperao na web resultado da expanso de suas funcionalidades e do aumento significativo no volume de dados disponveis. Segundo Souza e Alvarenga (2004), a WS pretende propor melhorias nas linguagens de marcao utilizadas para confeco de pginas web, de modo a beneficiar a interao entre tais pginas e os sistemas. Advogam que, com o uso da semntica, se pode aumentar a possibilidade de associaes dos documentos a seus significados por meio dos

metadadosdescritivos. A questo do significado de semntica assim fundamental na proposta da WS. O conjunto de tecnologias inserido nessa proposta busca resolver problemas relacionados ao fato de que computadores no tem uma forma confivel de processar a semntica 1 (BERNERS-LEE, 2001, p.1). Dada a complexidade inerente ao estudo da Semntica e diversidade de abordagens ao assunto apresentadas ao longo dos anos, nem sempre excludentes e sim complementares, cabe avaliar que tipo de semntica considerado na viso da WS. O presente artigo se insere nesse contexto. Aps um breve levantamento das abordagens existentes no estudo da Semntica em sua rea de origem, a Lingustica, apresentam-se conotaes para o termo usadas na WS e em reas correlatas. Destaca-se uma proposta de espectro (OBRST, 2004; DACONTA, 2005), a qual faz uso de uma escala semntica para ordenar instrumentos diversos, como taxonomias, tesauros, bancos de dados, dentre outros; alm daqueles utilizados na WS, como as ontologias, linguagens de representao, etc. Pretende-se avaliar criticamente essa proposta, esclarecer a acepo de semntica em cada caso e propor um novo espectro. O restante do artigo est organizado como segue. A seo dois discorre sobre o estudo da Semntica em sua acepo mais comum, ou seja, a semntica da linguagem natural, desde os primeiros estudos at as abordagens ditas contemporneas, descrevendo as principais linhas de pesquisa na Lingustica. A seo trs apresenta a semntica proposta para uso atravs de computadores e sistemas na web, em particular, a viso da WS. A seo quatro discute a escala semntica do espectro avaliado e prope um novo espectro, consolidado atravs das 1 [ ] computers have no reliable way to process the semantics [ ] Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 27 consideraes do presente artigo. Finalmente, a seo cinco apresenta consideraes finais e indica possibilidades para trabalhos futuros. 2 SEMNTICA NA LINGUSTICA Parece consenso que semntica diz respeito ao estudo da significao. A dificuldade reside em definir o que significao. O conceito de significado no claro e nem consensual, aparecendo em variaes que vo desde o realismo 2, professado pelos que acreditam que a lngua se superpe como uma nomenclatura a um mundo no qual as coisas existem objetivamente, at formas de relativismo 3, segundo as quais a estrutura da lngua que determina a capacidade humana de perceber o mundo. Ilari e Geraldi (1985, p.6) advertem que [...] a semntica um domnio de investigao de limites movedios; semanticistas de diferentes escolas utilizam conceitos e jarges sem medida comum, explorando em suas anlises fenmenos cujas relaes no so sempre claras [...] . Apesar da dificuldade em se definir exatamente o que semntica, Canado (2005) delimita os principais aspectos que a caracterizam: i) a composicionalidade; ii) as propriedades semnticas; iii) a referncia e a representao. A composicionalidade diz respeito capacidade da teoria semntica de atribuir significado s palavras e s sentenas, de acordo a linguagem. As propriedades semnticas dizem respeito caracterizao das relaes sistemticas entre palavras e sentenas de uma lngua. As noes de referncia e representao esto relacionadas natureza do significado: a noo de referncia explicada como a conexo entre as expresses lingusticas e o mundo; a noo de representao diz respeito associao do significado a uma representao mental.

Esses aspectos vo nortear as principais vertentes de estudo da Semntica. A seo 2.1 apresenta um breve histrico das abordagens semnticas, e a seo 2.2 enfatiza a Semntica Formal, em funo de sua importncia para os objetivos do presente artigo. 2 O realismo filosfico corresponde a presuno de que a realidade independente de esquemas conceituais, praticas lingusticas e crenas humanas. 3 No relativismo filosfico, acredita-se que a verdade de uma proposio depende de quem a interpreta, em funo da variedade de possibilidades morais e culturais. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 28 2.1 Breve histrico e principais abordagens A presente seo descreve abordagens inerentes Semntica, desde as primeiras iniciativas at as contemporneas. Cabe destacar que um levantamento exaustivo no o nosso objetivo, e este nem seria possvel, dada a complexidade e o volume de material sobre o assunto. Dessa forma, muitos autores e abordagens no so citados. Espera-se, porm, apresentar alguns dos principais aspectos e possibilidades do estudo da Semntica, de forma a contextualizar o assunto de acordo com os objetivos do artigo. Uma das primeiras referncias ao estudo do significado o dilogo escrito por Plato, do qual participam Scrates, Crtilo e Hermneges4, cujo assunto a origem dos nomes. Nesse contexto, o termo nomes diz respeito a: i) um termo geral para palavras; ii) substantivos ou adjetivos; iii) nomes prprios (SEDLEY, 2006). Os filsofos gregos discutiam se os nomes so convencionais ou naturais, ou seja, se a linguagem um sistema arbitrrio de signos ou se as palavras tm relaes intrnsecas com os objetos que representam. Segundo Sowa (2000), o estudo do significado, j estabelecido por Aristteles em sua obra Categorias, tem sido estudado ao longo dos sculos sobre o rtulo de lgica ou de teoria dos signos. Apenas no sculo XIX, Bral5 sugere o estudo das leis que governam o significado, atribuindo-lhe o nome semntica, termo derivado do verbo grego. Nesse contexto, a Semntica era uma disciplina diacrnica, ou seja, de carter histrico. Segundo Noth (1995), Saussure 6 fez a distino entre a lingustica diacrnica, estudada atravs das mudanas do significado em uma lngua ao longo do tempo, e a sincrnica, a qual diz respeito aos fenmenos em um ponto especfico do tempo. A Semntica moderna tem orientao sincrnica. Ainda no sculo XIX, temos como um importante marco no estudo do significado a distino concebida por Frege 7 sobre dois elementos presentes no significado de uma sentena: o sentido e a referncia. Segundo Dummet (1981), os termos originais do alemo utilizados por Frege eram sinn, para sentido; e bedeutung, um substantivo para o verbo bedeuten, traduzido como significao ou significado. O sentido diz respeito apenas ao que importante para determinar a verdade ou falsidade de uma sentena. Qualquer outra caracterstica que no afete essa determinao pertence sua referncia. Segundo Morris (2007), a Teoria da 4Crtilo. Disponvel em: <http://www.gutenberg.org/etext/1616>. Acesso em: 20 ago. 2008. 5 Michel J. A. Bral, filologista francs (1832-1915), em sua obra Essai de Smantique (1897).

6Ferdinand de Saussure, lingusta suo (1857 - 1913). 7 Friedrich L. G. Frege, matemtico e filsofo (1848 - 1925). Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 29 Referncia de Frege explica as operaes bsicas sobre categorias de expresses lingusticas ao atribuir-lhes coisas as quais se referem, ou seja, seus referentes. Nirenberg e Raskin (2004) observam a existncia de diferentes solues ao longo dos anos para a tarefa de representar o significado e destacam: i) a anlise componencial; ii) os campos semnticos; iii) o uso de metalinguagem. Tais abordagens surgem no perodo entre o estabelecimento da Teoria da Referncia e as iniciativas ditas contemporneas. A abordagem conhecida como anlise componencial baseada em conjuntos de caractersticas semnticas, denominadas componentes, as quais so usadas para descrever termos afins em diferentes sociedades. A combinao dos componentes permite obter o significado de termos comuns maioria das culturas. Exemplos de autores representativos dessa abordagem so Kroeber8 e Goodenough 9. A abordagem conhecida como campos semnticos consiste na criao de grupos de palavras com significados relacionados. As palavras so localizadas prximas a outras em funo de uma combinao de fatores intuitivos, incluindo, dentre outros, relaes paradigmticas e relaes sintagmticas. Exemplos de autores representativos dessa abordagem so Trier 10 e Weisgerber 11. A abordagem dos campos semnticos explora a semntica sem a utilizao de uma metalinguagem. A importncia do uso de uma metalinguagem enfatizada por Canado (2005, p.19): a adoo de uma metalinguagem diferente da prpria lngua elimina provveis distrbios na anlise lingustica . Uma extenso da anlise componencial para cobrir todo um lxico pode gerar uma metalinguagem para descrever o significado de palavras. O uso de metalinguagem para a anlise componencial, baseada em Lgica de 1 Ordem (LPO), resultou na atribuio de entidades lgicas (predicados, argumentos, funes) aos componentes. Exemplos de autores pioneiros nessa abordagem so Greenberg 12 e Bar -Hillel 13. Dentre as abordagens contemporneas, identificam-se trs vertentes principais (CANADO, 2005): i) a abordagem pragmtica; ii) a abordagem mentalista; iii) a abordagem referencial. 8 Alfred L. Kroeber, antroplogo norte-americano (1876-1960). 9 Ward H. Goodenough, antroplogo norte-americano (1919-?). 10 Jost Trier, lingusta alemo (1894 - 1970). 11 Leo Weisgerber, lingusta alemo (1899 - 1985). 12 Joseph H. Greenberg, lingusta e antroplogo norte-americano (1915 - 2001). 13 Yehoshua Bar-Hillel, matemtico e lingusta (1915 - 1975). Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 30 A abordagem pragmtica representada pela semntica argumentativa de Ducrot 14 e pela Teoria dos Atos da Fala de Austin 15. A semntica argumentativa uma abordagem originada na Frana, a qual advoga que as sentenas so pronunciadas como parte de um discurso em que um orador tenta convencer seu interlocutor a respeito de uma hiptese. A linguagem no

 usada para falar algo sobre o mundo, mas para convencer o ouvinte a entrar em um jogo argumentativo. A Teoria dos Atos da Fala enfatiza a ideia de que parte do sentido de uma sentena tem funo social. A abordagem mentalista afirma que o sentido acontece em um nvel intermedirio entre o mundo e as palavras, que corresponde ao nvel de representao mental. As principais iniciativas dentro dessa abordagem so: i) a semntica cognitiva, representada, por exemplo, por Lakoff 16; ii) a semntica representacional, representada por Jackendoff 17; e iii) a semntica lexical, representada, por exemplo, por Levin 18. A semntica cognitiva pressupe a relao da linguagem com uma representao atravs de esquemas e imagens, mapeando domnios conceituais distintos, onde o uso da metfora corresponde a um processo cognitivo fundamental. A semntica representacional tem compromisso com a forma das representaes mentais internas que constituem a estrutura conceitual e com as relaes formais entre esse nvel e outros nveis de representao (sinttico, fonolgico, visual, etc.). A semntica lexical explora a noo de papis temticos, os quais so funes semnticas que os argumentos de um verbo (sujeito e complementos) desempenham em uma sentena. Outras iniciativas da semntica lexical propem estudar o lxico para viabilizar a aplicao da lingustica em prticas computacionais. A abordagem referencial tem origens no estudo da Lgica e da Filosofia da Linguagem, em particular, na distino proposta por Frege. Segundo Oliveira (2001), Frege utilizava como exemplo as expresses Estrela da Manh e Estrela da Tarde, as quais tem significado diferente, mas se referem mesma entidade, o planeta Vnus. Sowa (2000) explica que Frege atribuiu as entidades de sua teoria aos trs vrtices de um tringulo, denominando-os smbolo, sentido e referncia. Essa mesma distino foi introduzida na Semntica lingustica por Ogdenet al (1972, p. 32) atravs do tringulo do significado: [...] um diagrama em que os 14 Oswald Ducrot, linguista e filsofo francs (1930 - ?) 15 John L. Austin, filsofo ingls (19111960). 16 George P. Lakoff, pesquisador em lingustica cognitiva (1941 - ?). 17 Ray Jackendoff, linguista norte-americano (1945 - ?). 18 Beth Levin, professora do Depto de Lingustica da Stanford University. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 31 trs fatores envolvidos, sempre que se declara que se entende algo, so colocados no vrtice do tringulo, sendo as relaes existentes entre eles representadas pelos lados [...] Figura 1: tringulo do significado Fonte: adaptado de Ogden et al (1972) No Tringulo do Significado (FIG. 1), as arestas relacionam as entidades objeto e signo, signo e conceito, objeto e conceito. Convencionou-se, culturalmente, identificar um objeto do mundo real por um signo (aresta conveno); tal signo, quando percebido por uma pessoa, gera um conceito em su mente a (aresta percepo); o conceito formado na mente da pessoa a partir de sua vivncia no mundo, por ela ter reconhecido no objeto outro objeto que j conhecia (aresta experincia). A aresta conveno apresentada como uma linha pontilhada para explcar que um smbolo no i se conecta diretamente como o seu referente (objeto do mundo), mas atravs de uma representao mental desse elemento no mundo. Dahlberg (1978) apresenta o Tringulo do Conceito, diferente do Tringulo do Significado de Ogden et al (1972), no qual o conceito um

dos vrtices do tringulo e o seu significado pode assumir vrias possibilidades. Em trade, Dahlberg (1978) apresenta o conceito como a soma dos enunciados verdadeiros e essenciais sobre um referente, e o termo / lxico como a forma comunicvel e representvel do conceito. Nesta representao, percebe-se que o significado de um termo, ou seja, de uma forma verbal decorrente da interpretao de um conjunto de enunciados verdadeiros (caractersticas) que se podem atribuir a um referente, ou seja, a um objeto, fenmeno, processo ou entidade. Uma importante iniciativa, no mbito da abordagem referencial, aquela conhecida como Semntica Formal. Exemplos de autores importantes que atuaram nessa rea so Carnap 19, Tarski 20, Kripke 21 e Montague 22. Em funo de sua importncia para os objetivos do presente trabalho, a seo 2.2 dedicada a descrever suas principais caractersticas. 19 Rudolf Carnap, filsofo alemo (1891 - 1970). 20 Alfred Tarski, lgico e matemtico polons (1901-1983). 21 Saul Aaron Kripke, lgico e filsofo norte-americano (1940 - ?). Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 32 2.2 A Semntica Formal Os principais aspectos que permeiam o estudo da Semntica Formal ao longo de sua evoluo so: i) nfase no princpio da composicionalidade; ii) uso da condio de verdade para explicar o significado; iii) concepo de modelos em semntica (OLIVEIRA, 2001). Essas trs linhas de estudo so descritas no restante da presente seo. O princpio da composicionalidade estabelece que o significado das sentenas depende do significado das palavras que as compem. Assim, o significado do todo funo do significado das partes e da combinao sinttica entre elas. Para deduzir o significado de uma sentena, preciso conhecer o significado de suas partes, bem como as regras que definem como combinar tais partes. O uso da condio de verdade para explicar o significado diz respeito a determinar em que condies tal sentena verdadeira. Segundo Morris (2007), essa viso tem razes na Teoria da Verdade Semntica de Tarski 23: um conjunto de regras para aplicao do conceito de verdade a sentenas de sistemas formais baseados em lgica, sem o risco da ambiguidade inerente linguagem natural. Uma vez que a noo de verdade central na lgica, a preocupao reside em explicar como as sentenas dos sistemas formais so consideradas verdadeiras ou falsas. Nesse contexto, saber o significado de uma sentena equivale a conhecer suas condiesverdade, o que no o mesmo que saber o seu valor-verdade, ou seja, se o fato verdadeiro ou falso. Para esclarecer o que envolve conhecer as condies para que uma sentena seja verdadeira ou falsa, Portner (2005) apresenta como exemplo a sentena: o crculo est dentro do quadrado. Segundo o autor, conhecendo a sentena, uma simples avaliao da FIG.2 permite dizer em quais condies a sentena verdadeira. Em Semntica Formal, tais situaes so denominadas situaes possveis (possiblesituations) ou estados das coisas (stateofaffairs). 22 Richard MerettMontague, matemtico e filsofo norte-americano (1930 - 1971). 23 A Semntica da Verdade Condicional (Truth-ConditionalTheory) usa o mesmo princpio lgico de Tarski, porm aplicado a linguagem natural. Trata-se de teoria desenvolvida por Donald Herbert Davidson, filsofo norte-americano (1917 - 2003).

Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 33 (a) a sentena verdadeira (b) a sentena falsa Figura 2: condies verdade para a sentena o crculo est dentro do quadrado. Fonte: adaptado de Portner (2005) A existncia de um conjunto de cenrios, como os mostrados na FIG. 2, permite denominar um conjunto verdadeiro e um conjunto falso. Tais conjuntos so denominados mundos possveis (possible worlds). Nesse contexto, o termo situao diz respeito a um cenrio incompleto, uma parte do universo limitado no espao e no tempo. J o termo mundo usado quando as pessoas tm uma ideia completa do que o mundo deve ser, com todos os seus componentes e habitantes, os quais no se alteram ao longo do tempo. Segundo Nirenberg e Raskin (2004), o uso da lgica no mbito da Semntica Formal permitiu a aplicao da noo de proposio ao estudo da sentena. O significado de uma sentena passa assim a corresponder a uma proposio, o que corresponde a um deslocamento no tringulo do significado, do nvel da palavra para o nvel da sentena (FIG. 3a). Os lgicos renomearam os vrtices do tringulo de acordo com termos dos seus sistemas (FIG. 3b). Assim, nenhum dos elementos do tringulo (b) se relaciona diretamente com a linguagem natural, uma vez que uma proposio resultado da traduo de uma sentena declarativa em uma metalinguagem baseada em lgica. Figura 3: tringulo do significado (a) para sentenas e (b) usando termos lgicos Fonte: Adaptado de Nirenberg e Raskin (2004) Na abordagem de modelos em semntica, constri-se um sistema mais simples em relao a um sistema complexo que se deseja estudar, o qual serve de modelo para o estudo. Em seguida, constri-se uma teoria para o modelo, em geral uma teoria lgica. Se os resultados so razoavelmente positivos em relao ao sistema complexo, diz-se que o sistema simples um bom modelo, caso contrrio, ele abandonado. Estudar a semntica das linguagens formais auxilia o estudo das linguagens naturais, pois ambas tem caractersticas comuns e a linguagem formal mais simples do que a linguagem natural. Portanto, um procedimento Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 34 usual dos semanticistas formais tem sido propor modelos simples em linguagens formais e em seguida interpretar atravs deles o maior nmero possvel de sentenas das linguagens naturais. Segundo Neto (2003), um modelo simples para interpretar uma linguagem a Teoria dos Conjuntos, esse procedimento consiste em associar expresses a objetos do mundo. Assim, nenhum modelo para interpretar a realidade pode prescindir de objetos. Nesse caso, os objetos que compem os modelos de interpretao da linguagem natural so denominados objetos tericos do modelo. Portner (2005) explica que a Semntica Terica dos Modelos (Model-TheoreticSemantics) uma instncia da Teoria da Verdade Semntica de Tarski considera elementos que fornecem modelos da realidade teis para propsitos semnticos. Tais modelos so compostos por: i) um conjunto de mundos possveis; ii) um conjunto de indivduos; iii) um conjunto de perodos de tempo; iv) uma descrio de quais indivduos habitam quais mundos; v) uma descrio de quais perodos so anteriores a quais outros perodos. Alm dos elementos citados, existe uma interpretao que descreve o significado de cada palavra, frase ou sentena em termos de um modelo especfico. Dado um modelo, o

significado de um nome deve pertencer a um indivduo daquele modelo e o significado de uma sentena deve ser um conjunto de mundos possveis naquele modelo. Uma interpretao semntica pode ou no dizer algo sobre como a realidade. Na verdade, declaraes so feitas sobre o modelo e ento se avalia como tal modelo se conecta realidade. Modelos que representam de forma precisa a realidade so denominados modelos pretendidos (intendedmodels). A interpretao que conecta partes de linguagem aos modelos pretendidos, da mesma forma que a linguagem natural se liga a realidade, denominada interpretao pretendida (intendedinterpretation). Finalmente, cabe citar que importncia da perspectiva formal reside no fato de que outras teorias semnticas estabeleceram-se a partir da semntica formal, ao tentar solucionar problemas no resolvidos por esse modelo ou propondo modelos alternativos. A FIG. 4 apresenta um quadro sintico das abordagens semnticas, conforme apresentadas ao longo da seo dois. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 35 Evoluo Abordagem Breve descrio Antiguidade Platnica Origem dos nomes Aristotlica Categorias Sculo XIX Diacrnica Semntica como disciplina Sincrnica Origem da orientao lingustica moderna Referencial Sentido, significado, referncia Sculo XIX e XX Campos semnticos Palavras com significados relacionados Anlise componencial Conjuntos de caractersticas semnticas

Metalinguagem Componentes como entidades lgicas Sculo XX Pragmtica Uso de jogo argumentativo Sentena tem funo social Mentalista Linguagem e esquemas mentais Outros nveis de representao mental Papis temticos dos argumentos de um verbo Referencial Tringulo do significado Semntica formal Teorias de origem Lgica Filosfica Figura 4: Quadro sintico das abordagens semnticas em Lingustica 3 A SEMNTICA NA WS No mbito da WS, considera-se que algo tem semntica quando pode ser processado e compreendido por um computador. Essa ideia parece no considerar as origens do termo para explic-lo e, apesar de seu vis claramente tecnolgico, no consensual, mesmo se considerado apenas o escopo da Cincia da Computao (SHETH, RAMAKRISHNAN E THOMAS, 2005). Conforme mencionado na seo um, pretende-se verificar qual semntica considerada na WS. Uma vez descritas, na seo dois, as principais abordagens da Semntica do ponto de vista de autores e de disciplinas diversas, como Lingustica, Lgica e Filosofia, cabe agora descrever os diferentes usos para o termo na rea de tecnologia. O restante da presente seo se ocupa dessa tarefa, destacando a variedade de significados, interpretaes dbias e intersees com teorias apresentadas na seo dois. Sowa (2004) lista os modelos propostos na segunda metade do sculo XX para compreenso da linguagem e para sua implementao em computadores: o modelo estatstico, o modelo sinttico, o modelo lgico, o modelo lxico e o modelo neural. Segundo o autor, cada uma dessas abordagens se fundamenta em uma teoria especfica, como estatstica, matemtica, regras gramaticais, dentre outras, mas ignora aspectos da linguagem, aos quais a tecnologia no consegue se adaptar. Os modelos lgicos, baseados na lgica filosfica, produziram teorias semnticas formais de qualidade superior em relao s abordagens concorrentes. Tais teorias tm sido amplamente utilizadas nas pesquisas sobre ontologias, estruturas que tem papel relevante no contexto da WS. Entretanto, como na teoria semntica formal, esses modelos padecem da impossibilidade de lidar como um texto normal, escrito por pessoas para

Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 36 fins de comunicao. A linguagem fica assim restrita a sentenas deliberadamente escritas em uma notao que apenas similar linguagem natural. A Teoria Semitica de Peirce 24 define os trs componentes principais de uma linguagem: sintaxe, semntica e pragmtica (SOWA, 2000). Essa noo de linguagem utilizada em Representao do Conhecimento 25, onde a linguagem corresponde, em geral, a um tipo de lgica. Branchman e Levesque (2004) definem semntica da linguagem nesse contexto como a especificao do significado que se presume para expresses sintaticamente bem formadas. A especificao semntica, assim, no corresponde precisamente ao significado dos termos, mas apenas ao significado de sentenas de acordo com uma funo interpretao, a qual remete noo de interpretao mencionada na seo 2.1. Ainda assim, para obter especificaes sobre o significado das sentenas preciso adotar uma viso simplista de mundo, a qual considera apenas que: i) existem objetos no mundo; ii) para cada predicado P, de aridadeum 26, alguns objetos satisfazem P e outros no, sendo que a deciso obtida atravs da funo interpretao; iii) outros aspectos do mundo no interessam. Uschold (2001) distingue e cita os tipos de semnticas presentes no mundo dos sistemas computaciona classificando-as em is, semntica do mundo real, semntica axiomtica e semntica Terica dos Modelos. Segundo o autor, a semntica na WS se identifica principalmente com a semntica do mundo real, uma expresso utilizada para indicar o mapeamento de objetos do mundo para um modelo computacional. A semntica axiomtica uma abordagem bastante especfica e definida no mbito das linguagens e padres da WS, em particular o ResourceDescription Framework Schema (RDFS). Segundo Fikes e McGuinness (2001), o objetivo da semntica axiomtica proporcionar a traduo de descries RDFS para lgica, ou seja, estabelecer regras para mapear RDFS em LPO. Esse mapeamento realizado especificamente com vistas a proporcionar capacidade de inferncias automticas linguagem de representao considerada. A Semntica Terica dos Modelos est relacionada Teoria dos Modelos, e (W3C, 2004. p.2) [...] assume que a linguagem se refere ao mundo e descreve condies mnimas que o mundo deve satisfazer, de forma a atribuir significado apropriado s 24 Charles SandersPeirce, lgico e matemtico norte-americano (1839 - 1914). 25 Ramo da Inteligncia Artificial, associado ao desenvolvimento de sistemas especialistas. 26 Em lgica, um predicado descreve propriedades de objetos ou relacionamentoe representados por variveis; aridade o nmero de argumentos de uma funo (uma funo binria tem dois argumentos). Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 37 expresses da linguagem. Um mundo particular chamado interpretao, e assim a teoria dos modelos tambm conhecida por teoria da interpretao.27 Trata-se de uma definio similar quela apresentada na seo dois referente Semntica Formal. Entretanto, a continuao dessa mesma definio do W3C esclarece os objetivos da semntica naquele contexto:

A principal utilidade da teoria da semntica formal no fornecer uma anlise profunda da natureza das coisas descritas pela linguagem [...], mas sim fornecer uma forma tcnica de determinar quando processos de inferncia so vlidos, isto , preservar a verdade. 28 importante observar que a definio, mesmo que adequada s propostas da W3C (sistemas), tem razes na teoria da Semntica Formal, como admite a prpria instituio: a Teoria dos Modelos uma teoria da Semntica Formal, a qual relaciona expresses a interpretaes 29 (W3C, 2004, p.44). Isso tambm fica claro na proposio de preservar a verdade , que remete Teoria da Verdade Semntica de Tarski, tambm j mencionada na seo dois. Hodges (2005) corrobora essa viso e explica a noo de verdade, considerada a Teoria de Modelos: quando se diz que a declarao D verdadeira de acordo com a interpretao I, est se afirmando que D, quando interpretada a partir da I, verdadeira. Segundo o autor, em seu sentido amplo, a Teoria dos Modelos tem pontos de contato com a Filosofia e com os estudos da Semntica lingustica. Em funo disso, existe a possibilidade de interpretao dbia entre a semntica, como definida pelo W3C (linguagem formal), e a semntica da linguagem natural. Uschold (2001) apresenta outra classificao para a Semntica, a qual lana alguma luz sobre a confuso no uso do termo, pois est relacionada a forma como a semntica expressa e para quem se destina. Nesse sentido, o autor distingue quatro tipos de semnticas alinhadas sequencialmente em um continuum semntico, enfatizando que, dentre esse tipos, os trs primeiros no so adequados ao processamento por mquinas. Semntica implcita: o significado comunicado a partir do entendimento comum obtido por consenso entre pessoas, por exemplo, definies de marcaes ExtendedMarkupLanguage (XML) obtidas por consenso em comunidade que usa um aplicativo; 27 Model theory assumes that the language refers to a 'world', and describes the minimal conditions that a world must satisfy in order to assign an appropriate meaning for every expression in the language. A particular world is called an interpretation, so that model theory might be better called 'interpretation theory . 28 The chief utility of a formal semantic theory is not to provide any deep analysis of the nature of the things being described by the language or to suggest any particular processing model, but rather to provide a technical way to determine when inference processes are valid, i.e. when they preserve truth. 29 Model Theory (n.): A formal semantic theory which relates expressions to interpretations. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 38 Semntica informal: o significado explcito e expresso informalmente, por exemplo, como em glossrios, em especificaes de requisitos para sistemas, etc. (o autor no define claramente o que chama de significado explcito ou mesmo semntica explicita , a no ser por oposio a semntica implcita ); Semntica formal para processamento humano: trata-se de uma semntica explcita e expressa em linguagem formal, mas que serve comunicao humana e no a sistemas, por exemplo: pesquisa de semntica em categorias ontolgicas;

Semntica formal para processamento por mquinas: trata-se de semntica explcita, especificada formalmente, a qual pode ser utilizada por computadores para processamento direto via mecanismos de inferncias para derivar novos dados a partir de existentes. Mesmo no caso de termos idnticos, no existe consenso entre os autores em algumas definies. A definio de Uschold (2001) para semntica implcita considera a semntica em uma linguagem e difere da definio de Sheth, Ramakrishnan e Thomas (2005), a qual considera a semntica implcita em todos os tipos de conjuntos de dados, no apenas na linguagem. Os autores distinguem outras duas categorias para a semntica, as quais denominam semntica formal e semntica nebulosa 30: Semntica implcita : se refere ao significado inserido em padres de dados no explicitados em sintaxe legvel por computadores; est presente em textos no estruturados e em repositrios de documentos com estrutura pouco formal; para analisar essas fontes so utilizadas tcnicas da Recuperao da Informao e da Lingustica computacional; Semntica formal: dados so representados por linguagem formal baseada em estruturas sintticas estabelecidas e por regras que definem as combinaes possveis, associadas s interpretaes semnticas; declaraes expressas para sistemas, utilizadas em Representao do Conhecimento, Inteligncia Artificial e Bancos de Dados; Semntica nebulosa: corresponde s implementaes estatsticas que permitem explorar relaes no estabelecidas explicitamente; a possibilidade de composio hierrquica associada anlise estatstica traz vantagens, pois permite a formalizao da combinao em linguagens passveis de uso em mecanismos de inferncia; aplicada extenso de modelos de Bancos de Dados e de Representao do Conhecimento, em casos em que a informao imprecisa ou incompleta. 30 Os autores usam dois termos originalmente: Soft Semantics e PowerfulSemantic. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 39 A FIG. 5 resume as abordagens da semntica para sistemas computacionais, em particular para a WS, descritas ao longo da presente seo. Abordagem Breve descrio Semntica lingustica Repr. do conhecimento A semntica formal e baseada em teorias lgico-filosficas formal Repr. do conhecimento A semntica o significado de sentenas atravs de interpretao formal Semntica da web

A semntica possibilita interpretao por um computador formal Semntica mundo real A semntica mapeia objetos do mundo para o sistema indeterminada Semntica axiomtica A semntica mapeia linguagens da WS para a Lgica formal Teoria dos Modelos A semntica valida processos de inferncia automticos formal Semntica implcita A semntica transmite o consenso obtido entre as pessoas indeterminada Semntica inserida em padres de dados no legvel para mquinas indeterminada Semntica informal A semntica explcita e informal indeterminada Formal para humanos Semntica explcita e expressa em linguagem formal, para pessoas formal Formal para mquinas Semntica explcita e expressa em linguagem formal, para mquinas formal Semntica definida por regras sintticas mais interpretaes formal

Semntica nebulosa Semntica baseada em estatstica formal Figura 5: Quadro sintico das abordagens semntica na WS A ltima coluna, denominada semntica lingustica, classifica as abordagens da WS em relao ao tipo de semntica em seu campo de origem (FIG. 4, Seo Dois). A maioria das interpretaes para a semntica, descritas no mbito da WS, so nada mais do que tipos de Semntica Formal, existindo algumas excees. Tais excees so indeterminadas, pois suas descries no possibilitam verificar sua origem e classific-las com o mesmo critrios. Entretanto, algumas consideraes podem ser feitas: semntica do mundo real: a prtica de mapear objetos do mundo real para um sistema teve origem na pesquisa em Banco de Dados, quando os modelos de dados passaram a ser conhecidos como modelos semnticos (SAYO, 2001); semntica diz respeito a melhoria de entendimento dos modelos (os anteriores eram orientados a implementao); semntica implcita: trata-se de uma semntica no necessariamente formal, e o que parece caracteriz-la a obteno de consenso entre um grupo de pessoas ou instituies, de forma a estabelecer um padro; em Bibliotecas Digitais, por exemplo; tal abordagem denominada federao (FOX, 2002); Alm das excees, cabe ainda destacar a FIG. 5, a semntica formal para humanos, de forma a esclarecer que a Semntica Formal no utilizada apenas no contexto dos sistemas informatizados, mas tambm por pessoas. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 40 4 AVALIAO DO ESPECTRO Uma vez descritas, na seo dois, as principais abordagens sobre a semntica da linguagem natural e, na seo trs, as formas como o termo aparece em pesquisas da WS, cabe agora analisar criticamente a proposta de espectro. Apresenta-se ainda um novo espectro baseado nas consideraes do presente artigo. Diversas verses de espectros e continuums semnticos so encontrados atravs de uma simples busca pela web. Entretanto, a maioria so variaes sobre o mesmo tema. Considera-se a verso (FIG. 6) apresentada em Daconta (2005) e em Obrst (2004). Figura 6: espectro analisado Observa-se que o espectro um tipo de escala que comea em semntica fraca e termina em semntica forte. Entre a semntica fraca e a forte esto dispostos instrumentos, sendo que um detm semntica mais forte em relao a outro, de acordo com sua posio na escala. A semntica forte e semntica fraca so caracterizaes da maior ou menor expressividade do instrumento, a qual torna possvel representar melhor a realidade, com vistas ao funcionamento de um sistema automatizado. Entretanto, os instrumentos apresentados no espectro so distintos e variados: tesauros, esquemas de bancos de dados, linguagens de modelagem, linguagens declarativas orientadas a web e outros. A considerao conjunta desses instrumentos compromete sua avaliao e

localizao no novo espectro. Propem-se separ-los em grupos, de acordo com seu uso. As FIG. 7, 8, 9 e 10 apresentam, respectivamente, os instrumentos organizados em grupos, conforme a seguinte orientao: i) relacionados WS (e a Representao do Conhecimento); Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 41 ii) relacionados a sistemas baseados na web; iii) relacionados a sistemas de informao automatizados; iv) relacionados a organizao da informao em documentos e em registros bibliogrficos. Esses grupos tambm refletem as possibilidades de representao, desde aquelas voltadas diretamente ao uso humano (FIG. 10), quelas voltadas para a representao em sistemas automatizados. No caso dos sistemas, os grupos refletem trs fases evolutivas: i) sistemas de informao procedurais, baseados em bancos de dados (FIG. 9); ii) sistemas orientados a web (FIG. 8); iii) sistemas orientados WS (FIG. 7). Cabe ainda citar que a lista de instrumentos no exaustiva e que muitos dos instrumentos presentes no espectro no pertencem ao conjunto da WS. No restante da presente seo so descritos os instrumentos do espectro, destacando sua relao com a semntica e finalmente proposto um novo espectro. A expresso Lgica Modal usada para designar uma famlia de lgicas (lgica modal, dentica, lgica temporal, dentre outras), as quais tem regras similares, mas uma variedade de smbolos distintos. Segundo Garson (2008), a Lgica Modal estuda dedues que envolvem as expresses necessariamente e possivelmente e os seus operadores so: probabilidade, possibilidade e necessidade. A semntica na Lgica Modal definida atravs da noo de mundos possveis. A LPO uma linguagem para expressar conhecimento, em que a sintaxe estabelece as regras de formao das declaraes, e a semntica capturada por interpretaes. Tanto a Lgica Modal quanto a LPO no apresentam eficincia do ponto de vista das inferncias e por isso so chamadas de indecidveis (BRANCHMAN e LEVESQUE, 2004). As origens da Lgica Descritiva remontam ao final dos anos 80, quando surgiram as linguagens conceituais ou terminolgicas (BAADER et al, 1992) para representao de relaes entre conceitos e relaes entre conceitos e indivduos. Segundo Baaderet al (2003), a Lgica Descritiva uma famlia de lgicas baseadas em estruturas hierrquicas, que apresentam um bom equilbrio entre expressividade e tratabilidade. Tem sido utilizada na rea de Banco de Dados e WS. A OWL , na verdade, um tipo de Lgica Descritiva. De forma a melhorar as possibilidades de uso da web, a WS usa recursos, como metadados, ontologias, lgica, protocolos, dentre outros. Nesse sentido, a OWL uma tentativa de padronizar as linguagens para construo de ontologias (ANTONIU e VAN HARLEMEN, 2004). A diviso da linguagem em trs dialetos busca atender a necessidades de Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 42 expressividade (no caso da OWL Full) e de inferncias (no caso da OWL Lite) 31. A OWL foi construda sobre o padro de metadados RDFS, de forma que no fcil separar o incio das linguagens da WS. O critrio utilizado aqui a possibilidade de inferncia, de forma que a RDFS foi classificada como linguagem orientada web. Figura 7: WS e Representao do Conhecimento, (M) = mquinas

O RDFS um padro de metadados que utiliza a sintaxe XML, desenvolvido para solucionar limitaes do RDF (AHMED et al, 2001). O RDFS prope como primitivas a definio de classes e subclasses, alm de conter a noo de tipos de dados. Possui ainda recursos para determinar as propriedades adequadas a uma classe (marcao domain) e valores adequados a uma propriedade (marcao range). O RDF um padro de metadados que evoluiu a partir do XML, definindo um modelo de dados baseado em recursos, propriedades e valores. Esse modelo reduz a ambiguidade das declaraes ao especificar um local para definio de cada elemento considerado, atravs do mecanismo XML namespaces. O W3C deixa claro o tipo de se mntica envolvida na introduo da especificao RDF: esse documento usa um tcnica denominada teoria dos modelos para especificar a semntica de uma linguagem formal 32 (W3C, 2004, p.1). O XML corresponde a uma primeira tentativa de reduzir os problemas verificados na dcada de 90 com o uso do HTML baseado em marcas fixas para apresentao de dados. No XML, a estrutura do documento expressa por marcas flexveis, tornando o contedo acessvel a sistemas e computadores. A origem do XML o Standard GeneralizedMarkupLanguage (SGML), um padro internacional para marcao de textos eletrnicos. A SGML define um DocumentTypeDefinition (DTD), cujo objetivo estruturar documentos atravs das marcaes, ou seja, definir como as marcas so distribudas pelo texto. Cabe destacar que o 31 Para maiores detalhes sobre as diferenas entre os trs tipos de linguagens OWL ver Horridgeet al (2004). 32 This document uses a basic technique called model theory for specifying the semantics of a formal language. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 43 W3C apresenta especificaes para a semntica do RDF e do RDFS, mas no apresenta um documento similar para o XML. As linguagens de marcao e os padres de metadados orientados web corresponderam a uma mudana de paradigma na rea de sistemas, no qual a nfase passou de um modelo baseado em dados estruturados (Bancos de Dados) para um baseado em dados semiestruturados da web (ABITEBOUL, BUNEMAN e SUCIU, 2000). Figura 8: orientados a web, (M) = mquinas O Modelo Relacional (Codd, 1970) foi um dos primeiros instrumentos para modelagem conceitual. Entretanto, nesse modelo o conceito relao usado para representar tanto uma entidade quanto relacionamentos entre en tidades (PECKHAM e MARYANSKI, 1988). Esse fato gera dificuldades de entendimento, torna difcil o mapeamento de conceitos do mundo e induz a erros de modelagem. No Modelo Relacional, uma relao corresponde a uma tabela, com linhas denominadas tuplas e colunas denominadas atributos. Segundo Kroenke (1998), esses termos tm origem da lgebra Relacional, um ramo da LPO. O conceito de tabela similar aos conceitos de relao na matemtica. A semntica do Modelo Relacional diz respeito Semntica Formal. Silberchatz, Korth e Sudarshan (1999) explicam que um schema de banco de dados corresponde ao seu esquema lgico, ou seja, ao modelo conceitual aps a aplicao das formas normais (regras para normalizao do banco de dados). Como exemplo, explicam que o conce ito correspondente seria o de uma varivel, a qual se pode atribuir instncias. A semntica relacionada ao schema tambm a Semntica Formal.

Em funo dos problemas do modelo relacional, desenvolveu-se o Modelo EntidadeRelacionamento (E-R) (CHEN, 1976), o qual fornece termos extras para modelagem usados como primitivos. Alm disso, o E-R elimina a sobrecarga do constructo relao. Segundo Silberchatz, Korth e Sudarshan (1999), a maior expressividade do E-R diz respeito tentativa de representar o significado dos dados atravs de um mapeamento da realidade em um modelo conceitual. O E-R um modelo semntico, no qual, entretanto, a semntica Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 44 referenciada a Semntica Formal, pois um relacionamento [...] a relao matemtica com n 2 conjuntos de entidades (SILBERCHATZ, KORTH e SUDARSHAN, 1999, p. 25) A Orientao ao Objeto, uma proposta para modelagem conceitual de sistemas, prope novas formas de lidar com eventos, os quais definem o estado de um modelo (OLIV, 2007). Na verdade, as propostas de Orientao ao Objeto apresentam a mesma teoria e diferentes notaes. Uma tentativa de uniformizar essas notaes a UnifiedModelingLanguage (UML). A definio de semntica na UML um tanto vaga, uma vez que o termo citado em vrios contextos e as suas especificaes informam que existem, claro, outras semnticas relevantes para a UML [...] 33 (OMG, 2007, p.10). A despeito da variedade, observam-se duas situaes especficas a se considerar. A UML utiliza uma linguagem formal, a ObjectConstraintLanguage (OCL), para descrever expresses em modelos UML em que a semntica definida como [...] o mapeamento das expresses OCL para valores do domnio semntico 34 (OMG, 2006, p. 95). Nesse contexto, um domnio semntico o conjunto de valores que as expresses podem produzir. A especificao possui ainda um anexo sobre semntica, no qual se define formalmente o que chama de modelo de objeto usados na OCL, a partir de definies da Teoria dos Conjuntos e sua interpretao. Na seo dois, esse elementos so descritos como parte da Semntica Formal. Figura 9: orientados a sistemas de informao, (M) = mquinas A FIG.10 apresenta um conjunto de instrumentos diferentes dos anteriores. A expressividade desses instrumentos voltada para pessoas e no para sistemas. Nesse contexto, a semntica a semntica da linguagem natural. Um tesauro um instrumento de controle de vocabulrio que permite relacionar termos representativos do contedo de documentos de acordo com trs tipos de relaes: termo genrico, termo especfico e termo relacionado. Uma taxonomia corresponde a uma estrutura bsica de organizao da informao baseada em relaes de classe/subclasse. Um dicionrio uma lista de termos alfabeticamente ordenados em um 33 There are, of course, other semantics relevant to UML specifications. 34 [ ] represent the mapping from OCL expressions to values from the semantic domain. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 45 idioma especfico, que apresenta, alm de definies, informaes, como figuras, pronncia, etimologia dos termos, dentre outros. Um glossrio uma lista de termos relacionados a um domnio especfico e de suas definies. Figura 10: orientado a organizao da informao, (H)

= humanos Aps as consideraes sobre os instrumentos, apresenta-se a proposta para o novo espectro, o qual permite visualizar todos os instrumentos conjuntamente (FIG. 11). Um eixo orientado por uso divide o espectro em dois quadrantes: uso da semntica por humanos e uso por mquinas; em cada quadrante a expressividade semntica do instrumento considerada, conforme o caso, em semntica da linguagem natural ou em semntica Formal. Figura 11: Proposta de espectro modificado Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 46 5 CONSIDERAES FINAIS O presente artigo apresentou uma breve reviso de literatura sobre semntica em Lingustica e buscou entendimento sobre o uso do termo semntica na rea de tecnologia da informao, em particular, na viso da WS. Discutiu um espectro semntico e apresentou nova proposta, a qual leva em conta o uso do instrumento (por computadores ou por pessoas). Enfatiza-se novamente que a reviso de literatura no exaustiva e, com certeza, pesquisadores importantes da Filosofia e Lingustica no foram citados. Salienta-se ainda que a breve explicao sobre os instrumentos para uso humano no indica que estes so menos importantes. Apenas buscou-se manter os objetivos do artigo, ou seja, apresentar a Semntica em seus vrios contextos de uso. No final da seo 2.1, mencionou-se a importncia da abordagem lingustica da Semntica Formal para os objetivos do artigo. Tal importncia comprovada pela verificao de que todas as abordagens relacionadas tecnologia da informao so, na verdade, tipos de Semntica Formal. Com isso em mente, torna-se mais simples entender o uso do termo. Esse entendimento importante no mbito da Cincia da Informao para que no haja, por exemplo, algum tipo de confuso entre a semntica usada em tesauros e a semntica usada em ontologias. Dentre as possibilidades de interpretao errneas, as quais o presente artigo pretende reduzir, existe uma que merece destaque. Tratase da confuso entre a semntica, ou a definio do significado, no planejamento de um sistema e a semntica que usada pelo sistema. Em muitos casos, como nos modelos semnticos e na UML, as especificaes citam como definir o significado dos objetos de forma que sejam representados. Um caso tpico o dicionrio de dados, em Bancos de Dados e em atributos XML, onde se definem entidades, como, por exemplo: autor o responsvel intelectual por uma obra; aluno a pessoa que est matriculada em uma instituio educacional; e assim por diante. De fato, nesse caso o que se define o que realmente se entende por autor e por aluno em certo contexto, por pessoas, algo prximo do signifcado na i linguagem natural. Entretanto, a questo relevante aqui no exatamente o significado de coisas no mundo. Essa definio importante, sejam os sistemas procedurais, orientados a web, a WS, etc. Sempre existe uma fase em que as pessoas definem o que o sistema vai abranger, fase essa conhecida por modelagem de negcios, modelagem conceitual, anlise de sistemas, aquisio de conhecimento, dentre outras denominaes. A nfase do artigo no est nessa fase, e sim na Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 47 semntica do ponto de vista do uso pelo sistema no computador. A partir dessa considerao, organizou-se o espectro, ou seja, o instrumento que apresenta capacidade de deduo, de

inferncia, o mais expressivo (quadrante inferior, FIG. 11). Essa caracterstica leva o sistema a ser considerado mais evoludo em relao a outros, o que se chama de sistema inteligente, o tipo de sistema que a WS busca. A WS parece uma iniciativa promissora e as possibilidades que traz em suas propostas so inovadoras. Entretanto, a validade dessas propostas no consenso. A WS prioriza a pesquisa para melhorias na capacidade de expresso e na computabilidade da lgica, em particular da Lgica descritiva. Tal compromisso fica claro na nfase da pesquisa em linguagens de representao, como, por exemplo, a OWL. Na verdade, semntica e significado so assuntos bem mais complexos e abrangentes do que as implementaes em LPO e Teoria dos Modelos que a WS promove. Essa constatao leva a um descrdito em relao proposta. Grdenfors (2004, p.2), por exemplo, afirma que [...] a WS no semntica 35. preciso admitir que pesquisadores da rea de WS deixam claro o uso da Semntica Formal, mas apresentam explicaes demasiadamente pobres para defini-la. Antoniu e Van Harmelen (2004, p.110) definem Semntica Formal como uma semntica que descreve precisamente o significado do conhecimento. Por precisamente , entende-se aqui que a semntica no se refere a intuies subjetivas, nem aberta a interpretaes diferentes por pessoas (ou mquinas) 36. As definies do W3C citadas na seo trs seguem a mesma linha. Em relao ao novo espectro, observa-se que sua organizao no to diferente em relao ao avaliado. Conclui-se que o espectro avaliado traz uma viso razovel sobre a semntica dos instrumentos, menos do detalhe essencial relativo ao uso da semntica. Observa-se ainda que o novo espectro precisa de ajustes, por exemplo: i) o espao entre os instrumentos no segue uma escala que expressa as diferenas semnticas de forma quantitativa; ii) a Lgica Modal est localizada no extremo mais expressivo, no quadrante das mquinas, sendo que no decidvel (no gera inferncias eficientes), alm de ser utilizada em pesquisas sobre linguagens formais para uso por pessoas (GUARINO, 2004). Espera-se assim, em trabalhos futuros, buscar os ajustes necessrios para que o espectro seja o mais representativo possvel da semntica dos instrumentos. 35 [ ] the Semantic Web is not very semantic. 36 A formal semantics describes the meaning of knowledge precisely. Precisely here means that the semantic does not refer to subjective intuitions, nor is open to different interpretations by people (or machines). Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 48 REFERNCIAS ABITEBOUL, S.; BUNEMAN, P.; SUCIU, D. Data On The Web: from relations to semistructured data and XML. San Francisco: Morgan Haufmann, 2000. 258p. AHMED, K. et al. Professional XML Meta Data. Birminghan: Wronx, 2001. 567p. ANTONIU, G. e VAN HARLEMEN, F. A semantic Web Primer. Cambridge: MIT, 2004, 238p. AURLIO, B. H. F. Novo Aurlio Sculo XXI: o dicionrio da lngua portuguesa. 3ed. Rio de Janeiro: Nova Fronteira, 1999. 2128p. BAADER, F. et al. TerminologicalKnowledgerepresentation: a proposal for a terminologicallogic. Disponvel em: <https://eprints.kfupm.edu.sa/68607/1/68607.pdf>. Acesso em: 11 jan. 2003. ______. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge Press, 2003. 568p. BRANCHMAN, R.J.; LEVESQUE, H. J. Knowledge Representation and Reasoning. San Francisco: Morgan Kaufmann, 2004. 381p. BERNERS -LEE, T.

Semantic Web Road map. (1998). Disponvel em: <http://www.w3.org/DesignIssues/Semantic.html>. Acesso em: 20 Jan. 2003. ______. The Semantic Web; A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities. (2001). Disponvel em: <http://www.sciam.com/article.cfm?id=the-semantic-web>. Acesso em: 16 jan. 2005. CHEN, P. The Entity-Relationship Model;Toward a Unified View of Data. ACM Transactions on Database Systems, v.1, n.1, p. 9 36, 1976. CODD, E. F. A Relational Model for Large Shared Data Banks. Communications of the ACM, v.13, n.6. p. 377 387, 1970. DACONTA, M. C.; OBRST, L. J.; SMITH, K. T. The Semantic Web; A guide to the future of XML, Web Services and Knowledge Management. Indianapolis: Willey, 2005. 312p. DAHLBERG, I. Teoria do conceito. Cincia da informao. Rio de Janeiro, v. 7, n. 2, p. 101 107, jul./dez. 1978. DUMMET, M. 1981 Frege; PhilosophyofLanguage. New York: Harper & Row, 1973. 698p. FIKES, R.; MCGUINNESS, D. (2001). An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL. Disponvel em: <http://www.w3.org/TR/daml+oil-axioms>. Acesso em: 27 jan. 2006. FOX, E.; SULEMAN, H.; LUO, M. Building Digital Libraries Made Easy; Toward Open Digital Libraries. Disponvel em: <http://www.springerlink.com/content/7x87gky9k5ggt5yq/>. Acesso em: 31 mai. 2004. GRDENFORS, P. How to make the Semantic Web more semantic. In: VARZI , A. C.; VIEU, L. (Eds.). Formal Ontology in Information Systems. Amsterdan: IOS Press, 2004, p. 19-36. GARSON, J. Modal Logic. Disponvel em: <http://plato.stanford.edu/entries/logic-modal/>. Acesso em: 13 jan 2009. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 49 HORRIDGE, M. et al. A Practical Guide To Building OWL Ontologies Using The Protg-OWL Plugin and CO-ODE Tools. (2004). Disponvel em: <http://www.coode.org/resources/tutorials/ProtegeOWLTutorial.pdf>. Acesso em: 03 jun. 2008. HODGES , W. ModelTheory. (2005). Disponvel em: <http://plato.stanford.edu/entries/model-theory/#Def>. Acesso: 28 fev. 2008. KROENKE, D. M. Bancos de Dados: Fundamentos, Projeto e Implementao. 6ed. Rio de Janeiro: LTC, 1998. 382p. MORRIS, M. An Introduction to the Philosophy of Language. Edimburgh: Cambridge, 2007. 326p. NETO, J. B. Semantica dos modelos. In: MULLER, A. L.; NEGRO, E. V.; FOLTRAN, M. J. (Eds.). Semantica formal. So Paulo: Contexto. 2003, p. 47-60. NIRENBERG, S.; RASKIN, V. OntologicalSemantics: Language, Speech, and Communication. Cambrigde: MIT Press, 2004. 442p. NOTH, W. Handbook of Semiotics. Indianapolis: Indiana University Press, 1995. 576p. OBRST, L. Ontologies&theSemantic Web for SemanticInteroperability. (2004). Disponvel em: <http://www/webservices.gov/OntologiesSemanticWebSemInteropSICOP909 -Obrst.ppt>. Acesso em: 21 ago. 2005. OGDEN, C. K. et al. O significado de significado: um estudo da influncia da linguagem sobre o pensamento e sobre a cincia do simbolismo. Rio de Janeiro: Zahar, 1972. 349 p. OLIV, A. Conceptual ModelingofInformation Systems. Berlin: Springer, 2007. 455p. OLIVEIRA R. P. Semntica formal: uma breve introduo. Campinas: Mercado de Letras, 2001. 264p. OMG. UnifiedModelingLanguage (OMG UML), Infrastructure, V2.1.2. (2007). Disponvel em: <http://www.omg.org/docs/formal/07-11-04.pdf>. Acesso em: 28 dec. 2008. ______. Object Constraint Language OMG Available Specification Version 2.0 (2006). Disponvel em: < http://www.omg.org/docs/formal/06-05-01.pdf >. Acesso em: 27 dec. 2008.

PECKHAM, J.; MARYANSKI, F. Semantic Data Models. (1988). Disponvel em: <http://portal.acm.org/citation.cfm?id=62062 >. Acesso em: 30 jul. 2007. PORTNER, P.H. What is meaning? Fundamentals of Formal Semantics. Oxford: Blackwell, 2005. 235p. SAYO, L. F. Modelos tericos em cincia da informao: abstrao e mtodo cientfico. (2001). Disponvel em: <http://www.scielo.br/pdf/ci/v30n1/a10v30n1.pdf>. Acesso em: 2 dez. 2002. SEDLEY, D. Plato'sCratylus. (2006). Disponvel em: <http://plato.stanford.edu/entries/plato-cratylus/>. Acesso em: 21 dez. 2007. SHETH, A.; RAMAKRISHNAN, C.; THOMAS, C. (2005). Semantics for the Semantic Web: The Implicit, the Formal and the Powerful. Disponvel em: <http://lsdis.cs.uga.edu/library/download/SRT05-IJ-SW-IS.pdf>. Acesso em: 3 nov. 2008. SILBERCHATZ, A.; KORTH, H. e SUDARSHAN, S. Sistema de Bancos de Dados. 3ed. So Paulo: Makron Books, 1999. 778p. Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 16, n. 31, p.25-50, 2011. 50 SOWA, J. Ontology, Metadata, andSemiotics. (2000). Disponvel em: <http://www.jfsowa.com/ontology/ontometa.htm>. Acesso em: 27 fev. 2002. SOWA, J. A Dynamic Theory of Ontology. (2004). Disponvel em: <http://www.jfsowa.com/pubs/dynonto.htm>. Acesso em: 5 mai. 2006. W3C. RDF Semantics. (2004). Disponvel em: <http://www.w3.org/TR/rdf-mt/>. Acesso 3 set. 2006. ______. OWL; Web OntologyLanguage Overview. (2004). Disponvel em: <http://www.w3.org/TR/2004/RECowl-features-20040210/>. Acesso em: 4 set. 2006. Agradecimentos Bolsa CAPES - Processo no BEX 4071/09-3 (primeiro autor). Abstract The term semantics has been used over the past years in several areas of research and, more specifically, in those related to information technology. One reason for that appropriation is the Semantic Web vision, which originated from the expansion of the web and the inherent limitations of the syntax-based search engines. However, it is reasonable to demand an explanation about which is the semantics addressed in the Semantic Web since the study of the subject is complex and controversial. The present article aims to make a contribution towards this sense, analyzing what semantic is, discussing it within the scope of information technology and proposing explanatory alternatives. We intend to critically evaluate a spectrum that suggests a classification of instruments (models, languages, taxonomic structures, etc) in a semantic-based scale of graduated rates. We hope to provide a better understanding about the use of the term in different contexts, as well as offer a new spectrum from the considerations of the present article. Keywords: Semantic Web. Ontologies. Semantics. Knowledgerepresentation. Originais recebidos em: 11/11/2009 Aceito para publicao em: 24/10/2010