PONTIFCIA UNIVERSIDADE CATLICA DE SO PAULO

PUC SP
Mrio Madureira Fonte
A!e"to Onto#$%i"o da &e'(e)*nti"a+
In,eti%a-.o !ara a uti#i/a-.o do 0it$ri"o da &e'(e)*nti"a
"o)o "ontri'ui-.o !ara a )e#0oria da na,e%a-.o na 1e'2
MESTRADO EM TECNOLO3IAS DA INTELI34NCIA E DESI3N
DI3ITAL
S.o Pau#o
5667
PONTIFCIA UNIVERSIDADE CATLICA DE SO PAULO
PUC SP
Mrio Madureira Fonte
A!e"to Onto#$%i"o da &e'(e)*nti"a+
In,eti%a-.o !ara a uti#i/a-.o do 0it$ri"o da &e'(e)*nti"a
"o)o "ontri'ui-.o !ara a )e#0oria da na,e%a-.o na 1e'2
MESTRADO EM TECNOLO3IAS DA INTELI34NCIA E DESI3N
DI3ITAL
Dierta-.o a!reentada 8 9an"a
E:a)inadora da Ponti;<"ia Uni,eridade
Cat$#i"a de S.o Pau#o= "o)o e:i%>n"ia
!ar"ia# !ara o'ten-.o do t<tu#o de MESTRE
e) Te"no#o%ia da Inte#i%>n"ia e Dei%n
Di%ita#= o' a orienta-.o do Pro;2 Dr2 Lu<
Car#o Petr?
S.o Pau#o
5667
Banca examinadora
_________________________________________________
_________________________________________________
_________________________________________________
_________________________________________________
_________________________________________________
Dedico esta dissertao a minha av
urea de Souza Madureira, in
memoriam, por seus ensinamentos e
afeio.
Agradecimento Especial
Ao Prof. Dr. Lus ar!os Petr",
Por seu apoio constante em todas as
fases do desenvo!vimento desta
dissertao, por sua disponi#i!idade
para a discusso das $uest%es de
pes$uisa e por seu entusiasmo e
austeridade na conduo do fazer
cientfico.
Agradecimentos
A minha esposa &ernanda e a meus pais por todo o incentivo e co!a#orao ' rea!izao deste
tra#a!ho.
Aos professores doutores L(cia Leo e )oo *ei+eira pe!as in(meras su,est%es na #anca de
$ua!ificao desta dissertao.
Aos professores da ,raduao e da ps-,raduao da P.SP pe!a minha formao.
A )ae /eum 0h pe!as contri#ui%es ' reviso do te+to.
Ao meu coordenador no 120P3, 4icardo Mor#i 4odri,ues, pe!a f!e+i#i!idade de hor5rios
possi#i!itada para a e+ecuo das atividades da empresa.
Aos meus co!e,as do 120P3 e da P.SP pe!a oportunidade de discutir $uest%es.
A Ar!ete dos Santos Petr" pe!o aco!himento.
Aos meus fami!iares e ami,os por va!orizarem os meus pro6etos.
Resumo
3ste estudo apresenta uma proposta de !eitura dos pro#!emas re!ativos ' !,ica-sem7ntica
ap!icados ao conte+to computaciona! do ci#erespao, seus a,entes e engines de #usca.
4essa!tando a!,umas $uest%es histricas, re!ativas ' fi!osofia da !in,ua,em e ' !,ica, a
fundamentao terica propicia uma ref!e+o so#re os pro#!emas atuais e os m8todos
a#ordados pe!a 9e#-sem7ntica. 3ssa ref!e+o incide so#re os conceitos de o#6eto, refer:ncia,
pes$uisa, #ase de dados e c!assificao de dados, os $uais so encontrados no tra#a!ho de
construo de uma nave,ao orientada pe!os princpios da 9e#-sem7ntica. Ar,umentamos
$ue um sistema de histrico de nave,ao pode ser construdo para a6udar a faci!itar a
nave,ao do usu5rio, fornecendo novas onto!o,ias computacionais e demonstramos, por
meio de um e+perimento #aseado em uma #usca efetuada, a pro#!em5tica envo!vida no acesso
aos conte(dos. Ana!isamos nesse e+perimento, os resu!tados de cada #usca com #ase em
princpios propostos por Monta,ue. Pautados nas ref!e+%es tericas e na an5!ise do
e+perimento efetuadas, propomos um es#oo de ar$uitetura de um sistema de histrico de
nave,ao $ue compreende um servidor de onto!o,ias sem7nticas, o $ua! processa, por meio
de a,entes inte!i,entes, os histricos sem7nticos em 0;L, repu#!ica-os, disponi#i!iza os
conte(dos sem7nticos em redes P<P ou em servidores dedicados e va!ida tais conte(dos se
necess5rio. 0 estudo mostra a re!ev7ncia da pes$uisa histrica da !,ica para uma mais
a!ar,ada compreenso dos pro#!emas co!ocados pe!a ;32 <.= e >.= e conc!ui pe!a
necessidade e import7ncia da pes$uisa das re!a%es entre !,ica, computao e tecno!o,ias
di,itais.

Pa!avras chaves? 9e#-sem7ntica@ onto!o,ias computacionais@ fi!osofia da !in,ua,em
Abstract
*his stud" presents a frame9orA for considerin, the pro#!ems re!ated to 9e#-semantics and
!o,ic as app!ied to the c"#erspace computationa! conte+t, its a,ents and en,ines for searchin,
purposes. Bi,h!i,htin, some historica! issues concernin, the phi!osoph" of !an,ua,e and
!o,ic, the theoretica! #acA,round contemp!ates the pro#!ems and methods tacA!ed #" 9e#-
semantics. *his reasonin, invo!ves the concepts of o#6ect, reference, research, data #ase e
data c!assification, 9hich are found in the 9orA of #ui!din, up a 9e#-semantica!!" oriented
navi,ation. 1t is ar,ued that a s"stem of the histor" of the navi,ation can #e #ui!t up in order
to maAe the navi,ation #" the user easier, supp!"in, ne9 computationa! onto!o,ies. 1t is a!so
demonstrated, #" means of an e+periment #ased in a search in the 9e#, the trou#!esome areas
invo!ved in accessin, contents. 1n the e+periment, the resu!ts of each search are ana!"zed
accordin, to princip!es posed #" Monta,ue. 2ased on the theoretica! #acA,round and the
ana!"sis of the resu!ts of the e+periment, a draft of the architecture of a s"stem of the histor"
of navi,ation is proposed. 1t invo!ves a semantic onto!o," server, 9hich processes, #" means
of inte!!i,ent a,ents, the semantic histor" in 0;L, repu#!ishes them, disp!a"s the semantic
contents in P<P net9orAs or in dedicated servers and va!idates these contents if necessar".
*his stud" sho9s the re!evance of the historica! research on !o,ic so that a more
comprehensive vie9 of the pro#!ems re!ated to the 9e# is achieved and ar,ues in favor of the
necessit" and importance of deve!opin, a mu!tidiscip!inar" research comprisin, !o,ics,
computation and di,ita! techno!o,ies.
/e" 9ords? 9e#-semantics, computationa! onto!o,ies@ Phi!osoph" of Lan,ua,e
Sumrio
1ntroduo...................................................................................................................................C
C. A $uesto dos o#6etos no ci#erespao D;e#E e sua pro#!ematizao onto!,ica....................F
C.C Definio usua! de o#6eto.................................................................................................F
C.< .ma !eitura !,ico-fi!osfica do conceito de o#6eto........................................................G
C.> A contri#uio do positivismo !,ico para a or,anizao de crit8rios metodo!,icos do
tratamento de o#6etos............................................................................................................CH
C.H A#orda,em intenciona!Ie+tenciona! na inte,rao de dados 9e#-sem7nticos...............<H
C.J &undamentos !,icos da 9e#-sem7ntica em Monta,ue.................................................<K
C.F Ap!icao do o#tido na an5!ise de e+emp!os modu!ares e achados recentes.................>>
C.K 0#6etos na computao..................................................................................................H>
<. A $uesto da onto!o,ia e sua entrada no campo da ;e#.......................................................HG
<.C A 4ef!e+o do onceito de 0nto!o,ia na omputao..................................................HG
<.< omponentes de uma 0nto!o,ia omputaciona!...........................................................JC
<.H &erramentas para a onstruo de 0nto!o,ias omputacionais....................................JH
<.J Lanta,ens e Pro#!emas no uso de 0nto!o,ias em omputao.....................................JG
>. 0 pro#!ema da 9e#-sem7ntica e suas possi#i!idades onto!,icas........................................F<
>.C Aspectos Bistricos da Muesto da 0nto!o,ia na ;e#...................................................F<
>.< A Ar$uitetura da 9e#-sem7ntica.....................................................................................FN
>.> Ap!ica%es da 9e#-sem7ntica.........................................................................................KF
>.>.C Oe0n.............................................................................................................KF
>.>.< Ma,pie P *he Semantic &i!ter.......................................................................KK
>.>.C Qoo,!e ;ave.................................................................................................KG
>.H Desenvo!vimento de Sistema de Bistricos de Oave,ao e A,entes 1nte!i,entes.......KN
onc!uso..................................................................................................................................GH
Rndice 4emissivo.......................................................................................................................GG
2i#!io,rafia?..............................................................................................................................GN
;e#io,rafia?..............................................................................................................................N=
ndice de Figuras
&i,ura C? P5,ina ,erada a partir da #usca Sma verdeS...........................................................CN
&i,ura <? P5,ina ,erada pe!o S9oo,!e a partir do termo Smeta!an,ua,eS...............................<<
&i,ura >? 4epresentao ,r5fica da estrutura hier5r$uica de uma estrutura 4D& do termo
Smeta!an,ua,eS.........................................................................................................................<>
&i,ura H? 2usca do conceito SverdeS a partir do conceito SmaS na #usca de ima,ens do
Qoo,!e.......................................................................................................................................>C
&i,ura J? Mode!o do avio de Saint-3+up8r"...........................................................................H>
&i,ura F? 4epresentao da c!asse avio na !in,ua,em .ML..................................................HH
&i,ura K? 1nst7ncia de um o#6eto do Avio Oieport na representao .ML.............................HH
&i,ura G? 4epresentao do cdi,o de m5$uina )ALA do pro,rama Be!!o ;or!d...................J<
&i,ura N? di,o fonte feito em )ava do pro,rama Be!!o ;or!d..............................................J<
&i,ura C=? &erramenta 0nto!in,ua P criao de uma nova c!asse............................................JF
&i,ura CC? &erramenta Prot8,8 P editor de c!asses....................................................................JK
&i,ura C<? &erramenta Prot8,8 P visua!izao de um ar$uivo 0;L........................................JK
&i,ura C>? omparao das re!a%es onto!,icas naturais e a re!ao da informao no
conte(do da 1nternet..................................................................................................................F>
&i,ura CH? Mapeamento do conte(do sem7ntico em p5,inas da 1nternet.................................FH
&i,ura CJ? *recho da p5,ina inicia! em <GI=KI<==N do site Amazon em $ue aparece o !ivro
S0n the 0ri,ins of 0#6ectsS .....................................................................................................FJ
&i,ura CF? Pi!ha 9e#-sem7ntica................................................................................................FN
&i,ura CK? &ormato ,r5fico de um ar$uivo 4D&......................................................................KH
&i,ura CG? 1ma,em do pro,rama Oe0n....................................................................................KF
&i,ura CN? 1ma,em do pro,rama Ma,pie.................................................................................KK
&i,ura <=? Qoo,!e ;ave...........................................................................................................KG
&i,ura <C? Ar$uitetura de histrico de nave,ao e a,entes inte!i,entes.................................G=
&i,ura <<? 1ma,em so#re a QeoOove!a D<==NE, cedida por Pedro Andrade e Lus ar!os Petr"
...................................................................................................................................................G<
C
Introduo
A motivao para o desenvo!vimento desta dissertao sur,iu diante das minhas in$uieta%es
ao nave,ar no ci#erespao. Muando preciso #uscar certos assuntos mais comp!e+os ou $ue
se6am muito a#ran,entes ou se6a necess5rio de uma #usca especfica direcionada a termos
corre!atos a um determinado assunto, sempre aca#o tendo $ue refinar e re#uscar os termos nos
mecanismos de #usca, in(meras vezes. 1sso ocorre por$ue muitos #uscadores, como o
Qoo,!e, c!assificam as informa%es de forma errada do ponto de vista inteno de cada
usu5rio. A c!assificao e cate,orizao de um #uscador prov8m de indica%es mais
re!evantes entre as p5,inas por e!e processadas.
0 aumento da $uantidade de informao e a dificu!dade de encontrar a informao dese6ada
com o advento da Internet tornou necess5ria a or,anizao da informao, pois o usu5rio
defronta-se com infinitas op%es para a rea!izao de #uscas.
Ao esco!her uma entre as variadas a!ternativas de #uscas possveis, o usu5rio depara-se com
um determinado caminho e caso no encontre a informao dese6ada nesse caminho vai ter
de optar por outra a!ternativa. 3ntretanto, o histrico de suas #uscas no fica devidamente
re,istrado, ou se6a, a rastrea#i!idade da informao no ci#erespao fica pre6udicada, pois as
decis%es do usu5rio no so passveis de armazenamento no computador, no sentido de $ue as
decis%es de natureza !,ica so oriundas da mente do usu5rio e no podem ser simp!esmente
reconstitudas por meio da reconstruo das p5,inas fsicas por e!e #uscadas.
Dentro desse conte+to, podemos !evantar a!,umas $uest%es $ue sero discutidas e ana!isadas
nesta dissertao.
DCE omo 8 constituda e estruturada a 9e#-sem7nticaT
D<E omo se pode uti!izar a 9e#-sem7ntica para or,anizar e re!acionar o histrico de
conceitos de o#6etos na nave,ao no ci#erespaoT
D>E Mue aspectos, da computao, da fi!osofia e da !,ica, esto envo!vidos na 9e#-
sem7nticasT
<
DHE Mua! seria uma possve! a#orda,em inicia! para otimizar a co!eta e or,anizao de um
histrico de nave,ao no ci#erespaoT
omo forma de contri#uio ' ref!e+o so#re essas $uest%es, esta dissertao tem como
o#6etivos? #uscar su#sdios nos campos da ci:ncia da computao, da fi!osofia e da !,ica
para considerar o tratamento dos o#6etos e suas onto!o,ias na representao imp!ementada
pe!a 9e#-sem7ntica@ propor uma ar$uitetura de um sistema de histrico 9e#-sem7ntico para
contri#uir para a me!horia do processo de nave,ao na 9e#.
1niciamos nossa pes$uisa com um !evantamento so#re os sentidos do termo 9e#-sem7ntica, o
$ua! corresponde a Usemantic 9e#V em !n,ua in,!esa. Ao fazer esse !evantamento entramos
em contato com os aspectos envo!vidos na primeira $uesto de pes$uisa.
Ao rea!izar esses !evantamentos entrei em contato com as principais fontes so#re 9e#-
sem7ntica e+istentes $ue so os sites da ;>
C
e Semantic;e#
<
. As ideias so#re 9e#-
sem7ntica e assuntos re!acionados foram de#atidos durante as discip!inas ministradas no curso
de estudos ps-,raduados em *ecno!o,ias da 1nte!i,:ncia e Desi,n Di,ita! da P.SP, o $ue
me a6udou na presente pes$uisa.
Durante discuss%es com co!e,as e professores, perce#i $ue ho6e a informao e+istente na
1nternet precisa ser persona!izada, por isso a necessidade de se dissertar so#re a se,unda
$uesto. Oa atua!idade, um recurso muito interessante e pouco e+p!orado 8 a captura da
nave,ao de interao de um usu5rio no ci#erespao e seu armazenamento em conte(do
9e#-sem7ntico.
Durante as reuni%es de orientao, foram discutidas as #ases fi!osficas e !,icas imp!icadas
na terceira $uesto. 3ssa discusso remete aos conceitos da onto!o,ia para a considerao dos
o#6etos, pois esses conceitos so a #ase da 9e#-sem7ntica $ue 8 por sua vez a #ase para a
conceituao do re!acionamento sem7ntico do histrico na nave,ao no universo virtua! da
1nternet.
0 escopo de uma ar$uitetura de um sistema de nave,ao de armazenamento do histrico,
C ;> D;or!d ;ide ;e# onsortiumE 8 uma or,anizao re,u!amentadora de padr%es da 1nternet. A p5,ina de
discuss%es so#re 9e#-sem7ntica na 1nternet est5 no se,uinte endereo? http?II999.9>.or,I<==CIs9I
< Semantic;e# 8 um repositrio do tipo 9iAi $ue or,aniza ferramentas, eventos e notcias so#re 9e#-
sem7nticas. A p5,ina na 1nternet est5 no se,uinte endereo? http?IIsemantic9e#.or,I9iAiIMainWPa,e
>
como referido na $uarta $uesto, foi e+pandido para $ue o conte(do armazenado pe!o usu5rio
fosse comparti!hado, se assim dese6ado por sua fonte ,eradora, com outros usu5rios
conectados em rede internet.
omo ferramenta de tra#a!ho foi esco!hido o editor de te+tos Writer da distri#uio BrOffice
$ue 8 uma distri#uio derivada do pacote de pro,ramas OpenOffice. 0 editor, Writer, foi
esco!hido no apenas por ser ,ratuito mas por ser um pro,rama $ue mostra $ue uma
comunidade co!a#orativa e rica em troca de e+peri:ncias e informa%es pode ,erar um
produto com muita $ua!idade. Desta mesma forma, acredito $ue com a troca de e+peri:ncia
de histricos 9e#-sem7nticos por parte dos usu5rios possamos evo!uir na o#teno de
informa%es refinadas e de $ua!idade. 3ste tra#a!ho est5 dividido em tr:s captu!os $ue
se,uem as $uest%es apresentadas.
Oo captu!o C desta dissertao discutiremos o conceito de o#6eto. Aps a introduo das
defini%es, passaremos a considerar as ref!e+%es tericas de Qran,er, 4usse!, Lei#niz, arnap,
Ste,mX!!er, Monta,ue e Ma6AiY so#re o o#6eto e re!acionando essas teorias com a 9e#-
sem7ntica. Oa continuao conte+tua!izaremos as proposi%es de Monta,ue em um
e+perimento de #usca de conte+to feita no Zahoo. Ao fim deste captu!o descrevemos como os
o#6etos so mode!ados e re,istrados na 5rea da computao.
Aps a conceituao do $ue 8 o#6eto e suas imp!ica%es no campo da computao, fi!osofia e
!,ica, a#ordaremos no captu!o < os se,uintes tpicos? a ref!e+o so#re o conceito de
onto!o,ia na computao apresentada e os componentes de uma onto!o,ia computaciona!.
onsideraremos a import7ncia do conceito da onto!o,ia na computao e sua transposio do
conte+to do pensamento !,ico fi!osfico para o domnio das !in,ua,ens formais na
computao. Apresentaremos a caracterizao atua! das metodo!o,ias e ferramentas
computacionais empre,adas e consideraremos os pro#!emas e as vanta,ens da uti!izao das
onto!o,ias na computao. Para tanto, ana!isaremos as ideias de 3den [ *urner D<==KE e
SmithDCNNGE os $uais sero re!acionados e discutidos no conte+to da investi,ao
empreendida no captu!o C so#re a $uesto dos o#6etos no ci#erespao.
Oo capitu!o > iremos de!inear uma proposta de de 9e#-sem7ntica no conte+to da ci:ncias da
computao, considerando os aspectos histricos e a#ordando o conceito de onto!o,ia.
2uscaremos discutir como a ar$uitetura da 9e#-sem7ntica est5 construda atua!mente e as
H
$uest%es $ue esto sendo discutidas em funo da potencia!idade das ap!ica%es da 9e#-
sem7ntica. A partir dos pressupostos a!canados, rea!izaremos uma discusso introdutria dos
aspectos onto!,icos presentes na formu!ao e desenvo!vimento dos sistemas de histricos
de nave,ao e a,entes inte!i,entes P o $ue resu!tar5 no a#andono da perspectiva dos #ancos
de dados re!acionais, tais como eram pensados antes das proposi%es da 9e#-sem7ntica.
3sta dissertao, ta! como de!ineamos nesta introduo, visa, em (!tima inst7ncia, contri#uir
para o campo da 9e#-sem7ntica e na tra6etria de seus tr:s captu!os e conc!uso.
onsideraremos as contri#ui%es do positivismo !,ico para a sistematizao de crit8rios
metodo!,icos para o tratamento de o#6etos, as a#orda,ens intencionaisIe+tencionais para a
rea!izao da inte,rao dos dados 9e#-sem7nticos, as contri#ui%es das proposi%es de
Monta,ue ' an5!ise de procedimentos e achados de #usca na 9e# e a forma de concepo dos
o#6etos na computao.
J
A simples conscincia, mas empiricamente determinada, da minha prpria existncia prova a
existncia dos objetos no espao fora de mim.
Immanel !ant
F
1. A questo dos objetos no ciberespao !eb" e sua
problemati#ao ontol$gica
0 conceito de o#6eto perpassa a histria do pensamento ocidenta! e se constitui em um dos
e!ementos fundamentais na medida em $ue permite uma amp!a e ao mesmo tempo precisa
de!imitao de situa%es, eventos e ocorr:ncias. Oo presente captu!o, procuraremos
apresentar uma viso ,era! so#re a conceituao de o#6eto no conte+to do ci#erespao, sem,
contudo, pretender, de modo a!,um, es,otar o tema, ao mesmo tempo denso e 5rido.
1niciaremos com a perspectiva de uma definio dicionarizada oficia!, passando para a
perspectiva fi!osfica do mesmo para, fina!mente, introduzirmos no%es da semitica e da
fi!osofia $ue incidem na ci:ncia da computao, a matriz ,estora da possi#i!idade materia! do
ci#erespao. omearmos pe!o dicion5rio Aur8!io.
1.1 %e&inio usual de objeto
Oo dicion5rio Aur8!io, os si,nificados do termo Uo#6etoV so apresentados conforme os
variados conte+tos de uso, a!,uns dos $uais e+pomos, a se,uir. De acordo com o si,nificado
,era!, o o#6eto pode ser descrito como? DCE Utudo $ue 8 apreendido pe!o conhecimento, $ue
no 8 o su6eito do conhecimentoV, tendo em vista a$ui a natureza fi!osfica da apreenso do
conceito de o#6eto. 0 o#6eto recai so# o domnio do entendimento, sendo, por isso, um o#6eto
do entendimento, o $ua! se constitui numa mesc!a h#rida entre os dados oriundos da
sensi#i!idade com os aspectos aperceptivos do entendimento
>
. A se,unda refer:ncia
dicionarizada diz $ue um o#6eto 8 Utudo $ue 8 manipu!5ve! eIou manufatur5ve!V, Utudo $ue 8
perceptve! por $ua!$uer dos sentidosV, referindo-se a possi#i!idade de compreendermos o
o#6eto como a coisa f5tica determinada pe!o empirismo. A$ui temos um ,rande ,rupo de
> 3ste 8 o ponto de vista de /ant na "r#tica da ra$%o pra. Por e+emp!o, uma apresentao sint8tica de!e nos 8
dada por Oo,ueira, &.&. D<==NE. &ela%o entre conhecimento e os objetos metaf#sicos no pensamento
'antiano. 1n? Webartigos.com( http?II999.;e#arti,os.comIartic!esICJK><ICIre!acao-entre-conhecimento-e-
os-o#6etos-metafisicos-no-pensamento-AantianoIpa,inaC.htm! \Acesso em? <= de a#ri! de <==N]? Uo centro do
conhecimento no so os o#6etos como $ueriam os autores pr8-cartesianos, nem mesmo o su6eito so!ipsista de
Descartes, mas 8 o su6eito transcendenta!. Ao propor este su6eito como o centro do conhecimento, /ant
rea!iza uma verdadeira S4evo!uo opernicanaS no conhecimento. Assim, o o#6eto passa a ser determinado
pe!o su6eito, e no mais o su6eito 8 orientado pe!o o#6eto como $ueria a tradio fi!osficaV. Ainda $ue /ant
no tenha o seu foco no o#6eto, mas no modo de como chegamos a conhec)lo, uma de!imitao em o#6etos
possveis aparece na o#ra de /ant $uando e!e rea!iza a distino c!ara entre su6eito do entendimento Dcomo
centroE e o#6eto como co!ocado no outro !ado e $ue tem so#re si !anadas as #rumas da impreciso da coisa)
em)si.
K
possi#i!idades $ue a#ran,em todos os e!ementos $ue so possveis de serem capturados pe!os
sentidos e, tam#8m, pe!as m5$uinas $ue o homem constri para e+aminar a natureza.
Oa continuao, o dicion5rio apresenta o o#6eto como Ucoisa, pea, arti,o de compra e venda,
o#6eto #aratoV, ou se6a, como e+tens%es apreensveis de o#6etos empricos, ainda $ue so#re
determinados por conceitos como barato etc. Por outro !ado, $uando nos reportamos a outra
concepo, i,ua!mente presente no dicion5rio, a do o#6eto como Umat8ria, assunto? o o#6eto
de uma ci:ncia, de um estudoV, retornamos ao ponto de vista fi!osfico $ue esta#e!ece uma
pro,ressiva identidade entre os termos objeto e conceito. Ainda encontramos o o#6eto
definido como Ua,ente@ motivo e causa? o#6eto de discrdiaV, ou como Uo ponto de
conver,:ncia de uma atividade@ mira, des,nio? a fi!osofia hindu era o o#6eto de suas
medita%esV, Umira, fim, propsito, intento, intuito, des,nio@ o#6etivoV, os $uais esta#e!ecem
aspectos sem7nticos, semiticos e !iter5rios do conceito de o#6eto e suas m(!tip!as
manifesta%es.
Oo conte+to fi!osfico, o o#6eto 8 definido em uma re!ao de conhecimento, isto 8, refere-se
ao o $ue 8 conhecido, em oposio ao $ue conhece o su6eito ou o $ue 8 rea! ou rea!iz5ve! e se
torna motor da ao de um su6eito. Oo conte+to da 6urisprud:ncia, definido como Ua$ui!o
so#re $ue incide um direito, o#ri,ao, facu!dade, norma de procedimento, proi#io etc.V.
Por outro !ado, no conte+to da fsica ptica aparece retratado como Ufonte de !uz ou corpo
i!uminado cu6a ima,em se pode formar num sistema pticoV. Por sua vez, no conte+to da
ci:ncia da computao, na sua perspectiva da pro,ramao orientada a o#6eto, o o#6eto se
apresenta da se,uinte forma? Uem pro,ramao orientada a o#6etos D$. v.E, $ua!$uer mdu!o
$ue cont8m rotinas e estruturas de dados, 8 capaz de intera,ir com outros mdu!os simi!ares,
trocando mensa,ensV
H
.
A conceituao do termo Uo#6etoV remete a $uest%es tericas comp!e+as $ue emer,em em
re!ao ' sua or,anizao en$uanto forma e conte(do. 3!as demonstram $uo amp!o 8 o
pro#!ema da possve! especificidade do conceito e $uo difci! pode ser a sua de!imitao,
dado $ue participa de modo fundamenta!, em diversas 5reas da vida humana. 4ef!etir so#re o
conceito de o#6eto 8 re!evante para a conduo da presente pes$uisa, pois pensarmos na
possi#i!idade de uma 9e#-sem7ntica 8 i,ua!mente pensarmos no mapeamento de corre!a%es
entre o#6etos, suas propriedades constituintes, suas re,ras e fun%es comportamentais, sua
H UOovo Dicionario Aur8!io na 1nternetV - http?II<==.<<J.CJK.C<>Idicaure!ioposIpes$uisa.aspTstr*e+to^o#6eto
G
ori,em, fina!idade etc. Dessa forma, ser5 mister, portanto, discutirmos as imp!ica%es tericas
dessas corre!a%es, sem contudo, como 65 referido, pretender es,ot5-!as. A fim de a!canar o
norte de nossa pes$uisa e situarmos o conceito de o#6eto e, com isso, sermos capazes de
retirar de!e os e!ementos $ue podem participar de um incio de uma ref!e+o so#re a 9e#-
sem7ntica, nos apoiaremos em ref!e+%es dos fi!sofos $ue tam#8m possuem uma s!ida
formao !,ica? 4usse!!, Monta,ue, Ste,mX!!er, arnap, Lei#niz, Ma6AiY, Peirce e Qran,er.
omeamos com o (!timo, o $ua! nos apresentar5 um ponto de vista, ao mesmo tempo
did5tico e epistemo!,ico.
1.' (ma leitura l$gico)&ilos$&ica do conceito de objeto
Qran,er DCNGNE, em seu !ivro *or m conhecimento filosfico, discute acerca da possi#i!idade
do conhecimento fi!osfico #uscando e+p!icar em conceitos uma articu!ao si generis, ou
se6a, como so tra#a!hadas a forma e o conte+do para $ue se or,anizem em uma natureza
diversa da$ue!a apresentada pe!o conhecimento cientfico. Para o fi!sofo-!,ico, o
conhecimento cientfico est5 respa!dado nos fatos da ci:ncia, numa viso ana!tica e
ar$uitet_nica sem se referenciar a fatos a#stratos. Portanto, para o conhecimento cientfico
no podem e+istir os chamados o#6etos fi!osficos Danteriormente referidosE, mas somente os
emprico-formais, a sa#er, os $ue podem ser apreendidos pe!os sentidos e suas e+tens%es
t8cnicas, mensurados e forma!izados.
Por outro !ado, podemos o#servar com o fi!sofo $ue um possve! e!o entre conhecimento
fi!osfico e conhecimento cientfico ,era! seria a atitude a#erta pe!o empirismo, o $ua!
interpreta um tipo particu!ar da fi!osofia num movimento de interpretao do sentido do
conhecimento ,era!. Oessa forma ,era!, em uma perspectiva Aantiana, um poder pra,m5tico
se manifesta nas suas tentativas de assimi!ao do o#6eto conhecimento ao fen_meno,
DQran,er, CNGNE. 0 movimento do pensamento empirista pode-se ser ana!isado em suas tr:s
caractersticas comp!ementares? DAE conte(dos do conhecimento e sensibilia, D2E o a priori da
!,ica e da !in,ua,em e DE o empirismo e as condi%es ana!is5veis do mundo. As duas
primeiras caractersticas DA e 2E revestem-se de particu!ar interesse para a investi,ao
conduzida nesta dissertao.
3m DAE, Uconte+dos do conhecimento e sensibiliaV, Qran,er comenta $ue e+iste um
movimento de Ue+pu!so do transcendenta!V, o $ua! define a natureza para um Uconte(do
N
(!timoV do conhecimento $ue recusa a ideia de um conte(do forma!. A fi!osofia
transcendenta! tentava introduzir um conte(do forma! no prprio nve! do sensve!. Se,undo
e!e, na primeira fi!osofia de 4usse!! Ddentro do chamado positivismo !,icoE 8 desi,nado
como sensibilia, a sa#er, uma e!a#orada teoria dos invariantes do dado sensve!. 0s sensibilia
esto presentes na forma de um esprito, pois no esto necessariamente presentes no mundo
rea! e sim no mundo virtua!. Oeste mundo virtua!, e+istem e!ementos sensveis $ue se
demonstram puros e particu!ares. 0 e!emento sensve! mostra-se como uma pura ess:ncia,
sem e+istir uma estrutura, com um conte(do o#6etivo e no re!acionado com $ua!$uer
refer:ncia ou percepo do su6eito. Oeste sentido, movimento empirista consiste em
caracterizar o e!emento sensve! essencia!mente como conte(do $ue conduz a sin,u!aridade
dos Uparticu!aresV. .m e+emp!o seria a !n,ua natura! $ue cont8m pa!avras para denotar a
sin,u!aridade particu!ar dos e!ementos sensveis, a essas particu!aridades denotam-se o#6etos
do conhecimento.
Oa parte de Uo a priori da !,icaV Qran,er discute a !,ica no empirismo #aseado em
2ertrand 4usse!! $ue defende ser o desenvo!vimento de um pensamento !,ico a condio
necess5ria para construir o#6etos. *ais o#6etos, os $uais podem descrever o mundo numa
!in,ua,em $ue apenas comporte pa!avras-o#6etos, e+primem si,nificados sistematizados em
uma or,anizao !,ica matem5tica. A !,ica 8 a teoria das formas do discurso e para 4usse!!
as formas do discurso so os !imites fi+ados pe!a m5+ima de 0ccam
J
, opera%es criadoras de
o#6etos. 3ssas opera%es !,icas ,eradoras so chamadas de c!asses, as $uais e+primem uma
construo !,ica da matem5tica $ue d5 corpo aos o#6etos ideais. .ma c!asse na sua ess:ncia
possui todas as re!a%es formais possveis de seus o#6etos ,erados com outros o#6etos de outra
c!asse. 3ssa re!ao entre as c!asses e os o#6etos oferecem o sentido !,ico natura! do mundo.
Poderemos ter ento, ao mesmo tempo, objetos emp#ricos, objetos formais e, fina!mente,
objetos conceitais. 3stes (!timos so mais ,era!mente formu!ados pe!a fi!osofia e en,!o#am
os o#6etos formais, os $uais podem ser conce#idos tam#8m como objetos lgicos e os
conceitos abstratos do pensar fi!osfico D4ef. Qran,er, Putnam e 4usse!!E. Duas vis%es
comp!ementares de o#6eto, o o#6eto-conceitua! e o#6eto tese, so apresentadas na
,nciclop-dia *lato
.
. 3ssas vis%es caminham so!idariamente na direo do pensar
J Qui!herme de 0ccam? A $ua! diz $ue no devemos co!ocar p!ura!idades $uando deve imperar a simp!icidade.
F Definio de o#6eto na 3ncic!op8dia P!ato da .niversidade de Standford -
http?IIp!ato.stanford.eduIentriesIo#6ectI
C=
computaciona! e vincu!am-se matricia!mente no pensar fi!osfico.
A#orda,ens so#re o So#6eto-conceitua!S e o So#6eto-teseS inc!uem tipicamente a articu!ao
de um conceito ,era! ou cate,oria de o#6eto Dunidade, coisa etc.E e uma tese $ue se refere a
sua ap!ica#i!idade universa!. 0 car5ter sem7ntico do o#6eto-tese emer,iria como conte(do de
refer:ncia ou de predicao e pode ser a#ordado por perspectivas de natre$a monista ou
plralista. 0ra, ponto de vista do monismo
/
, o p!ura! e$uiva!eria ao sin,u!ar $uando desi,na
um con6unto ou uma c!asse. *rata-se a$ui de um procedimento !,ico? uns podem su#sistir em
uma sin,u!aridade em funo de uma propriedade comum $ue os or,aniza dentro uma dada
c!asse `. De maneira diversa, o plralismo defende $ue, em#ora ha6a uma diferena
sem7ntico-forma! entre o sin,u!ar e o p!ura!, onto!o,icamente no h5 contradio entre e!es.
Oa o#ra *rincipia 0athematica
1
, 4usse!! a#andona rapidamente a possi#i!idade da teoria do
monismo !,ico $ue discutira no comeo do s8cu!o, defendendo ento a opo p!ura!ista Da
$ua! 8 mais compatve! com o atomismo !,icoE e, assim considerando $ue a c!asse difere do
todo composto de seus termos, dado o fato !,ico de $ue o todo se constitui em uma c!asse
$ue tem mais de um termo. Assim como 4usse!! DCNHGE, 2oo!os DCNGHE, mais recentemente,
defende a perspectiva p!ura!ista a $ua!, do ponto de vista sem7ntico, apresenta um maior
poder e+p!anatrio e, do ponto de vista onto!,ico, apresenta-se como sendo mais econ_mica
do $ue a perspectiva monista.
K 4efer:ncia ao pensamento do fi!sofo in,!:s 2ertrand 4usse!!, na sua primeira fase !,ica, at8 CN=J, muitas
vezes associado a sua tese !o,icista do atomismo !,ico, na $ua! tra#a!ha o monismo !,ico como uma forma
de superao do psico!o,ismo. 0 atomismo !,ico no 8 uma esp8cie de monismo DspinozianoE. Se,undo o
pensamento russe!!iano, principa!mente em An2lise da mente, e+iste uma su#st7ncia indeterminada, nem
fsica nem menta!, $ue tem, entretanto, propriedades fsicas e mentais. Muando 4usse!! pensou estas $uest%es
e!e considerou $ue a mente e a mat8ria no so esp8cies (!timas de entidades, mas constru%es !,icas de um
#ase metafisicamente neutra. De acordo com a ;1/1L1L40S
Dhttp?IIpt.9iAi#ooAs.or,I9iAiI&i!osofiaWdaWmente?WMonismoE )ames defendeu sua posio em S3oes
"onsciosness ,xist4S DCN=HE -- pu#!icado em 3ssa"s in 4adica! 3mpiricism, Oe9 ZorA and London?CNC< --@
4usse!! tentou, em 5he Anal6sis of 0ind DCN<CE -- London and Oe9 ZorA? 4out!ed,e,CNNH -- uma
reformu!ao do monismo neutro.E 0 monismo !,ico 8 aparentado ao atomismo !,ico em 4usse!! e, a partir
de um determinado momento se op%em. 4usse!! toma conhecimento da teoria do monismo !,ico a partir de
2rad!e". Ao fina! das contas, 4usse!! opta pe!a posio de $ue o mundo se constitui em uma rea!idade
fra,ment5ria. A !,ica no pode, desta forma, deduzir a rea!idade a partir de premissas formais. A posio
adotada pe!o !o,icista 8 a de $ue devemos renunciar a uma tentativa de conhecer a unidade do universo como
uma estrutura na organica. A posio fina! de 4usse! ser5 p!ura!ista, ainda $ue mantenha a ideia de uma tese
!o,icista no $ue diz respeito aos fundamentos da matem5tica.
G 0s *0, *rincipia 0atematic#stica, a!8m das edi%es tradicionais em pape!, como por e+emp!o, a edio de
aJF, denominada *rincipia matematic#stica to 78., "ambridge 0athematical librar6, 9:::, encontra-se
inte,ra!mente disponve!, na 1nternet, em sua edio ori,ina!, no endereo a se,uir?
DLo!ume 1E http?IIname.umd!.umich.eduIAA*><=C.===C.==C
DLo!ume 11E http?IIname.umd!.umich.eduIAA*><=C.===<.==C
DLo!ume 111E http?IIname.umd!.umich.eduIAA*><=C.===>.==C
CC
3ntretanto, mesmo a perspectiva p!ura!ista, a $ua! conse,ue !idar #em com a am#i,uidade do
objeto)tese Drefer:ncia dos nomes como e+c!usivamente singlar ou singlar e plralE,
se,undo a 3ncic!op8dia *lato, fa!ha em considerar as caractersticas sem7nticas de certa
c!asse de su#stantivos no cont5veis cu6a refer:ncia se restrin,e ao co!etivo ou p!ura!,
diferenciando-se, portanto, da$ue!es su#stantivos $ue podem se referir ao sin,u!ar ou ao
p!ura!. 3+emp!os de nomes $ue s remetem ao co!etivo so? gado, manada, matilha e
alcateia. 3+emp!os de nomes $ue podem ser usados para se referir ao sin,u!ar ou ao co!etivo
so como? 2rvore, planeta, cachorro e lobo. .m contraponto re!acionado a$ui 8 da
inte!i,:ncia co!etiva proposta pe!os mecanismos de #uscas e+istentes na 1nternet com 8 o caso
do Qoo,!e $ue no a um consenso particu!ar da informao mostrando casos particu!ares por
re!ev7ncia.
3m#ora se6a p!ausve! dizer So co-de-caa tem o!hosS \proposio Si? ;inglar], o mesmo
no pode ser dito de S*oda mati!ha tem o!hosS \proposio P!? *lral]. ontrariamente, tanto
a proposio Sa 5rvore tem fo!hasS \proposio Si? ;inglar], #em como a proposio Stoda
5rvore tem fo!hasS \proposio P!? *lral] sos enunciados p!ausveis
N
. A c!asse matilha, neste
caso, se constituiria em uma classe mal formada para atender ao crit8rio de espe!har uma
re!ao recproca entre o sin,u!ar e o universa! a $ua! a c!asse pretende. De acordo com o $ue
nos ensina a !,ica, deveramos ser capazes de escrever <5odo lobo tem olhos= >A?, ao inv8s
de tentar escrever <5oda a matilha tem olhos= >B?. A e+presso !,ica <5odo= indica, por sua
vez, a situao na $ua! sempre ser5 ap!icada uma dada propriedade ou funo a todo e
@al@er membro encontr2vel da classe. A mati!ha, por sua vez, no se constitui numa c!asse
prim5ria, mas em um a,rupamento de se,unda ordem? seu conceito tende a apresentar com
individua!idade o $ue, na rea!idade, se constitui em um a,re,ado vari5ve! de indivduos. 0ra a
situao apresentada, na $ua! pretendemos escrever <toda a matilha tem olhos=, nos conduz a
um pro#!ema, dado $ue no 8 a mesma coisa, do ponto de vista !,ico-sem7ntico dizer? >A?
5odo lobo... e >B? A matilha. 3n$uanto $ue no caso \A] rea!izamos uma refer:ncia a
$uantificao possve! por meio do Utodo e @al@er mV $ue possuem a propriedade de <ter
olhos=, no caso \2], no h5 $uantificao a!,uma presente. Oesse sentido, $uando pudermos
ap!icar a $uantificao a esta c!asse, teramos de dizer U5oda a matilha tem olhosV. A$ui se
trata da $uesto das dificu!dades sem7ntico-!,icas em uma e+presso so#re ou acerca de
N A$ui pretendemos chamar a ateno com as com#ina%es \proposio Si? ;inglar] e \proposio P!? *lral]
para proposi%es $ue, por sua vez, indicam indivduos e co!etivos, tendo em mente a diferena onto!,ica
entre Algm e 5odo Ae @al@erB.
C<
objetos, e!ementos $ue sero referidos na a#orda,em de Lei#niz, de 4usse!!, de arnap e
Monta,ue mais adiante e, a $ue incide nos tra#a!hos de Ma6AiY, os $uais adentram nas
ap!ica%es onto!,icas para a construo de uma 9e#-sem7ntica.
omo 65 referido, ta! discusso aponta para um pro#!ema e+istente, tanto no domnio da
!in,ua,em natura!, #em como nas portas de uma a#orda,em !,ico-fi!osfica de nosso
pro#!ema. A considerao desse pro#!ema ser5 tratado por meio de uma apresentao da
discusso dos aspectos n#vocos e e@#vocos presentes na !in,ua,em, rea!izada por Lei#niz
antes de 4usse!!.
Lei#niz apresenta sua concepo de !in,ua,em, dentro dos Covos ensaios sobre o
entendimento hmano no !ivro As palavras o a lingagem em geral, um di5!o,o or,anizado
entre dois inter!ocutores? &i!a!eto e *efi!o. om este tra#a!ho, o fi!sofo ar,umenta $ue as
pa!avras Sservem para representar, e at8 para e+p!icar as ideiasS DLei#niz, CNKHE e $ue sua
ori,em deve-se ' fa!a $ue 8 a facu!dade $ue possi#i!ita aos homens intera,irem na sociedade.
Assim, poder-se-ia inda,ar so#re a razo da prioridade da fa!a. Muitos ar,umentos poderiam
ser e!encados a favor de!a, entre e!es, a $uesto do tra#a!ho e da economia. omo face sonora
da !in,ua,em, a fa!a, como aponta Lei#niz Sserve tam#8m ao homem para raciocinar por si
mesmo, se6a pe!o fato de $ue as pa!avras !he permitem !em#rar-se dos pensamentos a#stratos,
se6a pe!a uti!idade $ue encontramos, ao raciocinar, em servir-nos de caracteres e pensamentos
surdosS DLei#niz, CNKH?CFGE.
1ntroduzidas as $uest%es re!ativas ' re!ao entre !in,ua,em e comunicao e !in,ua,em e
pensamento, Lei#niz passa a discutir, a conceituao dos Stermos ,eraisS, tpico $ue nesta
dissertao reveste-se de muita import7ncia, pois imp!ica em re!ao entre o#6etos. Pensando-
se nas re!a%es entre os termos $ue podem ser a,rupados, em razo de simi!itude, em torno de
um termo com espectro mais a#ran,ente, imp!ica-se a $uesto da e+tenso da ap!icao dos
termos.
.m termo de e+tenso ,era! pode contemp!ar variados conte(dos re!acionados aos termos por
e!e a#arcados. 3ntre os termos por e!e a#arcados, um pode-se apresentar como prototpico.
Por e+emp!o, SfrutasS 8 um termo de e+tenso a#ran,ente ao $ua! est5 !i,ado uma s8rie de
outros termos de menor e+tenso entre e!es, S#ananaS, SmaS, Samei+aS e SuvaS. 3ntre e!es,
no conte+to #rasi!eiro, o termo S#ananaS poderia ser um candidato a SprototpicoS. 0ra,
C>
a#ordar o uso das pa!avras e+i,e a contemp!ao das re!a%es $ue se esta#e!ecem entre forma
e conte(do. 3ssas re!a%es t:m sido o#6eto de discusso fi!osfica e !in,ustica por muitos
s8cu!os. P!ato 65 havia discutido essa $uesto.
Lei#niz a#orda a din7mica da atri#uio dos sentidos 's formas. Oessa din7mica uma forma
uti!izada para e+pressar certos conte(dos estende-se a outros por raz%es de natureza,
simi!aridade, conver,:ncia, pro+imidade etc.
A definio das pa!avras do ponto de vista da !,ica, aparecem atre!adas as no%es de ,:nero
e diferena. 3ntretanto, como ar,umenta Lei#niz, Sa ,enera!idade consiste na seme!hana das
coisas sin,u!ares entre si e esta seme!hana constitui uma rea!idadeS. Oesse sentido, importa
considerar as seme!hanas na ess:ncia dos ,:neros e das esp8cies e o fato de $ue a ess:ncia da
coisa 8 (nica, mas pode haver diver,:ncia $uanto ' ess:ncia. 0 $ue de!imita cada esp8cie 8 a
sua ess:ncia, !o,o cada o#6eto tam#8m tem uma ess:ncia prpria. 3stamos no centro da teoria
!ei#niziana das M_nadas, o n(c!eo centra! da chamada "haracteristica Dniversalis. Lei#niz
constri uma teoria para a criao de uma "haracteristica Dniversalis, na $ua! os conceitos
simp!es podem construir conceitos mais complexos $ue formam a #ase da "haracteristica
Dniversalis, um sistema de sm#o!os !,icos para a conduo do pensamento puro ou perfeito.
3sses conceitos esto amarrados 's representa%es si,no-visuais e, como tais, e+pressariam
um con6unto do a!fa#eto do puro pensamento humano, compondo assim, uma #ase para a
!n,ua cientfica pretendida, a chamada linga sive characteristica. *a! pro6eto centra!iza-se
no $ue Lei#niz chamou de uma 0athesis Dniversalis, do ,re,o anti,o mathema, ideia forma!
$ue est5 na #ase dos conceitos de n(mero, razo num8rica e matem5tica.
A ideia de uma 0athesis Dniversalis pretendida por Lei#niz nos mostra $ue a re!ao
e+istente entre as coisas $ue so representadas so ,eradoras de si,nos universais, os $uais
podem ser ca!cu!ados e definidos de forma perfeita e e+ata, ou se6a, isentas de $ua!$uer
procedimento e$uvoco e $ue se destinam a encontrar um conceito $ue pode ser ca!cu!ado
sem erros, presentes nas !n,uas e seus modos de raciocnio.
3m seu tempo D4usse!!, CNN<E
C=
, Lei#niz no rece#eu o cr8dito pe!os seus desenvo!vimentos
formais, muito menos a repercusso $ue suas ideias mereciam. 3!as tero de esperar $uase
duzentos anos para encontrar eco nos tra#a!hos de !,ica, fi!osofia da !in,ua,em e, mais
C= 4usse!!, 2. DCNN<E. 5he *hilosoph6 of Eeibni$. 4out!ed,e. 1S2O-C=? =HCJ=G<NF`. 1S2O-C>? NKG-
=HCJ=G<NFN.
CH
recentemente, nas ci:ncias da computao. Assim, o primeiro ,rande autor $ue vem a
reconhecer o tra#a!ho do pensamento !,ico de Lei#niz ser5 &re,e, a partir de CGKN, $uando
pu#!ica sua "onceito)grafia
CC
, herdeira !,ica da "haracteristica Dniversalis. 3m
continuidade ao pensamento de &re,e, temos os tra#a!hos de 4usse!!, principa!mente na sua
primeira fase, dentro da $ua! aponta o parado+o da teoria dos con6untos na pu#!icao de seu
famoso te+to On denoting. .ma #usca de preciso e e+atido conceitua! !,icas para os
termos e e+press%es conceituais, ta! como apresentado por Lei#niz e continuado em seu
desenvo!vimento por &re,e e 4usse!!, os o#6etos de tra#a!ho sistem5tico pe!a esco!a do
positivismo !,ico e, principa!mente por 4udo!ph arnap. 0 tra#a!ho de arnap, como
consideraremos adiante, ser5 retomado por Monta,ue e, fina!mente, mais recentemente e
ap!icado 's !,icas formais das ci:ncias da computao, por autores $ue pensam a 9e#-
sem7ntica, como por e+emp!o, Ma6AiY. Discutiremos, a se,uir, a!,uns pontos importantes do
positivismo !,ico de arnap $ue incidem so#re as perspectivas !,icas da 9e#-sem7ntica,
para depois a#ordarmos a an5!ise de Monta,ue e sua ap!icao nas ci:ncias da computao
por parte de Ma6AiY.
1.* A contribuio do positi+ismo l$gico para a organi#ao de
crit,rios metodol$gicos do tratamento de objetos
*ositivismo lgico e o empirismo lgico desi,nam uma ,ama de discuss%es desenvo!vidas ao
!on,o do s8cu!o `` e, compreendem a$ui, principa!mente a corrente de pensamento
desi,nada como moderno empirismo. 4essa!ta-se, a$ui, a no homo,eneidade das ref!e+%es
conduzidas pe!os fi!sofos, arnap, 4usse!! e ;itt,enstein, dentro dessa corrente. Oa presente
pes$uisa de mestrado iremos associar o conceito de onto!o,ia com os tra#a!hos do positivismo
!,ico especia!mente a!,uns pontos de vista apresentados por arnap DCNG=E e discutidos pe!o
!,ico 4ichard Monta,ue DCNKHE $ue so incorporados nas discuss%es de boran Ma6AiY
C<
,
CC &re,e, Q. DCGKNE. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen 3en'ens.
Ba!!e a. S. Ler tam#8m a 3dio dos pensadores, PeirceI&re,e, Pensadores DCNKHE. So Pau!o. A#ri! cu!tura!,
na $ua! temos te+tos como Os fndamentos da aritm-tica e ;obre a jstifica%o cient#fica de ma conceito)
grafia.
C< 3m Uintenciona! semantics for &3F data structuresV pu#!icado no AM 1nternationa! onference Proceedin,
Series@ Lo!ume <NN - Proceedin,s of the <==G internationa! s"mposium on Data#ase en,ineerin, [
app!ications ta#!e of contents - oim#ra, Portu,a! - P5,inas FN-KK - <==G
CJ
dentro da perspectiva !,ica &0L
C>
e estrutura! &3F
CH
.
A an5!ise !,ica da !in,ua,em ocupa para os empiristas modernos um primeiro p!ano. Oeste
sentido temos dois caminhos. Se por um !ado, o ;itt,enstein das InvestigaGes filosficas e
seus se,uidores se dedicam em #oa parte a an5!ise e va!orizao da !in,ua,em cotidiana, por
outro !ado teremos arnap e sua esco!a Do "#rclo de HienaE, enfatizando o a#andono das
!in,ua,ens naturais, em virtude de suas imperfei%es !,icas, su#stituindo-as por sistemas
!in,usticos artificiais, construdos se,uindo-se re,ras e+tremamente precisas. 1nicia!mente,
apresentaremos a!,uns pontos de vista do empirismo !,ico, para posteriormente nos
dedicarmos ' !eitura e interpretao $ue Monta,ue rea!iza a respeito das teses empiristas de
arnap
CJ
.
0s mem#ros do rcu!o de Liena desenvo!veram uma atitude ri,orosamente cientfica no $ue
diz respeito aos pro#!emas tratados. 3ntretanto, ta! atitude no acarretou o sur,imento de uma
doutrina fi!osfica unificada. 0 pressuposto dentro do ,rupo #aseava-se no fato de $ue se
rea!izava um tra#a!ho con6unto de muitos pes$uisadores - no a!icerado em crenas comuns
indemonstr5veis, mas sim #aseado no incentivo e crtica m(tuos como um crit8rio empirista
do sentido e da verificao de verdade. Oo campo da matem5tica, por e+emp!o, ta!
C> 0 conceito de &0L D&irst 0rder Lo,icE, no portu,u:s desi,nado como !,ica de primeira ordem est5
associado historicamente aos !,icos &re,ue, Pierce e Peano, $ue no perodo $ue vai de CGKN a CGGN,
e!a#oraram independentemente uns dos outros uma notao suficientemente ade$uada para a sim#o!izao de
todos os raciocnios dedutivos. Ainda $ue este tema se6a de uma fascinao ,i,antesca e, re!acione um
percurso histrico $ue atravessa os tra#a!hos de Qcde!, *urin, e Lon Oeumann, desem#ocando na
formu!ao do computador e suas !in,ua,ens operacionais, est5 a!8m da presente investi,ao de mestrado.
.ma refer:ncia ao temo encontra-se na 1nternet no se,uinte endereo? http?II9iAipedia.or,I9iAiI&irst-
orderW!o,icI
CH 0 conceito de &3F D4esource Description &rame9orAE desi,na uma !in,ua,em assertiva destinada a
descrever e e+pressar proposi%es precisas e voca#u!5rios formais a fim de suportar uma re!ao entre
su6eito, predicado e o#6eto. Oo caso da ;or!d ;ide ;e#, destina-se a fornecer uma #ase para a fundao de
uma !in,ua,em assertiva avanada das informa%es mostradas durante a nave,ao. A estrutura de um
ar$uivo &3F possui formato te+tua! formado por de!imitadores de conte+tos onde cada um representa uma
re!ao, por e+emp!o, o marcador drdf?4D&e marca o incio de um ar$uivo do tipo &3F e o marcador
dIrdf?4D&e marca o fim do ar$uivo &3F, 65 o um su#-marcador drdf?Descriptione marca o incio de uma
descrio so#re um o#6eto. .ma refer:ncia ao termo encontra-se na 1nternet no se,uinte endereo?
http?IIen.9iAipedia.or,I9iAiI4esourceWDescriptionW&rame9orA
CJ 0 fato de $ue ,rande parte dos fi!sofos $ue se dedicaram inicia!mente a uma an5!ise !,ica da !in,ua,em,
serem empiristas, ,erou em a!,uns crcu!os de pensamento, a fa!sa impresso de $ue a uti!izao de m8todos
ana!tico-!in,usticos corresponderia necessariamente a uma atitude antimetafsica. Se por um !ado, o
desenvo!vimento da !,ica contempor7nea, p_de servir como um ,rande impu!so para a an5!ise mais ri,orosa
da !in,ua,em e a construo de sistemas sim#!icos artificiais, por outro !ado, isto no si,nifica $ue todos os
pensadores da !in,ua,em pudessem ser desi,nados como empiristas. 8 o caso de muito de!es, como por
e+emp!o, &re,e, 4usse!! em #oa parte e, Qcde! comp!etamente, terem sua motivao fi!osfica fundamenta!
centrada no p!atonismo? UA ci:ncia 8 em si ci:ncia do conhecimento ou do o#6eto a dar-!he, se6a $ua! forV
DP!ato, 4ep(#!ica, H>G A..E. 0cupar-se da !in,ua,em no si,nifica necessariamente uma identidade natura!
com o empirismo !,ico.
CF
procedimento se d5 por meio do contro!e na ap!icao dos processos !,icos.
A sada #uscada pe!o empirismo, para a $uesto da re!ao dos crit8rios !,icos formais, $ue
tra#a!ham os va!ores de verdade das proposi%es ir5 tentar se estruturar por meio da pes$uisa
de crit8rios intersu#6etivos de va!idade dos ar,umentos, de modo $ue possa se e+trair da
ar,umentao, dentro da comunidade, uma esp8cie de consenso ,era! para as asser%es
fundamentais
CF
. Oeste aspecto o fi!sofo empirista professa um tipo especia! de concepo
fundamenta! de fi!osofia $ue, certamente se encontra referida na produo cientfica de
conhecimento. 3sta concepo fundamenta! se d5 em dois pontos #5sicos?
3m primeiro !u,ar, os conceitos uti!izados pe!a ci:ncia, sa!vo os da !,ica forma! e da
matem5tica, devem sem e+ceo serem todos empricos. 1sto imp!ica $ue esses conceitos
se6am capazes de deciso com #ase na o#servao emprica. 0s conceitos $ue no cumprirem
estes pressupostos devem ser considerados como pseudo)conceitos e, conse$uentemente
e!iminados.
3m se,undo !u,ar, todas as proposi%es ou sentenas $ue foram cientificamente admissveis
devem ser passveis de uma 6ustificao. *a! 6ustificao se daria de modo puramente !,ico
ou, confirm5veis pe!a e+peri:ncia. As sentenas $ue no preenchessem nenhum desses
re$uisitos, sendo 6ustific5veis apenas pe!a compreenso do fi!sofo, seriam consideradas
como no-cientficas e, e!iminadas. *a! 8 o caso de muitas das proposi%es da tradio
fi!osfica, de /ant a Busser!. Por e+emp!o, em /ant D<==GE, o pro#!ema fundamenta! da
determinao, ou demarcao para os !imites do conhecimento cientfico
CK
.
arnap e seus se,uidores esforaram-se no pro,rama de su#stituio da !in,ua,em cotidiana
por sistemas !in,usticos forma!izados. A investi,ao cientfica somente poderia tirar partido
de uma certa lingagem simblica. As investi,a%es !,ico-!in,usticas !evaram a uma
sistem5tica confirmao da crena empirista em suas concep%es fi!osficas fundamentais. A
!in,ua,em, conce#ida en$uanto estrutura forma!-sim#!ica, 8 tomada como mode!o de
CF A$ui temos um pro#!ema fundamenta! $ue escapa da presente pes$uisa, em primeiro !u,ar e!e incide so#re os
crit8rios ar,umentativos, dentro de uma comunidade cientfica de comunicao, a fim da e+trao da
va!idade e verdade das preposi%es. 3m se,undo !u,ar, a $uesto do pro#!ema da induo e do parado+o da
an5!ise das diferentes particu!ares. 3ste pro#!ema 65 havia sido co!ocado tanto como por David Bume, no sua
investi,ao do entendimento humano e por Lei#niz pe!o novos ensaios pe!o entendimento humano.
CK omo, por e+emp!o, aparece na sua "r#tica da ra$%o pra e nos seus Pro!e,_menos a toda metaf#sica
ftra. De um ponto de vista !,ico, am#os os tra#a!hos, de /ant e arnap, por vias e m8todos diversos,
discutem a $uesto da preciso e !imites do conhecimento DcientficoE.
CK
an5!ise. 8 o caso de $uando se trata de #uscar a fundamentao da matem5tica. *rata-se ento
de uma fundamentao !,ico-!in,ustica da matem5tica e, no o seu contr5rio. f, neste
sentido, $ue o pro6eto de arnap e muitos outros, apresentam a proposta de su#stituio da
!in,ua,em natura! Dno processo de pes$uisa e comunicao destaE pe!a !,ica da ci:ncia,
formu!ada em uma !in,ua,em forma!. Oe!a s contam os enunciados, sentenas e seus
si,nificados, os ne+os definitrios entre e+press%es, re!a%es entre sentenas, sua
comprovao, verifica#i!idade etc. Oesse sentido, vemos $ue pes$uisas como estas ho6e
possuem uma forte inf!u:ncia dentro do escopo terico da 9e#-sem7ntica, como veremos
adiante na re!ao $ue ser5 mostrada entre o tra#a!ho de Monta,ue e sua apropriao por parte
de Ma6AiY. Ser5 com este intuito $ue iremos apresentar a,ora os crit8rios metodo!,icos de
arnap
CG
indicando a!,umas de suas incid:ncias atuais nos procedimentos da ;e#.
Para arnap, a e+p!icao de conceitos consiste numa diferena esta#e!ecida entre explicatm
e explicandm. 0 explicandm consiste numa e+presso $uando carente de preciso, ou de
si,nificao va,a. Oeste caso as e+p!ica%es so va,as e am#,uas, mesmo $ue retiradas da
!in,ua,em usua!
CN
. Por outro !ado, o explicatm corresponderia a uma e+presso e+ata $ue
tem por fina!idade su#stituir o explicandm. 0 tra#a!ho proposto por arnap consiste no $ue
e!e desi,na como esclarecimento de conceitos, o $ua! imp!ica em situar um dado conceito
correspondente em m sistema de conceitos cient#ficos exatos, de ta! forma $ue seu empre,o
DusoE se6a su#ordinado a re,ras precisas. Podemos o#servar a$ui uma esp8cie de
desdo#ramento efetivo da proposta !ei#niziana, apresentada anteriormente, $uase duzentos
anos aps este. Assim, para o fi!sofo uma e+p!icao de conceitos no 8 verdadeira nem
fa!sa. 0 mais fundamenta! a$ui so suas re,ras de operao e contro!e. ontudo, e!a pode ser
mais ou menos ade$uada. Para sa#ermos acerca da ade$uao das e+p!ica%es de conceitos,
e!e e!a#orou $uatro crit8rios fundamentais, a sa#er?
CG 0 pensamento de arnap foi amp!amente discutido e tra#a!hado durante o S8cu!o `` e, continua sendo uma
importante refer:ncia conceitua!, tanto para a fi!osofia da !,ica e da !in,ua,em, #em como para as ci:ncias
da computao interessadas nos pro#!emas da 9e#-sem7ntica. 0 seu te+to ,mpirismo, semIntica e ontologia
pode ser encontrado nos *ensadores( arnap, 4.. DCNG=E ,mpirismo, semIntica e ontologia, em M. Sch!icAI
4. arnap, "oletInea de textos@ So Pau!o, A#ri!. Do!. 0s PensadoresE. A!8m disso ve6a, por e+emp!o, DCE
0!iveira, A. . D<==NE A crtica de arnap aos enunciados da Metafsica, Paran5. 4evista .rut5,ua. in?
http?IIperiodicos.uem.#rIo6sIinde+.phpI.ruta,uaIartic!eIvie9&i!eIHNCJIH=>K@ D<E Santos. Luiz Benri$ue
Lopes DCNK>E. ;emIntica e ontologia. *e+to da apresentao da mesa-redonda de *eoria da L,ica e da
Lin,ua,em, na ``L 4eunio da S2P, in?
http?II999.ff!ch.usp.#rIdfIsiteIpu#!icacoesIdiscursoIpdfID=HWSemanticaWeWonto!o,ia.pdf, e outros.
CN Para o fi!sofo do empirismo !,ico, recairiam so# o domnio do explicandm, os conceitos da metafsica
ocidenta!, va,os e imprecisos.
CG
DCE o Uexplicatm= deve ser semelhante ao Uexplicandm=, so# pena de no se
poder fa!ar de uma e+p!icao deste explicandmJ
D<E a explica%o deve cumprir a e+i,:ncia de exatid%o. 1sto se deve a sua insero
num sistema de conceitosJ
D>E a explica%o deve ter fecndidade, o seja, o conceito em $uesto deve
permitir a e!a#orao de tantas !eis $uanto possveis@
DHE a explica%o deve primar pe!a simplicidade, tanto no $ue diz respeito na
definio do conceito, #em como nas !eis por e!e formu!adas.
Muando arnap or,aniza os $uatro crit8rios fundamentais, e!e est5 uti!izando um
procedimento !,ico forma! $ue usa o e+pediente das meta!in,ua,ens. 0 explicatm,
6untamente com sua correspondente explica%o se constituem em estruturas de
meta!in,ua,em, conce#idas a partir da fi!osofia da !in,ua,em e da lgica.
Ser5 nesse sentido $ue os conceitos produzidos podem ser a,rupados em tr:s cate,orias
distintas?
AAB classificadores( $ue distri#uem as coisas em duas ou mais c!asses Dp!antas, animais etc.E 8
o caso dos procedimentos encontrados nos engines de #usca na ;e#. Muando o usu5rio insere
uma e+presso UmaV no campo de entrada do engine de #usca e so!icita uma pes$uisa, o
motor percorre a #ase de dados or,anizando uma !ista das recorr:ncias da e+presso so!icitada
e, devo!vendo-a ao usu5rio como s8rie de refer:ncias a p5,inas ;e#, isso se d5 por causa dos
crit8rios de #uscas da engine de #usca. 0utro tipo de c!assificadores so os tags uti!izados por
usu5rios para c!assificarem conte(dos da 1nternet como 8 feito no caso das redes sociais de
favoritos como o 3elicios
KL
.
ABB comparativos( tam#8m chamados de topolgicos, or,anizam os conceitos se,undo
re!a%es? p. e+. mais dro ) menos droJ dentro ) fora etc. Muando ` 8 comprado com Z uma
re,ra de comparao est5 em operao, resu!tando em uma re!ao comparativa entre ` e Z.
.m e+emp!o desse tipo de concatenao 8 UmaV e UverdeV, na $ua! temos como resu!tante a
interseco de o#6etos resu!tantes do encontro de dois con6untos do universo do discurso?
todos os o#6etos $ue pertencem ao mesmo tempo ao con6unto UmaV e o con6unto UverdeV.
1sso si,nifica, do ponto de vista da !,ica sim#!ica, se6a em 2oo!e ou em 4usse!!, uma
<= 0 site do De!icious !oca!izado no endereo e!etr_nico? http?IIde!icious.comI 8 um servio de cadastramento
de p5,inas de favoritos onde os usu5rios podem criar tags, chamados de marcadores, para descrever cada
uma das p5,inas armazenada no sistema. 0 servio 8 inteiramente ,ratuito e disponve! para a comunidade da
1nternet.
CN
resu!tante de interseco entre ` e Z, considerando a$ui, $ue tanto pode e+istir o con6unto das
coisas ou e+press%es $ue so ma e o con6unto das coisas das coisas $ue so verde. Oa
&i,ura C, a se,uir, podemos visua!izar o resu!tado de uma simp!es #usca, fundada nos
mist8rios da !,ica?
A"B Mantitativos ou m-tricos( por e+emp!o, recorr:ncia, comprimento, temperatra e, dentro
de ap!ica%es sociais, #ndice poplacional, explos%o demogr2fica. .m e+emp!o mais pr+imo
da ci:ncia da computao $ue pode ser dado, consistem na m8trica de #usca uti!izado na ;e#
por meio do a!,oritmo *age&an' do Qoo,!e. 3ste a!,oritmo 8 uti!izado com a fina!idade de
determinar a re!ev7ncia ou import7ncia de uma p5,ina, dentro de um conte+to de UnV p5,ina
capturada a partir de uma e+presso, conce#ida na perspectiva de uma c!assificao, pensada
pe!a e$uipe de desenvo!vimento, como Udemocr5ticaV. 3sta concepo Udemocr5ticaV se va!e
de uma vasta refer:ncia de estruturas de lin's como indicador do va!or Dde si,nific7nciaE de
uma p5,ina individua!. 0 *age&an' do Qoo,!e interpreta um lin' da p5,ina ` para a p5,ina
Z como um voto da p5,ina ` para a p5,ina Z. A!8m do vo!ume de votos $ue uma p5,ina
rece#e o a!,oritmo ana!isa tam#8m uma p5,ina $ue rece#e um voto, ou se6a, a cada vez $ue
um internauta entra em uma p5,ina. 0s votos dados por p5,inas SimportantesS pesam mais e
Figra 9( *2gina gerada a partir da bsca Nma% verdeN
<=
a6udam a tornar outras p5,inas i,ua!mente SimportantesS, ou se6a, as p5,inas $ue so referidas
D$ue possuem lin's direcionadoresE pe!a p5,ina UimportanteV
<C
;ites importantes, de a!ta $ua!idade rece#em uma nota de ava!iao maior, $ue o Qoo,!e
,rava a cada #usca feita. Oatura!mente, uma p5,ina importante no si,nifica nada se no
com#inar com a sua #usca. Assim, o Qoo,!e com#ina os resu!tados de a!ta $ua!idade com a
#usca rea!izada para $ue o resu!tado se6a o mais re!evante possve!. A!8m disso, o Qoo,!e
pes$uisa $uantas vezes a pa!avra procurada aparece nas p5,inas e e+amina todo o aspecto
de!as De conte(do das p5,inas !i,adas a e!aE para determinar o me!hor resu!tado para a sua
#usca
<<
.
Oeste sentido 8 importante considerar $ue esta or,anizao conceitua! visa a uma ordena%o
dos conceitos, $ue tem por fim desco#rir os fundamentais, reduzindo todos os demais a e!es.
Dentro de!a temos a ordenao dos enunciados $ue consiste em esta#e!ecer os ennciados
fndamentais, chamados de princ#pios b2sicos, ou axiomas, sendo $ue todos os demais
enunciados devem ser o#tidos por meio dos primeiros. 3+i,:ncias metodo!,icas e cate,orias
conceituais so instrumentos metodo!,icos a fim de ,arantir a cientificidade no tra#a!ho com
os conceitos.
0ra, aprendemos com a !,ica fi!osfica, a partir de &re,e, principa!mente com a sua o#ra
Ostifica%o
KP
, de $ue toda a formu!ao de $ua!$uer conhecimento cientfico envo!ve o uso
de conceitos. Por8m, nesta perspectiva, os conceitos no passam de instrumentos para $ue
possamos o#ter a$ui!o $ue rea!mente interessa ao investi,ador? proposiGes ou ennciados
verdadeiros. 0 sentido dos conceitos ou das proposi%es 8 o#tido por um m8todo de
verificao, denominado m-todo de verifica%o das proposiGes Dno caso, 8 o m8todo pensado
no positivismo lgico, pelo Wittgenstein do *ractatus e pe!o "arnap de ,mpirismo, semIntica
e ontologiaE. Oo $ue diz respeito ao e+emp!o citado anteriormente do *age&an', o
procedimento empirista do sentido encontra-se i,ua!mente em operao. 0 *age&an' rea!iza,
por meio de seus a!,oritmos a verificao de uma proposio U#5sicaU, dentro de uma co!eo
no definida de o#6etos Dp5,inas na ;e#E, $ue possui um !u,ar insaturado, dentro do $ua!
dever5 ser inserido, pe!o usu5rio da #usca, a express%o $ue dese6a verificar a sua e+ist:ncia ou
<C Site com a discrio do sistema *age &an'? http?II999.,oo,!e.com.#rIint!Ipt-24I9h"Wuse.htm!
<< Lide os !inAs e+p!icativos na ;e#? http?II999.,oo,!e.com.#rIint!Ipt-24I9h"Wuse.htm! e
http?II999.,eocities.comIzoranWitI, tanto da e$uipe do Qoo,!e, como de boran.
<> ;obre a jstifica%o cient#fica de ma conceito)grafia, vide #i#!io,rafia.
<C
no, #em como a sua recorr:ncia $ua!itativo-$uantitativa dentro do con6unto possve! na ;e#.
Oa tota!idade vari5ve!, no definida a priori do con6unto possve! de documentos ,erais, o
*age&an' testa em cada um de!es a e+ist:ncia ou no da e+presso #uscada. Da deriva uma
resu!tante $uantificada de documento para cada o#6eto pes$uisado(
x x ?encontrada a presena da e+presso@
x x? no encontrada a presena da e+presso
<H
@
*a! como prop%e ;itt,enstein, a significa%o de ma proposi%o - o m-todo de sa
verifica%o. 0ra, 8 esse o caso do procedimento rea!izado pe!o *age&an' acima. A
si,nificao !evantada a partir da Ue+pressoV introduzida inicia!mente, nada mais 8 do $ue o
retorno de sua recorr:ncia e re!ev7ncia. Oo !u,ar insaturado, ou se6a, no U+V da formu!a
$u7ntica 8 co!ocada a express%o, $ue a cada teste retorna um e!emento e+istente Dx xE ou
outro e!emento Dx xE, desi,nando a no-e+ist:ncia. A partir do con6unto das
possi#i!idade !evantadas forma!mente se e+trai a re!ev7ncia da e+presso pes$uisada em sua
recorr:ncia. Do ponto de vista processua! da operao !,ica, cada teste encerra em si mesmo
uma so#redeterminao mu!ti-referencia!, $ue comp%e na re!ev7ncia. 1sto si,nifica $ue,
dentro de uma simp!es pes$uisa dom8stica, operadores !,icos esto em funcionamento
or,anizando onto!o,ias sem7nticas. Co $ue diz respeito 's proposi%es Dou e+press%esE, os
testes consistem em !evantar em $ue condi%es e!as podem ser verdadeiras ou fa!sas P a sa#er,
a sua recorr:ncia ou no, acrescidas do #_nus da re!ev7ncia Da$ui devendo ser entendido
como a si,nific7nciaE. *rata-se a$ui de um processo primordia!mente lgico de verificao,
$ue pode ser desi,nado pe!o programa lgico de verifica%o, ou de verifica%o lgica. 8 so#
este ponto de vista !,ico $ue a possi#i!idade de verificao deve ser compreendida.
Se recorremos ao #uscador S9oo,!e
<J
, verificamos $ue este 8 diferente dos demais #uscadores
e+istentes na ;e#, pois a sua fina!idade 8 rea!izar #uscas em ar$uivos do tipo 9e#-sem7nticos
$ue foram escritos no formato &3F. Atalmente o sistema possi as segintes
fncionalidades(
CE #usca de onto!o,ias@
<E #usca por uma inst7ncia de dados@
>E #usca de termos, por e+emp!o, .4Ls $ue esto definidas na estrutura &3FJ
HE prover meta-dados de documentos 9e#-sem7nticos, o $ue permite a nave,ao nos
<H Le,endas? ( existeJ x( objetoJ ? imp!icao@ ( fn%oJ : ne,ao.
<J P5,ina do site do S9oo,!e? http?IIs9oo,!e.um#c.eduI
<<
documentos@
JE possui um ar$uivo com diferentes vers%es dos documentos 9e#-sem7nticos.
Ao pes$uisar a pa!avra metalangage Dmeta!in,ua,emE encontramos o se,uinte resu!tado,
apresentado na &i,ura <?
1remos ana!isar o se,undo item da !ista do resu!tado da #usca, mostrada acima, $ue 8 a
se,uinte?
http?II9hat.csc.vi!!anova.eduIt9iAiIpu#IMainI0;L&i!e1nformationIApri!-=K.rdf-+m!.o9!
Oo ar$uivo, o termo meta!an,ua,e 8 descrito da se,uinte forma?
<owl:Class rdf:ID="Metalanguage">
<rdfs:subClassOf rdf:resource="#Language_Classifications"/>
<rdfs:subClassOf>
<owl:Class rdf:about="#Topics"/>
</rdfs:subClassOf>
</owl:Class>
Ana!isando a estrutura de retorno, podemos rea!izar a se,uintes constata%es? DCE o termo
UMeta!an,ua,e= 8 apresentado como uma su#c!asse $ue pertence a outra maior,
SgLan,ua,eW"lassificationsS $ue, por sua vez, est5 contida em uma c!asse maior denominada
<Q5opics=. <Q5opics= - ma sbclasse do termo "lass da !in,ua,em OWE, conforme
Figra K( *2gina gerada pelo ;Roogle a partir do termo NmetalangageN
<>
i!ustramos no ,r5fico dos con6untos a se,uir?
Do ponto de vista da presente investi,ao, isto si,nifica $ue uma m5$uina pode aproveitar
essa ordem sem7ntica estruturada para capturar informa%es de interao do usu5rio e ,erir
um #anco sem7ntico das nave,a%es e pode a6udar a indicar possveis re!a%es entre caminhos
percorridos $ue resu!tam em o#6etos-vetores de sentidos 4D&s Dvetores sem7nticos de
re!a%es entre stios e o#6etos da nave,aoE. 3ssa or,anizao da informao ocorre tam#8m
nas redes de informao co!etiva no caso da c!assificao por marcadores ou tags. Oo caso
dos marcadores, o Umeta!an,ua,eV pode rece#er os marcadores "lass, 5opics e
Eangage"lassification.
Do ponto de vista da presente investi,ao, isto si,nifica $ue um a,ente computaciona! pode
ser pro,ramado, de forma ta! $ue capture, durante sua nave,ao na ;e# a ordem sem7ntica
estruturada acima. 0ra, ao mesmo tempo, e!e apreende informa%es da interao do usu5rio,
construindo assim um histrico da mesma, c!assificado em um #anco de dados sem7ntico
D&3FE. 3ste #anco de dados tem a fina!idade de permitir a identificao dos diversos pontos
Figra P( &epresenta%o gr2fica da estrtra hier2r@ica de ma estrtra &3F do termo
NmetalangageN
<H
discretos do percurso nave,ado, resu!tando em uma or,anizao hier5r$uica de o#6etos
vetores portadores de sentidos &3F, os $uais esta#e!ecem re!a%es entre os diversos stios e
seus o#6etos de nave,ao com #ase em procedimentos simp!es, os $uais derivam de duas
fontes da !,ica e da teoria do conhecimento. Do ponto de vista do conhecimento, $ua!$uer
o#6eto, dado ou fen_meno, necessita ser identificado. 1sso si,nifica $ue a uti!izao de uma
sinta+e e sem7ntica computaciona! devero estar em ao, tanto no a,ente, como nos
e!ementos pes$uisados. A identificao 8 o primeiro de,rau da pir7mide do conceito. Por
outro !ado, do ponto de vista !,ico, determinadas re!a%es so construdas entre os o#6etos da
nave,ao, de modo a estrutur5-!os em uma rede de re!a%es. *ais re!a%es, $ue dependem
dos atri#utos co,nitivos dos o#6etos. 3!as podem, a priori ocorrer, a toda e $ua!$uer #usca ou
mesmo ser construdas a posteriori, num processo de interao de a,ente e usu5rio, ainda $ue
no nosso e+emp!o tenha ocorrido de modo a priori em vista da so!icitao de #usca da
e+presso UMeta!an,ua,eV. Oo se trata a$ui, de modo a!,um, de um processo de tomadas de
decis%es. *rata-se sim, de outra parte da construo e or,anizao de uma #ase semitico-
sem7ntica a!tamente estruturada, a $ua! 8 tornada disponve! para a uti!izao em processos
computacionais $ue se6a capaz, so#re certo aspecto ou capacidade, de retornar com
informao ao usu5rio, permitindo com isso a sua amp!iao de seu campo sem7ntico de
forma e+tenciona! e possi#i!itando a recuperao de novas informa%es.
1.- Abordagem intencional
'.
/e0tencional
'1
na integrao de
dados 2eb)sem3nticos
Ma6AiY
<G
tra#a!ha acerca da re!ev7ncia do mode!o intenciona! da inte,rao de dados em &3F.
Oa se$u:ncia de nossa a#orda,em no presente tpico, iremos nos dedicar a resenhar este
importante tra#a!ho para a ci:ncia da computao, se,uindo os passos da ar,umentao do
pes$uisador.
<F 0 termo intenciona! vem do termo intension do 1n,!:s, uma definio se encontra na 9iAipedia em
http?IIen.9iAipedia.or,I9iAiI1ntension
<K 0 termo e+tenciona! vem do termo e+tensiona! do 1n,!:s, uma definio se encontra na 9iAipedia em
http?IIen.9iAipedia.or,I9iAiI3+tensiona!Wconte+t
<G Oeste arti,o o autor disserta so#re a import7ncia de uma a#orda,em intenciona! da re!ao dos dados &3F
em uma !in,ua,em de primeira ordem FOE em uma rede Peer to *eer.
;ite( Ahttp(SSRRR.geocities.comS$oranTitSI,,,Intens*K*T&3F.pdfB
<J
Oeste sentido, se,undo 0aj'iU, o sistema &3F possui uma !in,ua,em natura! e+tenciva e
muito interessante $ue possi#i!ita, por e+emp!o, a reificao
<N
, e esta 8 a principa! razo pe!a
$ua! se tenta inte,rar um sistema &3F com uma su#-!in,ua,em de primeira ordem &0L. A
dificu!dade em prover o fato de $ue todas as su#-!in,ua,ens &0L tem o mode!o terico no
$ua! os indivduos so interpretados como a!,uns e!ementos de um domnio, as c!asses so
interpretadas como su#con6untos do domnio e as propriedades do sistema &3F so
interpretadas como re!a%es #in5rias do domnio. A sem7ntica do sistema &3F, por outro !ado,
se,ue um mode!o terico no padro, no $ua! os indivduos, c!asses e propriedades &3F so
e!ementos do domnio. .ma propriedade &3F possui e!ementos $ue so uma e+tenso da
re!ao #in5ria do domnio e a c!asse possui e+tens%es $ue so apenas definidas
imp!icitamente no &3F $ue define propriedade.
Para o !,ico computaciona!, tais propriedades podem ser inseridas diretamente em uma
!,ica de ordem superior DB0LE como uma teoria e+tenciona! de i,ua!dade (nica. De acordo
com a sem7ntica B0L, uma e$uao entre sm#o!os de predicados Dou funoE 8 verdadeira,
se e somente se, estes sm#o!os so interpretados em uma mesma re!ao Dde e+tensoE. 3m
a!,uns casos especficos e+iste a uti!izao de predicados como vari5veis
>=
. 1nfe!izmente, a
e+tenso da i,ua!dade dos predicados e fun%es no so decidveis e incidem no problema da
nifica%o. 3m uma se,unda ordem terica Dpor e+emp!o, a se,unda ordem do c5!cu!o de
predicados e a simp!es teoria de tipos de hurch so entendidas no 7m#ito do campo da
sem7nticaE de i,ua!dade e+tenciona! e nem mesmo semi-decidve!.
A!8m disso, o sistema &3F pode ser uma ref!e+o so#re a sua prpria sinta+e? esta ref!e+o 8
definida em termos de c!asses e propriedades de &3F $ue so interpretadas da mesma forma
$ue as outras c!asses e propriedades na estrutura &3F, e cu6os si,nificados podem ser
e+tens%es dos padr%es encontrados na !n,ua. 1sto vio!a muitos princpios da teoria dos
con6untos, ou se6a, os con6untos mem#ros devem ser muito #em definidos, por isso $ue
<N 4eificao? http?IIes.9iAipedia.or,I9iAiI4eificacih>h2>nWDmar+ismoE. 3ste termo est5 associado a teoria
mar+ista da transformao em rea!-materia! uma ideia a#strata, ao pensamento moderno $uando mostra $ue
determinadas mercadorias assumem um !u,ar a#so!uto. A!,o a#strato pode se tornar materia!. .m ponto de
vista pr+imo aparece $uando Peirce diz $ue ma ideia, mais cedo o mais tarde tende a se tornar real.
Se,undo a!,uns pontos de vista esta atitude rea!ista se constitui em uma reificao do produzido pe!a mente.
De acordo com outros, no se pode tirar esta conc!uso. 0 interessante a ser retido a$ui 8 $ue, dentro do
7m#ito computaciona! Ddi,ita!E, tratamos com entidades e o#6etos a#stratos $ue possuem, em dado momento
e so# certo aspecto, uma manifestao rea!. A viso $ue a te!a do monitor mostra, o retorno dos dados da
pes$uisa Do &3FE etc., su,erem a!,o assim.
>= Lem#rando a$ui $ue em !,ica, o conceito de vari2vel, si,nifica um lgar insatrado, a sa#er, $ue pode ser
ocupado ou preenchido por DCE o#6etos@ D<E propriedades, D>E fun%es, DHE vari5veis Dcomo ,rupos deE etc.
<F
$uando tentamos inte,rar a!,uns sistemas &3F De+tencionaisE com uma su#-!in,ua,em &0L
somos remetidos ao parado+o de 4usse!. 3+iste uma tentativa de em#utir uma !,ica direta
em &3F usando a reificao? nesta a#orda,em e!es simp!esmente assumem $ue &3F eIou
outras cone+%es correspondem 's c!asses.
Mas $uando se uti!iza uma reificao, compromete-se a descrever uma frmu!a em vez de
e+press5-!a diretamente. A descrio de uma frmu!a no 8 asse,urada pe!a prpria frmu!a.
&oram rea!izadas a!,umas tentativas de inserir, dentro do sistema &3F um componente
&Lo,ic
>C
ou em seu su#componente BiLo, DEgica de ;egnda OrdemE, o $ua! e+i#e uma
sinta+e de segnda ordem com uma teoria de i,ua!dade intenciona!. 3ntretanto ta! a#orda,em
no 8 considerada eficaz e tende a comp!icar desnecessariamente a e!e,ante sinta+e ori,ina!
do &3F, a $ua! se constitui na razo de seu sucesso, amp!o e in$uestion5ve!.
A tentativa de inserir o &3F no A;B!IF A!noRledge Interchange FormatB 8 an5!o,a ao ViEog,
pois apresenta uma sinta+e de se,unda ordem com teoria de i,ua!dade intenciona!. *a!
tentativa no se demonstrou satisfatria, pois apresenta-se incomp!eta e no d5 conta da
reificao e dos recursos an_nimos, mas apresenta sem7ntica simi!ar ao &3F;. Oo mode!o
terico de &3F, adota-se a sem7ntica intenciona!, de ta! modo $ue a !in,ua,em FOE
e+tenciona! padro 8 re6eitada como candidata de uma estrutura de encai+amento !,ico de
forma mais amp!a como citado por P. Ba"es
><
.
0aj'iU mostra @e em se trabalho ma contina%o formal dessa abordagem de semIntica
do sistema &3F, visto $ue &3F no 8 !,ica de primeira ordem, nem em sinta+e nem em
sem7ntica. 2aseado nas refer:ncias das !in,ua,ens ViEog
>>
e sistema /1&
>H
$ue so
!in,ua,ens do tipo FOE intenciona!, uti!iza-se uma representao para os conectivos !,icos
>C http?IIen.9iAipedia.or,I9iAiI&-!o,ic. Lide tam#8m? http?II999.cs.um#c.eduIKKCIpapersIf!o,ic.pdf
>< P.Ba"es co!oca em U&3F Mode! theor",V *.4eport ;>, http?I999.9>.or,I*4Irdf-mt, a se,uinte
citao? U0 uso de mapeamento de e+tenso e+p!cita tam#8m torna possve! $ue duas propriedades
tenham e+atamente os mesmos va!ores, ou $ue duas c!asses contenham as mesmas inst7ncias e ainda
assim constituem entidades distintas. 1sso si,nifica $ue as c!asses de 4D3S podem ser consideradas
mais do $ue simp!es con6untos@ e!as podem ser consideradas como Sc!assifica%esS ou SconceitosS $ue
t:m uma noo de identidade ro#usta $ue vai a!8m de uma correspond:ncia e+tenciona! simp!es. 3ssa
propriedade terica do mode!o tem conse$u:ncias re!evantes para !in,ua,ens mais e+pressivas
construdas na hierar$uia a!ta do &3F, tais como o 0;L, as $uais so capazes de e+pressar identidade
entre propriedades e c!asses diretamente. 3ssa natureza intenciona! das c!asses e propriedades pode ser
vista como uma propriedade (ti! da !in,ua,em descritiva.V
>> .m e+emp!o da !in,ua,em BiLo, 8 a !in,ua,em &L04A - http?IIf!ora.sourcefor,e.netI
>H /1& - /no9!ed,e 1nterchan,e &ormat
<K
&3F $ue so usados na formao das suas trip!as de predicados, vari5veis e $uantificadores.
2asicamente 8 evitado a sinta+e de se,unda ordem transformando predicados em termos
intencionais usando a operao de a#strao diW ie. onse$uentemente, de forma mais
,en8rica, uma trip!a &3F d r,p,v e, onde r,v so as c!asses, 8 traduzida para a frmu!a
pDdiD+Eie
+
,diD"Eie
"
E com o sm#o!o de predicado #in5rio p nesta FOE intenciona!. A estrutura
de reificao dd r,p,v e,pC,vC e 8 traduzida par a !,ica de atom pDdipDr,vEie,vCE.
A a#orda,em de 0aj'iU consiste, tal como tentamos introdtoriamente esboar acima, em
formlar ma estrtra lgica organi$ada para gerenciar os repositrios &3F em ma rede
ponto)a)ponto ApKpB, de modo @e cmpram as exigncias do formalismo lgico. ,m tais
redes, as proposiGes estariam organi$adas de tal modo @e a classifica%o Apor meio dos
operadores lgicosB e sa bsca possam ser reali$adas solidariamente. A partir do trabalho
de 0aj'ic, para a cria%o de ma lingagem intencional, segimos pes@isando as ra#$es de
sas primeira motivaGes, as @ais s%o dadas pela rela%o de 0ontage com a Reb)
semIntica e a sa leitra anal#tica dos crit-rios de "arnap.
1.4 Fundamentos l$gicos da 2eb)sem3ntica em Montague
0 pensamento de 4ichard 0ontage - abordado de forma sistem2tica por ;tegmWller A9://B
em sa obra A filosofia "ontemporInea. De acordo com ;tegmWller o trabalho, de 0ontage,
inacabado, pois falece antes de concl#)lo, constiti em m dos mais brilhantes esforos de
formali$a%o lgica do s-clo vinte. A partir de "arnap, 0ontage chega a estrtrar m
n+mero de teses formais, enmeradas por ;tegmWller em n+mero de tre$e e @e s%o
denominadas como princ#pios. 3entre otras coisas, o trabalho de 0ontage atravessa os
hori$ontes da gram2tica, da ling#stica, da semIntica, da lgica, e da ontologia, incidindo
sas repercssGes, sobre as l#ngas natrais bem como sobre as l#ngas artificiais.
Oo caso da presente investi,ao, o $ue nos interessa so#remaneira, 8 a possi#i!idade de
re!acionarmos as estruturas onto!,icas e sem7nticas $ue so possveis depreender a partir de
uma !eitura interpretativa do tra#a!ho de 0aj'iU @e se apoia na obre de 0ontage o @al,
por sua vez, remete ao pensamento do "arnap.
De um modo ,era!, o interesse a partir de uma concepo de !in,ua,em artificia!, dentro da
$ua! se inc!uem as !in,ua,ens 9e#-sem7nticas, a#ran,e uma perspectiva $ue compreende um
<G
teoria da sinta+e ,era!, uma teoria sem7ntica da teoria dos si,nificados, uma teoria dos o#6etos
sem7nticos Ddentro da $ua! tra#a!ha-se a teoria das refer:ncias o#6etivasE #em como uma
teoria da interpretao. ;tegmWller aponta @e esta perspectiva foi alcanada por 0ontage,
o @al objetivo a constr%o de m sistema de lgica intencional A;tegmWller, 9://(PPB.
Se,undo o fi!sofo, 0ontage alcano o primeiro grande salto de ma abordagem lgico)
semIntica do estdo das l#ngas Aseja elas @ais foremB. ,n@anto @e os lgicos
tradicionais n%o tinham a conscincia de operarem com lingagens artificiais, o @e deixava
fora do se campo de an2lise ma grande parte da totalidade das relaGes lgicas, o esforo
de 0ontage reali$a a passagem entre o abismo existente entre a lgica e a gram2tica. -
nesse sentido @e vem o conceito de 0ontage de gram2tica geral, dentro da @al n%o fa$ a
m#nima diferencia se estamos operando dentro de ma l#nga natral o dentro de ma
l#nga artificial. 3e acordo com ;tegmWller A9://(P8B 0ontage nnca sa met2foras( o
lgico)semIntico pretende demonstrar @e poderia desenvolver tanto a sintaxe e a
semIntica de lingagens formais e de lingagens natrais dentro de ma mesma teoria
lgico)matem2tica. Apresentamos smariamente, a segir, os princ#pios lgicos fndamentais
de 0ontage, organi$ados por ;tegmWller e, na medida do poss#vel, os relacionaremos com o
objeto da presente investiga%o. Os princ#pios s%o indicados pela letra 0 @e se refere a
0ontage(
M C ?? Princpio !,ico fundamenta!? $ua!$uer an5!ise de !n,uas naturais deve !evar
em conta os conhecimentos e as diferencia%es possi#i!itadas pe!a moderna
!,ica. Oo deve ne,!i,enciar conhecimentos ad$uiridos nem apa,ar as
diferencia%es.
0 princpio M C diz $ue podemos forma!izar $ua!$uer an5!ise de uma !n,ua natura! e ad$uirir
um potencia! e+pressivo e pr5tico de a!to nve! com este e+pediente. Por outro !ado, isso
si,nifica i,ua!mente, dentro dos propsitos de 0ontage, @e venhamos a desenvolver ma f-
cega e ma inten%o secreta de sbstitirmos a lingagem natral por formas artificiais de
lingagens. ,ssa aspira%o levo atores como Eeibni$ e 3escartes, entre otros, e Frege,
em certa medida a bscarem sperar as insficincias das l#ngas natrais. ,ntretanto, a
formali$a%o advinda dos procedimentos lgico)formais pode ser +til para ajdar a
clarificar in+meros aspectos @e permaneciam obscros dentro da abordagem de @al@er
lingagem natura!. 3m muitos casos, uma a#orda,em de an5!ise !,ica da !in,ua,em natura!
pode ser co!a#orativa com in(meras intenciona!idades investi,ativas. 3sse 8 o caso da
pes$uisa $ue uti!iza 4D&js e $ue opera co!a#orativamente com os interesses co,nitivos
<N
su#6etivos do usu5rio. Assim, na 9e#-sem7ntica 8 uti!izada uma !in,ua,em artificia! na $ua!
se pretende-se construir refer:ncias com a !in,ua,em natura! $ue o#edea a uma !,ica. Oeste
caso, a !in,ua,em do 4D& 8 artificia! por$ue uti!iza marcadores e e!a 8 natura! por$ue
c!assifica as informa%es de forma !,ica. Ao pes$uisar so#re o termo Udese6oV, o usu5rio
!ana mo de procedimentos fundados em a!,oritmos $ue forma!izam suas intens%es de #usca.
A$ui entra o princpio da autonomia sint5tica e sem7ntica de 0ontage 0 9P, apresentado
mais adiante.
M < ?? Princpio fundamenta! sem7ntico ou princpio da sem7ntica de *arsAi?
aE *oda sem7ntica de uma !n,ua natura! deve ter como o#6etivo principa! a
definio do conceito de sentena verdadeira em uma !n,ua natura!.
#E om #ase no conceito de sentena verdadeira, deve ser introduzido o
conceito de deduo D!,icaE, re!ativa ' !n,ua em $uesto.
A interpretao de ;tegmWller pode ser resmidamente colocada do seginte modo( ma
semIntica @e n%o seja capa$ de formlar condiGes de verdade n%o se constiti em ma
semIntica. C%o se trata de forar a l#nga natral e mold2)la em m sistema lgico ideal,
mas antes oferecer ma contribi%o expressiva para a sa compreens%o. 3o mesmo modo
@e - poss#vel reconhecer e extrair os modos pelos @ais ns somos capa$es de di$er @e ma
sentena ordin2ria - verdadeira Aem l#nga natralB, tamb-m podemos associar esses
procedimentos de aferi%o do verdadeiro com os modos lgicos de ded%o da verdade em
lgica. Isso significa @e tanto na formali$a%o como na lingagem natral podemos operar
com regras de deriva%o sint2ticas @e possam implicaGes semInticas. 3esse modo, ma
proposi%o o sentena em l#nga natral @e for verificada como falsa, dever2 igalmente,
dentro de ma an2lise lgica Aded%oB, ser assinalada com valor $ero. A@i podemos
correlacionar com casos em @e ma estrtra de lingagem &3F - objeto de pes@isa, pois
os mesmo princ#pios dever%o estar em fncionamento. Os lgicos antigos di$iam @e do
verdadeiro somente o verdadeiro poderia ser extra#do, o @e coloca o sentido da
formali$a%o da pes@isa ontolgica, n%o somente a servio dos interesses hmanos, mas
igalmente a servio da verdade.
M > ?? Mua!$uer forma!izao de sentenas naturais deve ser feita de acordo com
re,ras precisas. 0 ,rau de preciso do sistema de re,ras deve ser o de um
a!,oritmo.
3m primeiro !u,ar, esse princpio !i#erta o processo de forma!izao de e+press%es das
possi#i!idades da interveni:ncia da intuio. 3!e prepara a e+presso at_mica $ue ser5
>=
postu!ada em M H, en$uanto as re,ras precisas de tratamento das sentenas naturais
funcionam de forma a+iom5tica. Do ponto de vista de uma ap!icao em 9e#-sem7ntica, isso
poderia si,nificar $ue todas as entradas do usu5rio so tomadas como dados e no como
conte(do e, as entradas de dados do usu5rio devem ser convertidas em dados re!acionais.
Oeste caso, a e+tenso de um conceito eIou termo se constitui em uma estrutura !,ico-
pra,m5tica $ue a#ran,e o con6unto das re!a%es efetivas e seus dados.
M H ?? 0s !e+emas da !n,ua natura! a ser ana!isada devem ser tratados, no 7m#ito
da norma!izao, como 5tomos.
3ste princpio nos ensina $ue as transforma%es uti!izadas em todas as etapas da norma!izao
$ue conduzem de uma e+presso a outra, so definidas como sendo !o,icamente e$uiva!entes,
por8m no id:nticas. Dentro de uma #usca, por e+emp!o, com o !e+ema UmaV, a entrada do
usu5rio funciona como uma esp8cie de ndice 's avessas. 3!e rece#e o retorno da pes$uisa
contendo todos a$ue!es e!ementos Dcomp!e+os ou simp!esE $ue foram c!assificados como
re!acionados com a e+presso. 0s (!timos so e$uiva!entes aos primeiros dado o fato $ue co-
pertencem a um mesmo campo de propriedade. Parte da so!uo $ue co!a#ora nesse pro#!ema
8 dado pe!os princpios do c5!cu!o !,ico esta#e!ecidos por 2oo!e, em seu !ivro An5!ise
matem5tica da !,ica DCG>GE. Ao mesmo tempo, os o#6etos individuais do con6unto retornado
so diferentes entre si? o $ue os !i,a 8 o conceito de re!ao.
M J ?? 0 processo de norma!izao deve respeitar as cate,orias sint5ticas
manifestas da !n,ua natura!.
Oeste caso entram os operadores !,icos presentes na !in,ua natura! tais como UeV, UcomV,
UnoV etc. Ao mesmo tempo muitas das or,aniza%es de dados devo!vidos ao usu5rio
o#edecem uma norma!izao $ue tem por par7metro curva norma! de Qauss como 8
encontrado em a!,uns #uscadores na 1nternet como o Qoo,!e. Oo caso 8 recomendado $ue
se,uimos o princpio !ei#niziano da associao ine$uvoca de um e!emento Do#6eto P a$ui
o#6eto como e+pressoE a um con6unto de propriedades especfico, o $ue cumpriria um dos
propsitos de desam#i,uao da characteristica niversalis e do calcls raciocinator.
M F ?? B5 uma correspond:ncia unvoca reversve! entre um indivduo e o con6unto
dos atri#utos $ue se ap!icam e+atamente a este indivduo.
A ideia de reversi#i!idade a$ui si,nifica $ue o caminho inverso pode ser rea!izado, indo-se da
propriedade para o o#6eto.
>C
Dessa forma, a partir do definido intenciona!mente de toda co!eo das coisas $ue so verdes
che,amos a ima,em Do#6eto discretoE UmaV. om no e+emp!o citado, temos a possi#i!idade
da reversi#i!idade. 3ssa reversi#i!idade ocorre por$ue dentro de um escopo e+iste um atri#uto
verde $ue est5 contemp!ado em um dos possveis atri#utos de uma ma, portando 8 criado
um e!o ou caminho entre o !e+ema verde e ma, se o#servarmos a #usca resu!tante do
Qoo,!e podemos encontrar a partir de uma #usca de ima,ens do conceito UverdeV o conceito
UmaV e vice-versa 8 isso $ue 8 indicado em M F.
M K ?? Princpio da e+p!icitude sem7ntica? a sem7ntica de uma !n,ua Dnatura! ou
artificia!E 8 uma sem7ntica de interpretao, $ue associa, a cada e+presso
#em formada, uma entidade univocamente determinada, isto 8, uma
si,nificao ou uma denotao.
A$ui temos o princpio de Frege da referncia na @al ma express%o AconceitoB refere)se de
forma n#voca a ma entidade. As tradGes para o termo alem%o Bedetng, s%o, ao mesmo
tempo si,nificao, refer:ncia e denotao. *rata-se a$ui de um tipo especfico de
interpretao na $ua! ocorre uma !i,ao entre a e+presso e o o#6eto por e!a referido.
0ontage tili$a a express%o <significa%o=. 5rata)se de ma dpla particlari$a%o
Figra X( Bsca do conceito NverdeN a partir do conceito Nma%N na bsca de imagens do Yoogle
><
vincu!ante na $ua! conecta duas e+press%es ou uma e+presso e um o#6eto di,ita!. A partir da,
o sentido de um o#6eto ou e+presso se constitu no campo de!imitado de entes $ue recaem
so# domnio. Oo caso e!es desi,nam uma e+tenso. 0 princpio de Frege - herdeiro
leibni$iano da niversalidade.
M G ?? Princpio da funciona!idade sem7ntica? a si,nificao #em como a denotao
de cada e+presso comp!e+a A, #em formada, 8 uma determinada funo
unvoca das si,nifica%es, ou denota%es das e+press%es parciais, #em
formadas de A
4etomando M >, o princpio da funciona!idade sem7ntica indica $ue tanta denotao $uanto a
si,nificao esto re!acionadas a fun%es unvocas. 3!e nos diz $ue a interpretao de uma
e+presso comp!e+a pode ser uma funo unvoca da interpretao dos componentes da
e+presso.
M N ?? Princpio da dicotomia e+tenso-intenso? a cada e+presso deve
corresponder uma e+tenso Duma Urefer:ncia o#6etivaVE e uma intenso Dum
UsentidoVE. Am#as, tanto as e+tens%es como as inten%es, representam
possveis denota%es ou possveis desi,na%es de uma e+presso !in,ustica.
3ste princpio e+p!icita o M G. A partir de uma definio intenciona! Dtodos os estudantes da
P.-SPE podemos encontrar os caso ou definio e+tenciona!, a cada vez $ue identificarmos
um o#6eto $ue cumpra a funo esta#e!ecida na funo intenciona!. Muando tratamos de uma
e+presso do ponto de vista intenciona!, estamos de!imitando uma possi#i!idade determinada
da e+presso de e+tens%es da mesma. 8 por isso $ue os motores de #usca retornam sempre
con6untos finitos de e!ementos, com #ase no seu #anco de dados tota!mente finito.
M C= ?? Princpio das intens%es de "arnap( as intensGes devem ser concebidas
como fnGes determinantes de extens%o sobre mndos poss#veis.
3ste princpio e+p!ica o $ue 65 desenvo!vido em termos de #usca. .ma e+presso determina a
funo $ue or,aniza uma e+tenso de um mundo possve!, como no caso ma nos retorna
uma co!eo de e!ementos determinado.
M CC ?? Princpio da sem7ntica de conte+to? a sem7ntica deve ser construda de
modo a !evar em conta como as possveis desi,na%es Disto 8, as intens%es
de e+press%es !in,usticasE dependem de todos os conte+tos re!evantes.
Dentro de uma proposio os v5rios e!ementos at_micos constituintes, a!8m de comportarem
cada $ua! uma denotao sem7ntica, em seu con6unto se constituem em uma e+presso
>>
comp!e+a $ue por sua vez possu uma si,nificao $ue 8 denotada por um o#6eto ou por uma
co!eo. 0ontage trabalha o modelar exemplo de Frege, <a estrela vespertina=. A
express%o complexa designa o mesmo objeto em todos os mndos poss#veis.
M C< ?? Princpio da reduzi#i!idade a PLk? as frases da !n,ua natura! devem ser
traduzidas por frmu!as da !in,ua,em !,ica de destino, L
o
, reduzveis a
PLk.
Para toda e+presso de um usu5rio dever5 ser possve! a sua traduo em um a!,oritmo de
sistema de #usca e c!assificao a!,ortmicos $ue podero ser reduzidos a estruturas !,icas,
em suas re!a%es, evidenciadas em M J. 1sso permite no somente a captura de o#6etos a partir
de uma e+presso pe!o usu5rio, #em como a amp!iao dos o#6etos possveis a serem
capturados pe!os a,entes da 9e#-sem7ntica Dos $uais podem ser UensinadosV ou
Uenri$uecidosV com o a6uda do usu5rioE
M C> ?? Princpio da autonomia sint5tica e sem7ntica? as ,ram5ticas de !n,uas
possveis podem ser tratadas como sistemas sint5ticos e sem7nticos $ue
dizem respeito a sm#o!os, a comp!e+os de sm#o!os ,erados por meio de
re,ras e ' re!ao de am#os com aspectos do mundo rea! e de mundos
possveis.
A$ui temos a consumao da teoria do campo sem7ntico, ao modo de uma interpretao de
eco da semitica peirciana. A possi#i!idade da traduo intersemitica, a $ua! or,aniza o
universo na forma de si,nos ou sm#o!os prestam contas das permuta%es re!acionais entre os
sm#o!os unit5rios, o#6etos possveis pertencentes ao mundo rea! e ' construo dos mundos
possveis. Oos sistemas &3F tais permuta%es re!acionais podem ocorrer, visto $ue podemos
encontrar tais re!a%es desse conte+to.
1.. Aplicao do obtido na anlise de e0emplos modulares e
ac5ados recentes
Muito recentemente, considerando o primeiro semestre do ano de <==N, o#servamos $ue
a!,uns #uscadores comearam a se pautar pe!as $uest%es e protoco!os sem7nticos. .ma das
estrat8,ias metodo!,icas adotadas pe!os engines de #usca consistiu na insero ou introduo
de conceitos sem7nticos nas suas #uscas na fina!idade de a6udar o usu5rio num refinamento
me!hor e mais preciso. 0ra, se,uindo as proposi%es de 0ontage, m bscador como o
Zahoo, atalmente tili$a no se campo de bsca conceitos @e s%o frtos da an2lise da
>H
!in,ua,em natura! de forma a!,ortmica dos !e+emas inseridos no campo de #usca. 3ssa
situao so#resaem no !evantamento dos conceitos e e+press%es mais re!evantes $ue possuam
conte+tos sem7nticos pr+imos interessantes aos !e+emas di,itados pe!o usu5rio.
Para i!ustrar esta nossa o#servao apresentaremos um pe$ueno e+perimento $ue foi rea!izado
com o intuito de ao mesmo tempo mostrar o funcionamento do processo sem7ntico em um
#uscador, #em como test5-!o em suas fun%es e operaciona!idades !,icas. om o intuito de
or,anizar o e+perimento, o denominamos de Ue+perimento co!ar porce!anaV, sendo $ue e!e foi
rea!izado com o #uscador Zahoo, com a superviso direta de nosso orientador.
Oosso e+perimento, como 65 o#servado, foi !evado a ca#o com a e+presso Uco!ar porce!anaV
Dcu6a e+presso tem o sentido sem7ntico da a%o de colar m objeto de porcelanaE. 3!e foi
conduzido de ta! maneira a incorporarmos, passo-'-passo, um de cada vez, os caracteres
referentes ao !e+ema de #usca. Dessa forma, testamos as a!tera%es $ue se manifestavam nos
campos sem7nticos do engine, isto a cada vez $ue rea!izamos um refinamento em nosso
comportamento de usu5rio. umpre o#servar $ue, em termos de funcionamento, o engine
deve responder ao comportamento do usu5rio, sendo $ue monitoria Uem tempo rea!V, as
introdu%es rea!izadas pe!o tec!ado P nesse sentido 8 como se simu!asse o comportamento de
o#servao Dpor parte do engineE das a%es rea!izadas pe!o usu5rio Dsem $ue se6a necess5rio o
mesmo pressionar a tec!a U3nterVE. Oeste caso 8 importante !evarmos em conta $ue observar,
monitorar, classificar e fornecer um retorno so aspectos dese65veis no funcionamento !,ico-
computaciona! do engine de #uscas $ue pretende pautar-se por re,ras e funcionamentos
sem7nticos. As te!as o#tidas a partir da di,itao de cada um dos caracteres encontram-se
dispostas nas fi,uras numeradas de H a CN aparacem su,est%es $ue vo ao encontro da
intenciona!idade do su6eito.
Assim, !evando em conta os aspectos acima, verificamos $ue os $uatro primeiros caracteres
di,itados da pa!avra Uco!arV no resu!taram em nenhum conceito su,erido, mas somente
#uscas $ue possuem um ran'ing mais si,nificativo. Oeste caso, retornos mais si,nificativos
re!acionados com a!,um possve! ou mesmo prov5ve! estatisticamente associado a !etras do
a!fa#eto no se constitui, de modo a!,um, em um procedimento sem7ntico. Oo e+iste re!ao
de conte(dos ou ne+os !,icos, mas apenas incid:ncias pro#a#i!sticas. Oo caso, de todas as
pa!avras possveis do !8+ico $ue iniciam com a !etra UcV, retorna-se com as mais procuradas
estatisticamente. Oo se trata ainda de um procedimento !,ico-sem7ntico, mas de pura
>J
or,anizao estatstica. Se6a ento a primeira te!a de nosso e+perimento?
A di,itao da (nica !etra UcV a#re as possi#i!idades mais acessadas re,iona!mente e esse
comportamento do servidor 8 derivado do fato de $ue o computador $ue acessa o Zahoo
informa $ua! pas est5 confi,urado no sistema operaciona!. Oeste e+emp!o, o computador est5
!oca!izado no 2rasi!, portanto os resu!tados su,eridos na #usca esto focados aos temas mais
pes$uisados !oca!mente. 3sse comportamento focado do Zahoo remete ' proposio de MF de
0ontage @e explicita haver <ma correspondncia n#voca revers#vel entre m indiv#do e
o conjnto dos atribtos @e se aplicam exatamente a este indiv#do.= 0esmo assim, ele
denota ma acep%o ainda fraca em termos semInticos. 5rata)se de ma correspondncia
@e remete a ma organi$a%o estat#stica, ainda @e organi$ada regionalmente, o @e nos
coloca nos primrdios de ma escalada semIntica. A sita%o mda @ando introd$imos a
nossa segnda letra(
A adio de uma se,unda !etra UoV imediatamente, em Utempo rea!V, a!tera o panorama dos
retornos da pes$uisa e sempre a cada interao o servidor #usca novos !e+emas importantes
de su,esto para a #usca. 0 comportamento do Zahoo remete ' proposio MC de 0ontage
>F
sobre o princ#pio lgico fndamental e a 0P @e propGe @e <@al@er formali$a%o de
sentenas natrais deve ser feita de acordo com regras precisas.=
omo podemos o#servar nas modifica%es apresentadas pe!as te!as, a cada !etra di,itada pe!o
usu5rio o panorama das possi#i!idades da pes$uisa sofre uma co!a#orao e refinamento
interativamente com a intenciona!idade do su6eito oferecendo-!he su,est%es. f como se o
usu5rio empurrasse o motor de #uscas em uma determinada direo. Oeste caso, o
comportamento do usu5rio poderia funcionar como se desses indcios mnimos o engine de
#uscas, ta! como Scrates o faz ao 3scravo para demonstrar $ue e!e possui em si o
conhecimento da &i,ura. Mesmo assim, o retorno de su,est%es do engine continuam focadas
nos me!hores !e+emas re,ionais do su6eito.
A partir do momento $ue temos a formao de um !e+ema entram em operao as possveis
defini%es para esse !e+ema. 0 Zahoo retorna de seus #ancos de dados as defini%es pr+imas
mais re!evantes a esse !e+ema. Oo caso, mais re!evantes dentro do universo de sua e+peri:ncia
com usu5rios internet $ue previamente uti!izaram o sistema.
>K
Desse modo, aps comp!etada a primeira pa!avra o Zahoo entendeu $ue o !e+ema Uco!arV tem
um conte(do sem7ntico e passa a su,erir #uscas re!acionadas ao conceito Uco!arV como por
e+emp!o? Uco!arV e UpreosV, Uco!arV e U#i6uteriaV, Uco!arV e Uco!aresV, Uco!arV e U6oiasV e
outras no !istadas na ima,em a se,uir?
A entrada do ver#oIo#6eto apresenta diferentes possi#i!idades c!assificadas. omo o termo
Uco!arV o Zahoo pes$uisa na sua #ase de dados sem7ntica e e+i#e os conceitos re!acionados
$ue esto descritos para Uco!arV. Oeste caso podemos remeter a preposio MJ de 0ontage
@e nos di$ <o processo de normali$a%o deve respeitar as categorias sint2ticas manifestas
da l#nga natral.=
Oote $ue a partir de a,ora at8 a conc!uso o fim da di,itao da e+presso Uco!ar porce!anaV,
a co!una de conceitos relacionados no 8 a!terada.
Se,uindo, mesmo inserindo um caractere de espao, continuamos vendo $ue o servidor
continua tentando refinar e estruturar me!hor a su,esto de #usca e dos conceitos.
>G
A introduo de um incio de um novo !e+ema a#re uma possi#i!idade de #usca composta e,
em para!e!o, no servidor 8 iniciado um novo processo de c!assificao do novo !e+ema e
outras informa%es re!evantes so apresentadas.
A cada nova !etra o #anco de dados sem7nticos do servidor do Zahoo comea a #uscar as
me!hores intersec%es entre os possveis !e+emas $ue tenham Uco!arV e $ue comeam com
UpoV. Oo se sa#e como 8 imp!ementado o sistema de #uscas do Zahoo, mas uma forma de
imp!ementao possve! seria verificar numa estrutura de um ar$uivo &3F de Uco!arV $uais
novos !e+emas re!acionados comeam com UpoV.
Oa fi,ura acima se mantem o estado anterior e prosse,uimos na construo do !e+ema
>N
Uporce!anaV.
Oeste estado, o servidor fica com apenas um resu!tado e os conceitos re!acionados continuam
os mesmo. D5 a impresso $ue a engine do Zahoo de #uscas antecipa a minha inteno
sem7ntica. Oeste caso remete-se ' preposio MG de 0ontage @e postla @e o Uprincpio
da funciona!idade sem7ntica, a si,nificao #em como a denotao de cada e+presso
comp!e+a A, #em formada, 8 uma determinada funo unvoca das si,nifica%es, ou
denota%es das e+press%es parciais, #em formadas de AV.
Prosse,ue a construo do !e+ema Uporce!anaV e mais nada 8 retornado da #ase de dados do
servidor.
H=
Oa ima,em, no se apresentam modifica%es. ontinuando no mesmo estado anterior.
1dem
1#idem.
HC
&ina!mente foi comp!etado o !e+ema Uporce!anaV. onc!ui-se o processo e temos as op%es de
retorno do engine de #uscas.
Se se!ecionamos a #usca su,erida Uco!a para co!ar porce!anaV $ue 8 uma dica para o conceito
ori,ina! #uscado, temos conceitos re!acionados mais precisos?
om o a6uste do refinamento aceito pe!o usu5rio tem o servidor responde com novos
resu!tados de conceitos re!acionados, ou se6a, so pes$uisadas na #ase sem7ntica $uais
pa!avras apresentam uma operao de re!ev7ncia com o !e+ema mais comp!e+o Uco!a para
co!ar porce!anaV. Oeste caso, como houve o a6uste sem7ntico na #usca, podemos remeter '
preposio MCC de 0ontage @e di$ @e se refere ao <princ#pio da semIntica de contexto( a
semIntica deve ser constr#da de modo a levar em conta como as poss#veis designaGes Aisto
-, as intensGes de expressGes ling#sticasB dependem de todos os contextos relevantes.=
0#servando o e+perimento, podemos conc!uir $ue o #uscador do Zahoo imp!ementa muitos
dos conceitos postu!ados por Monta,ue e indicados por ns nos coment5rios so#re cada uma
das te!as $ue fizemos. Do ponto de vista do usu5rio, esse tipo de ferramenta pode
proporcionar, no futuro, $ue e!e capture esse conte(do 9e#-sem7ntico a ser su,erido e
inferido em outras #uscas. 0ra, se como o#servamos acima, esse procedimento inicia-se com
H<
uma a#orda,em estatstica e prosse,ue na direo da introduo de !e+emas por parte do
usu5rio, e!a cu!mina em processos $ue so pautados por re,ras !,ico-sem7nticas invisveis ao
usu5rio, tais como as re,ras MF, mostrando $ue 8 possve! estruturar uma correspond:ncia
unvoca reversve! entre um indivduo e o con6unto dos atri#utos $ue se ap!icam e+atamente a
este indivduo. Oeste caso, com o advento de MJ, o processo de norma!izao DcontinuadaE
deve De tende aE respeitar as cate,orias sint5ticas manifestas da !n,ua natura!? o engine de
#uscar mimetiza o comportamento em um meio de !n,ua natura! ento. Ainda, de acordo com
a MG, encontramos o princpio da funciona!idade sem7ntica, dentro do $ua! o processo do
engine de #uscas mostra $ue a si,nificao, #em como a denotao de cada e+presso
comp!e+a A, #em formada, 8 uma determinada funo unvoca das si,nifica%es, ou
denota%es das e+press%es parciais, #em formadas de A. &ina!mente, temos o retorno !,ico
fina! com a constatao de MCC no $ua! 8 mostrada a va!idao do princpio da sem7ntica de
conte+to? a sem7ntica deve ser construda de modo a !evar em conta como as possveis
desi,na%es Disto 8, as intens%es de e+press%es !in,XsticasE dependem de todos os conte+tos
re!evantes. om tais passos e retornos do engine, podemos identificar, o#servar e mostrar $ue
o engine e+perimentado encontra-se construdo a partir dos pressupostos !,ico-sem7nticos
ap!icados ' computao, rea!izando um cic!o !,ico-conceitua! de m(tuo fechamento e
interao? de arnap a Monta,ue para che,armos em Ma6AiY.
Figra 8( 0odelo do avi%o de ;aint),xp-r6
H>
1.1 6bjetos na computao
0#6etos computacionais so an5!o,os aos
o#6etos reais ou co,nitivos no $ue diz
respeito ao estado e ao comportamento.
.m o#6eto possui os estados mapeados
em atri#utos e comportamentos por meio
de m8todos. 0s atri#utos so va!ores
inerentes aos o#6etos $ue na maioria das
vezes, so encapsu!ados por m8todos. 0s
m8todos so os promotores da transio
de um estado para outro de um o#6eto e
tam#8m esta#e!ecem uma comunicao
com outros m8todos de outros o#6etos.
0ra, aprendemos $ue todo o#6eto
computaciona! 8 fruto de uma forma $ue
se chama c!asse. A c!asse 8 a f5#rica de
o#6eto na computao, pois como na
fi!osofia, remete-a uma c!assificao. .m
e+emp!o de um o#6eto UavioV, como o
Cieport uti!izado por Antoine Saint-
3+up8r"
>J
, mapeado nos mo!des dos o#6etos computacionais ficaria da se,uinte forma?
Atri#utos?
3stado operante ^ pousado
O(mero de asas ^ H
O(mero de motores ^ C
O(mero de h8!ices ^ C
O(mero de assentos ^ C
O(mero de portas ^ <
O(mero de trens de pousos ^ <
M8todos?
Loar ^ Muda o estado do atri#uto Uestado operanteV de pousado para o estado
voando.
>J Disponve! em? http?II999.aviastar.or,I
HH
1nc!uir assento de deficiente fsico ^ 8 a!terado o n(mero de assentos comuns e
aumentado o n(mero de outros assentos.
Muitas vezes os o#6etos na computao so descritos e recheados com informa%es $ue
possuem uma !,ica conhecida e anterior e no como um o#6eto 9e#-sem7ntico $ue s passa
a e+istir se a interao e uma re!ao !,ica entre outros o#6etos for esta#e!ecida.
.ma outra perspectiva e, ao mesmo tempo comp!ementar, nos 8 dada por Oo#!e D<==FE, em
seu arti,o U3+tended A#stract? *o9ards a Semiotics of 0#6ect) and Aspect)0riented Desi,nV,
mostrando $ue os artefatos definidos na pro,ramao orientada a o#6etoDrepresentao !,ica-
,r5fica D.MLE, codificao orientada a o#6etosD)ALAE e scripts
P.
de a!to nve! de
pro,ramao como o Aspect)E tem como representao um con6unto de si,nos, pois em um
pro,rama o representImen 8 o con6unto de o#6etos e c!asses do pro,rama@ o referente 8 o
con6unto de entidades no mundo rea! com o $ua! o mode!o do pro,rama computaciona! faz
>F ;cript, um termo emprestado do in,!:s, 8 cdi,o escrito em uma !in,ua,em de pro,ramao e sua
interpretao se d5 em tempo de e+ecuo.
Figra .( &epresenta%o da
classe avi%o na lingagem
D0E
Figra /( InstIncia de m objeto
do Avi%o Cieport na
representa%o D0E
HJ
seu mapeamento@ o interpretante 8 mostrado nos mode!os computacionais particu!ares reais ou
ima,in5rios $ue representam uma su#parte do mundo rea!.
Do mesmo modo $ue podemos ana!isar o#6etos computacionais, tais como os mencionados no
par5,rafo anterior como si,nos em uma perspectiva peirciana, podemos dizer $ue a
computao dos o#6etos 9e#-sem7nticos, representados com ar$uivos do tipo Ontolog6 Web
Eangage D0;LE e &esorce 3escription FrameRor' D&3FE, os $uais constituem uma das
formas de representao de informao de o#6etos reais, compreende re!a%es s,nicas.
a
A#ordamos a$ui a $uesto dos o#6etos no conte+to do ci#erespao, o $ue nos !evou a
interro,ar inicia!mente acerca da definio de o#6eto e sua possve! estrutura. om isso,
a!canamos a situao de podermos pensar um o#6eto i,ua!mente como um no emprico, isto
$uando se trata de o#6etos conceituais e, em nosso caso mais pr+imo, os o#6etos
computacionais P os $uais so proeminentemente conceitos. A partir desse #uscou-se uma
fundamentao, a partir da fi!osofia e da !,ica para tais ideias. om isso, constatamos $ue os
o#6etos conceituais tendem a construir ,enera!idades a partir de crit8rios universais.
Ao !idar com a comp!e+idade das $uest%es a$ui enfocada encontramos no tra#a!ho do
pensador 4udo!f arnap aporte ao pro#!ema da compreenso e e+p!icao do $ue se6a um
o#6eto e sua funo onto!,ica, desi,nado por ns, a partir da !iteratura, como os crit8rios
metodo!,icos de arnap para o e+ame das proposi%es. Se,uindo o forma!ismo !,ico de
Ma6AiY, a partir dos princpios !,icos propostos por Monta,ue, foi possve! vis!um#rar a
atua! discusso de uma !,ica de se,unda ordem para os sistemas computacionais, as $uais
incidem so#re a atua! preocupao de pes$uisa com a,entes inte!i,entes e os engines de
#uscas orientados semanticamente. *ais perspectivas co!ocam-se dentro do pressuposto da
intenciona!idade !,ica, a $ua! incide so#re os conte+tos sem7nticos.
A partir do esforo inicia! de Monta,ue, a proposta de Ma6AiY a!cana a possi#i!idade de
a!,oritmizao do entrecruzamento das estruturas reais, transformando-as em e!ementos
descritivos Dde uma moderna teoria das descri%esE, or,anizados semanticamente. *ais
sucessos mostram $ue na perspectiva das ci:ncias da computao atin,e-se ho6e o stats da
onto!o,ia, na fi,ura de uma !,ica 9e#-sem7ntica. &oi, neste sentido, $ue os e+emp!os
HF
apresentados, como o da ma% verde Dreversi#i!idadeE e o da cola para porcelana Dconte+to
sem7nticoE foram apresentados P se6a como i!ustrativos do potencia! onto!,ico, #em como
coro!5rios-pr5ticos do e+erccio de uma pr5tica onto!,ica $ue 8 co-participada entre homem-
m5$uina.
Se por um !ado o nosso primeiro captu!o, A @est%o dos objetos no ciberespao e sa
problemati$a%o ontolgica, se constitui no centro nevr5!,ico de nossa pes$uisa, por outro,
e!e a#re a possi#i!idade de fundamentar a reificao computaciona!
>K
a partir de pressupostos
onto!,icos, tais como veremos a partir do pr+imo captu!o.
>K Oo sentido de U$ua!$uer processo em $ue uma rea!idade socia! ou su#6etiva de natureza din7mica e criativa
passa a apresentar determinadas caractersticas - fi+idez, automatismo, passividade - de um o#6eto
inor,7nico, perdendo sua autonomia e autoconsci:nciaV DBouaiss, <==KE.
HK
O verdadeiro conhecimento vem de dentro.
;crates
HG
'. A questo da ontologia e sua entrada no campo da !eb
Oo presente seo, iremos a#ordar a import7ncia do conceito da onto!o,ia na computao, sua
transposio do conte+to do pensamento !,ico fi!osfico para o domnio das !in,ua,ens
formais na computao. 1remos apresentar a sua caracterizao atua! por meio das
metodo!o,ias e ferramentas, pro#!emas e vanta,ens da uti!izao das onto!o,ias na
computao. Para tanto, ana!isaremos as ideias de 3den [ *urner D<==KE e SmithDCNNGE os
$uais sero re!acionados e discutidos no conte+to dos resu!tados a!canados pe!o captu!o C? A
@est%o dos objetos no ciberespao AWeb[sB.
'.1 A Re&le0o do 7onceito de 6ntologia na 7omputao
A partir de uma su,esto
>G
do Prof. Dr. )oo de &ernandes *ei+eira, nossa pes$uisa vo!tou-se
para a perspectiva $ue a fi!osofia da computao tem a oferecer ao pro#!ema da onto!o,ia
computaciona!. A ref!e+o so#re a onto!o,ia computaciona! emer,e na pes$uisa $ue re!aciona
fi!osofia e computao e reveste-se de ,rande import7ncia para a ref!e+o so#re o conceito de
o#6eto, visto $ue contri#ui para o entendimento de como se esta#e!ecem re!a%es nas
constru%es forma!izadas em conte(dos 9e#-sem7nticos.
Smith DCNNGE no seu !ivro UOn the origin of objectsV discute a import7ncia da onto!o,ia para
o campo da computao. Se,undo o autor o interesse pe!a metafsica e a onto!o,ia cresceu
com a fundao da ci:ncias da computao e da inte!i,:ncia artificia!.
Para desenvo!ver uma teoria da computao ade$uada e a#ran,ente, Smith prop%e-se a
satisfizer dois crit8rios? um de natureza emp#rica e outro de natureza conceital. 3n$uanto a
computao, do ponto de vista emp#rico, prov: um pro,rama de computao como, por
e+emp!o, um editor de te+to, a computao, do ponto de vista conceital recorre ' teoria da
mente, $ue 8 a #ase da inte!i,:ncia artificia!, entre outras teorias !i,adas ao co,nitivismo.
A teoria co,nitivista oferece a #ase conceitua! para a computao sem7ntica intenciona!, a
$ua! !ida com a manipu!ao de sm#o!os de uma sem7ntica intenciona! na efetivao do
>G Su,esto dada em #anca de $ua!ificao desta dissertao.
HN
processamento da informao, da pro,ramao de !in,ua,ens e da representao do
conhecimento nas #ases de dados.
0 ponto principa! da ref!e+o de Smith incide so#re a import7ncia da ref!e+o de natureza
onto!,ica para o campo da sem7ntica computaciona!.
A onto!o,ia computaciona! tem como desafio, a!8m da prpria natureza dos sistemas de
computao, entender Uas onto!o,ias dos mundos nos $uais os sistemas computacionais esto
inseridosV DSmith, CNNG?H<E. *a! desafio no 8 simp!es de enfrentar. A medida $ue a onto!o,ia
entra no campo da computao, v5rios aspectos re!evantes re!acionados ao modo de
representao das propriedades e re!a%es do conte+to nos $uais os sistemas computacionais
so insta!ados podem ser considerados.
Smith DCNNGE ar,umenta $ue as propriedades e re!a%es so especificadas da mesma maneira
$ue os o#6etos particu!ares, ou se6a, por meio de processos an5!o,os de separao,
esta#i!izao, coordenao de e!ementos descontnuos e efetivao de pareamento entre esses
e!ementos.
Smith refere-se ao escopo da &sica para apresentar suas ref!e+%es so#re a especificao das
propriedades. Se,undo o pes$uisador, a &sica apresenta um re,istro do mundo, no $ua! em
um nve! #5sico no h5 o#6etos fsicos individua!izados. 3ntretanto, nos nveis mais a!tos de
a#strao, as propriedades com as $uais !ida so individua!izadas.
A &sica no 8 capaz de e+p!icar todas as coisas na sua ess:ncia por$ue as propriedades e as
re!a%es tam#8m so resu!tado das pr5ticas de re,istro participativo e, portanto, envo!vem
perda e fa!has de cone+o. Portanto, o conte(do informaciona! das coisas est5 inserido nas
infinitas, inacessveis e fundamenta!mente inef5veis condi%es de contorno.
Smith prop%e uma investi,ao de natureza metafsica $ue tem como meta pes$uisar o $ue
su#6az o#6etos, propriedades, campos e tarefas sem pretender atin,ir uma unidade (nica ou
uma informao comp!eta.
A estrat8,ia retrica de Smith 8 apresentada em uma fi,ura $ue traa a tra6etria contnua do
domnio computaciona! ao domnio metafsico, d:itico e f!uido. *odas as fronteiras so
intrinsecamente indefinidas e ,raduais.
J=
3ssa investi,ao de natureza metafsica #aseia-se na induo imanente $ue deriva do fato de
$ue estamos, pertencemos e participamos do mundo.
Oo meio do caminho entre a mat8ria e a mente, a computao fica numa posio e+ce!ente
como fornecedora de casos concretos de comp!e+idade moderada, o $ue na ci:ncia da
computao 8 chamada de Uao de va!idaoV contra a $ua! so confrontadas as hipteses
metafsicas.
Smith defende um p!ura!ismo onto!,ico $ue tenta tratar das $uest%es onto!,icas sustentado
por um monismo metafsico, pois o mundo, como defende o rea!ismo, 8 (nico. Oo seu dizer,
U*here is on!" one 9or!d-that is 9hat 9as important a#out rea!ism. 2ut its unit" transcends a!!
a#i!it" to speaAV DSmith, CNNG? >KJE
>N
. *udo $ue pode ser dito acerca de a!,o, funda-se nas
possi#i!idades da unidade do rea! P esta unidade 8 metafsica. omo adepto de uma
fundamentao em um rea!ismo monista, e!e defende a possi#i!idade da e+ist:ncia de formas
particu!ares de so!u%es $ue se centram em diferentes !in,ua,ens formais, com suas
especficas re,ras sint5ticas e sem7nticas. A$ui situa-se tanto a possi#i!idade da e+ist:ncia de
chaves de transposio para os dia!etos computacionais Das tais !in,ua,ens de pro,ramao,
por e+emp!oE, #em como a constituio destas em onto!o,ias re,ionais prprias, sem contudo,
romper com os seus fundamentos comuns.
A computao no se constitui em uma discip!ina aut_noma, mas sim uma pr5tica comp!e+a
$ue envo!ve desi,n construo, manuteno e uso de sistemas intencionais DreferenciaisE.
Assim, a computao possi#i!ita a e+panso das capacidades de re,istro por meio de
instrumentos $ue mediam nossa participao no mundo. Smith uti!iza-se da met5fora do muro
>N A$ui temos uma refer:ncia tan,encia! ' s8tima proposio do 5ractats de ;itt,enstein, referido
secundariamente na #i#!io,rafia do autor pe!o ,rande ensaio rea!izado por 4a" MonA, $uando escreve Ua!!
a#i!it" to speaAV. 3ntretanto, este importante ponto no se constitui em o#6eto da presente investi,ao, o
$ua! pretenderemos investi,ar em nossos se,uimentos de pes$uisa depois de nosso mestrado. f importante
o#servar $ue a possi#i!idade da$ui!o $ue foi considerado como impossve! por ;itt,enstein, as lingagens
privadas, em computao, tornam-se possveis, na medida em $ue sistemas computacionais podem ser
conce#idos e rea!izados por um (nico su6eito e, em casos e+tremos, somente compreendidos e operados por
e!es. Mesmo assim, tais sistemas podem ser efetivos e uti!iz5veis em suas e+tens%es operacionais. f o caso da
famosa !in,ua,em brainfc' de .r#an MX!!er DCNN>E, $ue possui coment5rios na ;iAi?
http?IIpt.9iAipedia.or,I9iAiI2rainfucA. 3m todo caso, MX!!er ofereceu as chaves de acesso de sua sinta+e e
sem7ntica, as $uais esto sinteticamente re,istras na ;1/1 e em outros !ocais de acesso?
\a] http?IIricve!ozo.#!o,spot.comI<==NI=GIcomo-imp!ementar-um-interpretador-de.htm!@
\#] http?IIaminet.netIpacAa,e.phpTpacAa,e^devI!an,I#rainfucA-<.!ha.
Se, por um !ado, este tipo de imp!ementao computaciona! possui uma variante de entretenimento e diverso
nerd, por outro, 8 denotador das potencia!idades da construo de !in,ua,ens formais e, em (!timo !u,ar, de
uma contestao de certas proposi%es blas-s da fi!osofia ana!tica.
JC
onto!,ico para e+p!icar $ue para atin,ir o 7ma,o da computao, representao, co,nio,
informao sem7ntica ou intenciona!idade 8 preciso esca!5-!o, atravess5-!o, derru#5-!o ou
remov:-!o.
A ref!e+o so#re a emer,:ncia de cate,orias tem feito sur,ir uma demanda por teorias da
or,anizao, as $uais podem ser pensadas como uma metafsica com um p!ano ,erencia!
Dp!ano de ao@ p!ano de atividades@ crono,rama de atividades - em in,!:s estava #usiness
p!anE
'.' 7omponentes de uma 6ntologia 7omputacional
3den
H=
D<==KE a#orda a!,uns $uestionamentos da onto!o,ia na 5rea da computao. So
a#ordados tr:s $uest%es principais $ue sero apresentadas a se,uir.
A primeira @est%o 8 dada pe!a per,unta como os pro,ramas, meta-pro,ramas e hardRare
podem ser or,anizados em uma ta+onomiaT 0s pro,ramas so diferenciados, em um nve! de
a#strao, dos meta-pro,ramas e do hard9are dessa forma 8 possve! uma c!assificao
onto!,ica nas se,uintes cate,orias?
meta)programas( documentos dos pro,ramas como a!,oritmos, aut_matos a#stratos e
especificao de pro6eto@
programas( divididos em su#cate,orias pro,ramas-scripts e pro,ramas-processo@
programa)scripts( su#dividido em cdi,o fonte e cdi,o de m5$uina@
A se,uir, 8 mostrado um e+emp!o de um pro,rama Vello World na sua forma de cdi,o fonte
e sua outra forma de cdi,o de m5$uina.
H= Arti,o UPro#!ems in the onto!o," of computer pro,ramsV do !ivro UApp!ied 0nto!o," Lo!. <V P M1* Press P
Massachusetts P <==K.
J<
programas)processo? o $ue 8 de fato e+ecutado numa m5$uina
hardRare? a m5$uina de computao di,ita!.
Oa pr+ima ima,em, i!ustramos a formao da estrutura dos tpicos apresentados acima na
forma de uma raiz hier5r$uica, do mais pr+imo do usu5rio ao mais profundo da m5$uina?
De forma a#strata, a ta+onomia dos pro,ramas pode ser apresentada pe!a se,uinte
or,anizao?
"ompleta, pois todos os pro,ramas podem ser cate,orizados em pro,ramas-processos,
pro,ramas-scripts $ue so su#dividos em pro,ramas de cdi,o fonte e pro,ramas de
Figra 1( &epresenta%o do cdigo de m2@ina OAHA do programa
Vello World.
Figra :( "digo fonte feito em Oava do
programa Vello World.
J>
cdi,o de m5$uina.
Dnificada, pois constitui uma cate,oria onto!,ica de nve! mais a!to entre as
cate,orias de meta-pro,ramas e hardRare.
Dniforme, pois contemp!a todas as interpreta%es e situa%es de uma a#strao de uma
onto!o,ia.
3efinida, pois contemp!a $ua!$uer diferena ou am#i,uao $ue possa ser e+pressada
por meio da !,ica da matem5tica.
A segnda @est%o 8 a#ordada pe!o per,unta acerca da forma como as onto!o,ias so
representadas no conte+to !,ico da sinta+e e sem7ntica computacionais. A onto!o,ia presente
nos soft9ares deve ser considerada a partir da id8ia do c2lclo de predicados
X9
. Assim, uma
onto!o,ia para um pro,rama de computador se constitui em uma a+iomatizao de onto!o,ias
do conhecimento humano. Portanto, e+p!icitando este pressuposto, no $ua! temos uma
onto!o,ia estendendo-se a uma !,ica de c5!cu!o de predicados, o $ue resu!ta na situao
forma! de uma onto!o,ia forma! Da $ua! imp!cita na mode!a,em dos soft9aresE efetivar-se ou
rea!izar-se nos micro-pro,ramas scripts $ue rodam ne!a en$uanto pro,ramas-processos.
A terceira @est%o 8 representa pe!a per,unta da e$uiva!:ncia das !in,ua,ens formais
computacionais e a sua crescente pro!iferaoT 0ra, 3den [ *urner D<==KE co!ocam a $uesto
nos se,uintes termos?
Qiven that a!! turin,-comp!ete pro,rammin, !an,ua,es are computationa!!"
e$uiva!ent, 9hat e+p!ains their pro!iferationT Bo9 do ne9 !an,ua,es come
a#outT ;e sha!! e+amine the process of !an,ua,e s"nthesis Dl HE and the
process of concretizin, a specific su#set of metapro,rams as an e+p!anation
to the formation and pro!iferation of pro,rammin, !an,ua,es.
0ra, se duas !in,ua,ens formais-computacionais diferem em suas sinta+es e sem7nticas,
cumprindo por8m o#6etivos, fun%es e, ainda, possi#i!itando am#as a co#ertura e desi,nao
de id:nticos o#6etos, resta a per,unta acerca da necessidade de termos a crescente pro!iferao
de novas e especficas !in,ua,ens. 8 o caso do p!ura!ismo na pro,ramao, na $ua! temos,
HC Oo $ue diz respeito a import7ncia desse conceito, vide?
\C] a $uesto da !,ica de primeira ordem? http?IIpt.9iAipedia.or,I9iAiILh>h2>,icaWdeWprimeiraWordem@
\<] c5!cu!o de predicados? http?IIpt.9iAipedia.or,I9iAiIh>hAC!cu!oWdeWpredicados@
\>] /urt Qcde!? http?IIpt.9iAipedia.or,I9iAiI/urtWQh>h2Fde!@
\H] 4e!a%es com o 3ntscheidun,spro#!em? http?IIpt.9iAipedia.or,I9iAiI3ntscheidun,spro#!em
JH
desde as !in,ua,ens de m5$uina, se6am em#utidas nos circuitos ou em m5$uinas virtuais
Dcomo no caso do )ava Lirtua! MachineE, ou ainda varia%es $ue decorrem do no se,uimento
de um padro standart Dcomo nas varia%es do Action Script e outrosE. Dois fatores a$ui esto
em operao. 0 primeiro de!es, e no interessante ao nosso o#6eto de estudo, consiste nas
a%es coordenadas dos monop!ios de Soft9are na tentativa de se$uestrar o mercado. A
se,unda e, dentro de nosso o#6eto de estudo, consiste no pro#!ema co!ocado por Lei#niz
re!acionado com a natureza prpria da $uesto da !in,ua,em no homem? sua tend:ncia a
p!urivocidade e e$uivocao. 3sta tend:ncia ,era, su#!iminarmente e tecnicamente, uma ao
de fu,a do princpio do c5!cu!o Dad abbacosE. 4estam ainda as $uest%es? DCE como e+p!icar o
crescimento de tais !in,ua,ensT D<E como essas !in,ua,ens se diferemT Sendo $ue as
!in,ua,ens computacionais so especficas para reso!ver de forma concisa e concreta um
,rupo de meta-pro,ramas, podemos o#servar $ue, em parte, o crescimento de diversas
!in,ua,ens De suas varia%esE est5 re!acionado a variedade !,ica de forma!izar-se as so!u%es
possveis para tais ,rupos de meta-pro,ramas.
Listo o e+posto acima, os componentes #5sicos de uma onto!o,ia computaciona! estaria
e+pressa na estrutura tripartida de meta)programas, programas e hardRare, conforme
apresentamos na ramificao superior da fi,ura C= acima. 0ra, isso si,nifica $ue a e+presso
onto!,ica, em termos computacionais efetivos, somente poder5 ser dada na con6uno dos
tr:s e!ementos da estrutura ao mesmo tempo e, so#retudo, cooperativamente em
funcionamento. Se a estrutura #asi!ar da onto!o,ia do computador reside na ideia de pro,rama
em si mesma, somos forados a o#servar $ue, tanto o chamado meta)programa, como cdi,o
na forma de uma sinta+e e sem7ntica apro+imados da !in,ua,em natura! o mais possve!, #em
como o pro,rama Dsoft9areE como cdi,o na forma de !in,ua,em forma! de a!to nve! em
formato compi!ado e, ta! como, o hard9are como cdi,o na forma fsica de circuitos !,icos,
se constituem em e!ementos or,anizados de uma trade facetada de uma mesma natureza e
rea!idade !,ica.
'.- Ferramentas para a 7onstruo de 6ntologias 7omputacionais
A &eflex%o do "onceito de Ontologia na "ompta%o nos mostra $ue uma onto!o,ia no
conte+to computaciona! consiste em uma natureza de se,unda ordem $uando avanamos
so#re o campo dos o#6etos computacionais. Sa#ermos $ue e+iste uma dificu!dade de se
JJ
transp_r o rea! materia! dos o#6etos para dentro dos conte+tos de representao ma@#nicos.
0s modos de ser dos o#6etos reais diferem, em sua natureza, dos modos de ser dos o#6etos
computacionais an5!o,os. .ma coisa 8 e+istir uma determinada mesa diante de ns no mundo
rea!. 0utra, diferente, 8 termos a pa!avra mesa co!ocada no conte+to computaciona!. A$ui o
a#ismo da !in,ua,em versus o#6eto preva!ece. .ma terceira possi#i!idade 8 a de termo o
o#6eto computaciona! mesa mode!ado em um metaverso, simu!ando todas as propriedades do
o#6eto do rea! mesa. f e$uiva!ente ' situao de $uando tiramos uma foto,rafia do rea! de
uma paisa,em@ no mais temos a paisa,em, mas a sua representao em determinado formato.
Do ponto de vista computaciona!, tratamos com uma simu!ao $ue possui e!ementos sui
,eneris, posto $ue e!es se encontram mais pr+imos de e+i,:ncias eid8tico-transcendentais do
$ue as protendidas pe!a !in,ua,em ordin5ria das desi,na%es.
Oo caso, se usua!mente a ideia de onto!o,ia, com Aristte!es desi,na a ci:ncia $ue investi,a o
ser como ser e os atri#utos componentes $ue !he so prprios, e!a est5 na #ase da investi,ao
das particu!aridades prprias dos referidos componentes, no se confundindo com e!es
DAristte!es, 0etaf., c.H.C==>a <=E, o $ue referenda a id8ia e+posta no par5,rafo anterior, $ue
esta#e!ece a onto!o,ia computaciona!, no como uma esp8cie ou situao rea!, mas forma!.
Assim, investi,ar os componentes de ma ontologia comptacional insere-se na e+posio de
uma ar$uitetura sint8tica desse forma! e+posto, a sa#er, incidindo no aspecto de $ue toda a
onto!o,ia computaciona! 8 formada por e!ementos de $ue constituem a natureza e rea!idade do
computador sintetizados no conceito de !in,ua,em forma!. Dessa forma, a partir destes
pressupostos Di,ua!mente onto!,icosE, podemos avanar so#re os instrumentos eIou
ferramentas de tra#a!ho com aspectos onto!,icos em uma dada situao computaciona!. f o
caso das ferramentas $ue se pretendem constrtoras de ontologias, como 8 o caso das
ferramentas 0nto!in,ua
H<
e Prot8,8
H>
.
Ontolinga( esta ferramenta consiste em um am#iente construdo para a ;e# $ue
permite a construo, edio, modificao de onto!o,ias. 0 site da 0nto!in,ua
possui uma #i#!ioteca de onto!o,ias, tradutores para !in,ua,ens e um editor de
onto!o,ias.
H< P5,ina da 0nto!in,ua na 1nternet? http?II999.As!.stanford.eduIsoft9areIonto!in,uaI
H> P5,ina do Prot8,8 na 1nternet? http?IIprote,e.stanford.eduI
JF
*rot-g-( esta ferramenta se constitui em uma p!ataforma ,ratuita e a#erta para o
desenvo!vimento $ue possui um con6unto de ferramentas para a construo de
mode!os onto!,icos e servir como #ase de conhecimento onto!,ico para
ap!ica%es. Prot8,8 imp!ementa um con6unto rico de mode!os do conhecimento e
suporta a criao, visua!izao e manipu!ao de v5rios formatos de onto!o,ias. A
p!ataforma de desenvo!vimento pode ser customizada e de f5ci! entendimento.
Prot8,8 possui e+tens%es para desenvo!vimento )ALA.
Figra 9L( Ferramenta Ontolinga \ cria%o de ma
nova classe
JK
Figra 99( Ferramenta *rot-g- \ editor de classes
Figra 9K( Ferramenta *rot-g- \ visali$a%o de m ar@ivo OWE
JG
Ainda $ue no se6a o o#6eto de nossa investi,ao uma comparao e+austiva dessas duas
ferramentas onto!,icas, a!,umas pa!avras podem ser enunciadas. 3m primeiro !u,ar, e!as se
apro+imam nos aspectos $ue dizem respeito 's suas funciona!idades e pretens%es. Do ponto
de das funciona!idades, tanto o 0n!o!in,ua como o Prot8,8, so capazes de criar, editar e
modificar estruturas 9e#-sem7nticas, tais como 4D&s, 0;L etc. Por outro !ado, as diferenas
fundamentais incidem nos aspectos da visua!izao dos dados e da ami,a#i!idade diante de
um dado usu5rio com o uso da interface e operao da ferramenta. f a$ui $ue o Prot8,8 se
diferencia do 0nto!in,ua, pois possui uma concepo de desi,n ade$uada e a6ustada 's
necessidades da edio onto!,ico-computaciona!, ao mesmo tempo $ue fornece um dia,rama
muito #em construdo da 5rvore !,ica da onto!o,ia tra#a!ha P aspecto rea!mente re!evante. )5
o 0nto!in,ua possui um aspecto de forte consist:ncia, na medida $ue seu funcionamento 8
on)line, em um servidor Dao contr5rio do funcionamento e processamento !oca! do Prot8,8,
em uma m5$uina !oca!E. *a! aspecto fornece ao tra#a!ho, em tempo rea!, a ro#ustez e
consist:ncia !,icas esperadas para as opera%es de edio onto!,ico-computacionais.
As ferramentas de edio onto!,ico-computacionais possuem a fina!idade de criar #ancos de
dados $ue se6am onto!o,icamente orientados e se constituam em estruturas !,icas para um
e+eccio de 9e#-sem7ntica. Por e+emp!o, no nossa caso referido anteriormente da pes$uisa
mode!ar de Uco!ar porce!anaV, certamente $ue a edio de um #anco de dados Dorientado
onto!o,icamenteE pode ser visua!izado e refinado em suas potencia!idades possveis.
'.4 8antagens e 9roblemas no uso de 6ntologias em 7omputao
ar!an D<==FE apresenta a!,uns pontos so#re as vanta,ens e pro#!emas so#re a uti!izao das
onto!o,ias do campo da computao.
As ferramentas onto!,icas so muito poderosas, visto $ue possi#i!itam uma me!hor
uti!izao a informao em diversos aspectos como? na comunicao, na forma!izao e na
representao.
Oa uti!izao da informao na comunicao muitas das ferramentas so (teis no
re!acionamento e na interao entre as pessoas possi#i!itando o intercam#iamento de diversos
conhecimentos especficos e particu!ares. 3sse cam#iamento de informao !eva as pessoas a
pensarem e a compreenderem o domnio do conhecimento. 3sse intercam#io, por e+emp!o,
JN
a6uda em um aprofundamento t8cnico profissiona! de um assunto.
A forma!izao da informao tem na sua especifidade uma natureza forma!. A sua
especificao, e!imina contradi%es e inconsist:ncias, o $ue no isenta no envo!vimento de
a!,umas restri%es. A notao do forma! a6uda na verificao e va!idao da informao $ue
pode ser feito automaticamente por teoremas. .m sistema pode inferir e derivar novos
conhecimentos 65 presente em uma onto!o,ia.
A representao da informao se constitui na formao de um voca#u!5rio conciso $ue
represente o conhecimento de forma e+p!cita a formar e contemp!ar seus possveis nveis de
a#strao, possi#i!itando uma ,rande reuti!izao.
A!,uns pro#!emas apresentados da onto!o,ia na computao circunscreve em um processo
restritivo, pois nenhuma onto!o,ia pode ser tota!mente ap!icadas a todos e a tudo, e!as esto
presas a a!,uns ,rupos ou indivduo. As onto!o,ias precisam evo!uir e no so est5ticas. riar
um processo estendve! das onto!o,ias no 8 um processo direto. 0ra, as estruturadas
onto!,icas so precisas e comp!e+as e so, as vezes, no seu universo emerticas a possveis
e+tens%es. 0utro pro#!ema das onto!o,ias sur,e na no padronizao das interfaces $ue as
onto!o,ias possuem.
a
Muando enfoc5vamos a @est%o dos objetos no contexto do ciberespao, nosso cuidado
,ravitou ao redor da conste!ao !,ica $ue nasce em Lei#niz e percorre um !on,o caminho
at8 Ma6AiY, passando por arnap e Monta,ue. 2uscamos a!i os e!ementos mnimos $ue
forneceriam a #ase !,ica fundamenta! para entrarmos com uma perspectiva operaciona! da
onto!o,ia no campo e escopo computaciona!. A partir do rea!izado, encontramos a
possi#i!idade de pensarmos a @est%o da ontologia e sa entrada no campo da Web, no caso,
orientados por um norte $ue se co!ocava na id8ia de 9e#-sem7ntica. A partir de uma su,esto
dada pe!o Prof. Dr. )oo de &ernandes *ei+eira na #anca de $ua!ificao, entramos em contato
com a o#ra de Smith, On the Origin of Objects, a $ua! nos permitiu compreender mais
profundamente a reflex%o do conceito de ontologia na compta%o, para a!8m dos aspectos 65
de!ineados anteriormente.
A partir desse, ponto fomos capazes de situar o conceito de o#6eto no campo forma!-
F=
computaciona!, mostrando sua estrutura #inomia!, entre o rea! do o#6etoC e o forma!-
computaciona! do o#6eto<, como duas facetas ou moda!idades de uma mesma rea!idade
onto!,ica. f nesse sentido, a partir do campo a#erto por Smith $ue somos capazes de
pensarmos os componentes de ma ontologia comptacional, os $uais indicam as
propriedades, estruturas e nveis da onto!o,ia computaciona!, como e!ementos $ue inte,ram o
corpo forma!-!,ico de sua !in,ua,em. A partir deste esta#e!ecido indicamos as ferramentas
para a constr%o de ontologias comptacionais, as $uais tornam mais operativos e
contro!5veis os passos !,icos inerentes aos processos de c!assificao e inde+ao dos
#ancos de dados onto!,icos 9e#-sem7nticos. Ao mesmo tempo, se a perspectiva onto!,ica
em computao a#re um mundo de possi#i!idades, vimos, a partir das #reves advert:ncias de
ar!an $ue o mesmo processo re$uer um cuidado e ateno dedicados.
Oo captu!o >, a se,uir, trataremos dos aspectos histricos, onto!,icos e estruturais de 9e#-
sem7ntica e proporemos a ar$uitetura de um sistema $ue au+i!ie na captura de informa%es
sem7nticas do usu5rio e $ue se6a possve! seu comparti!hamento com outros usu5rios.
FC
A coisa mais indispens2vel a m homem - reconhecer o so @e deve fa$er do se prprio
conhecimento.
*lat%o
F<
*. 6 problema da 2eb)sem3ntica e suas possibilidades
ontol$gicas
Oeste captu!o iremos de!inear uma viso de 9e#-sem7ntica no conte+to da ci:ncia da
computao, considerando os aspectos histricos da sua re!ao com o conceito de onto!o,ia.
2uscaremos discutir como a ar$uitetura da 9e#-sem7ntica est5 construda atua!mente e as
$uest%es $ue esto sendo discutidas, em funo das potencia!idades das ap!ica%es da 9e#-
sem7ntica. A partir dos pressupostos a!canados, rea!izaremos uma discusso introdutria dos
aspectos onto!,icos presentes na formu!ao e desenvo!vimento dos sistemas de histricos
de nave,ao e a,entes inte!i,entes P o $ue resu!tar5 no a#andono da perspectiva dos #ancos
de dados re!acionais Dtais como eram pensados antes das proposi%es da 9e#-sem7nticaE.
*.1 Aspectos :ist$ricos da ;uesto da 6ntologia na !eb
De acordo com 2erners Lee D2erners Lee, CNNG e 2erners Lee et a!., <==CE, uma definio da
9e#-sem7ntica pode ser tomada como \C] uma forma de representao da informao de um
conte(do sem7ntico de maneira condensada e em \<] uma estrutura !,ica $ue possa ser
entendve! e processada por a,entes computacionais e \>] uti!izado por humanos como um
va!or a,re,ado para ser uti!izado e reuti!izado em diversas tarefas na 1nternet, como ao
procurar e re!acionar o conhecimento de uma pes$uisa da internet e seu histrico da
nave,ao.
*im 2erners Lee, um dos ,randes mentores na parte da 1nternet $ue ca#e a ;;;, .41,
B**P, .4L, B*ML e 9e#-sem7ntica e teve participao nos se,uintes documentos 4&s
HH

4&<FCF, 4&<>NF, 4&<=FG, 4&CNHJ, 4&CGFF, 4&CK>G e 4&CF>=, se,undo fonte
do site U4& 3ditorVDhttp?II999.rfc-editor.or,E. 3!e foi uma das pessoas idea!izaram a forma
de comunicao atua! da 1nternet e, na sua apresentao num p!en5rio da primeira
U1nternationa! ;or!d ;ide ;e# onferenceV em Qeneva na Sua em setem#ro de CNNH, foi
HH 4&? onsite no acronismo in,!:s $ue $uer dizer &e@est for "omments. *rata-se de uma s8rie de protoco!os
e normatiza%es pactuadas, a partir de um comit: ava!iador $ue edita documentos padr%es. 3!es tem por
fina!idade orientar a construo de estruturas de protoco!os 9e#. Oeste sentido, ver? http?II999.rfc.net.
F>
$uem prop_s uma das primeiras ideias so#re 9e#-sem7ntica
HJ
.
Oa pa!estra de CNNH, 2erners Lee e+p%e $ue o mode!o simp!es de !inAs entre documentos na
1nternet e conte(do no ref!ete o modo com o $ua! $ue rea!mente en+er,amos a nossa
rea!idade, pois os documentos mostram conceitos ima,in5rios e particu!ares da re!ao entre
dois documentos $ue 8 a re!ao dos conte+tos. .ma ima,em $ue i!ustra so#re a re!ao dos
documentos e dos re!acionamentos das ideias de 2erners Lee DCNNHE 8?
A$ui devemos introduzir uma pe$uena, mas interessante di,resso. omo 65 a#ordado acima,
$uando nos reportamos 's contri#ui%es de arnap para a 9e#-sem7ntica, a diferena co!oca
por 2ernes Lee entre os conceitos ima,in5rios e particu!ares da re!ao entre dois documentos
en$uanto sua re!ao de conte+tos, corresponderia, em parte, ao desi,nado por arnap, na
diferena entre percepiens e perceptm, entre ente perce#ido e percepo. A!8m disso a
$uesto pode ser re!acionada com a teoria da descrio de 2ertrand 4usse!! D65 i,ua!mente
referidaE e o pro#!ema do ;entido e &eferncia colocado por Qott!o# &re,e, $uando rea!iza a
distino entre os dois termos a partir do e+emp!o da estre!a da manh e estrela da tarde.
4etornando a $uesto da confer:ncia de 2erners Lee, encontramos e!e comentando $ue se
adicionarmos conte(do sem7ntico a ;e# temos $ue considerar duas coisas? DCE permitir $ue a
HJ Lide um resumo destes pontos em 2erners Lee DCNNHE.
Figra 9P( "ompara%o das relaGes ontolgicas natrais e a rela%o da informa%o
no conte+do da Internet
FH
informao possa ser !ida por m5$uinas e D<E permitir $ue !inAs de va!ores possam ser criados
entre os documentos e somente com esse conte(do 9e#-sem7ntico poderemos fazer com $ue
o computador consi,a ter a capacidade de nos a6udar a e+p!orar a informao a!em de uma
simp!es !eitura de um documento. A se,uir uma ima,em $ue mostra o conte(do 9e#-
sem7ntico inserido nos documentos.
A partir da visua!izao da ima,em acima, podemos verificar $ue a insero do conte(do
sem7ntico na 1nternet 8 feita de forma a criar um ndice onto!,ico das informa%es
importantes ' nave,ao do usu5rio como ocorre no caso da Amazon
HF
apresentaremos a
se,uir.
0 site rea!iza uma monitorao sem7ntica do comportamento do usu5rio ao nave,ar por suas
p5,inas. omo isso ocorreT 0 servidor da Amazon possui nas p5,inas e+i#idas um conte(do
invisve! para o usu5rio $ue, durante a interao do usu5rio com os conte(dos do site, envia
as informa%es sem7nticas mais re!evantes de sua nave,ao, tornando o servidor capaz de
oferecer outros conte(dos Dre!acionados semanticamenteE mais atrativos para o usu5rio e, de
certa forma, Ufaci!itandoV a venda de um produto $ua!$uer. Mas como funciona isso na
pr5ticaT
Se o#servarmos a fi,ura da p5,ina da Amazon, $ue foi capturada para servir como e+emp!o
HF Amazon? !o6a virtua! de produtos na 1nternet. Site? http?II999.amazon.com.
Figra 9X( 0apeamento do conte+do semIntico em p2ginas da
Internet
FJ
a$ui D&i,ura CFE, temos como resu!tado na primeira p5,ina um conte(do $ue mostra um !ivro
para $ua! foi feito, h5 duas semanas uma consu!ta. 0 ttu!o do !ivro 8 U0n the 0ri,ins of
0#6ectsV de U2rain ant9e!! SmithV.
&en_menos interessantes apresentados pe!a Amazon, os $uais esto construdos com #ase em
estruturas onto!,icas, as $uais ,ostaramos de descrever e ana!izar. .ma o#servao da
dia,ramao do Utpicos principaisV D0ore to ,xploreE apresenta o $ue 8 considerado no
#anco dados como o mais re!evante no sentido da es$uerda para a direita, a $ua! se,ue
e+atamente o sentido de !eitura de um te+to no 0cidente. .ma an5!ise do conte(do nos
permitir5 verificar $ue todos os itens e+i#idos esto em um conte+to sem7ntico pr+imo. Por
e+emp!o, caso a procura se6a so#re fi!osofia, a pro#a#i!idade de um retorno da 5rea de
cu!in5ria ser5 muito pe$uena.
As refer:ncias dos lin's da p5,ina possuem identificadores $ue funcionam como ndices para
os conte(dos sem7nticos a serem processados no servidor, por e+emp!o o lin' para o !ivro
U0n the 0ri,in of 0#6ectsV tem o se,uinte cdi,o B*ML?
da href^SI,pIproductI=<F<FN<=N=Iref^sNWsimzW,9Ws>WpCHWiCT
pfWrdWm^A*LPD/1/`=D34[pfWrdWs^center-
C[pfWrdWr^=/FbLLC/M<JB2*GJ3ZB[pfWrdWt^C=C[pfWrdWp^HK=N>
GC>C[pfWrdWi^J=KGHFSedim, src^Shttp?IIec+.ima,es-
amazon.comIima,esI1IJCG/G3<MJL.WSLCC=WP1sit#-sticAer-arro9-
sm,*op4i,ht,G,-CHW0.=CW.6p,S a!t^S0n the 0ri,in...S 9idth^SNCS
hei,ht^SC<CS
Figra 98( 5recho da p2gina inicial em K1SL/SKLL: do site Ama$on em @e aparece o livro NOn the Origins
of ObjectsN
FF
id^SnsW=/FbLLC/M<JB2*GJ3ZBWCCHGGWsimz=W1ma,e=S IedIae
Ddi,o B*ML retirado da p5,ina principa! de 999.amazon.com no dia
<GI=KI<==NE
da href^SI,pIproductI=<F<FN<=N=Iref^sNWsimzW,9Ws>WpCHWiCT
pfWrdWm^A*LPD/1/`=D34[pfWrdWs^center-
C[pfWrdWr^=)PDHMOHZZFG2<ZP34L[pfWrdWt^C=C[pfWrdWp^HK=N>G
C>C[pfWrdWi^J=KGHFSedim, src^Shttp?IIec+.ima,es-
amazon.comIima,esI1IJCG/G3<MJL.WSLCC=WP1sit#-sticAer-arro9-
sm,*op4i,ht,G,-CHW0.=CW.6p,S a!t^S0n the 0ri,in...S 9idth^SNCS
hei,ht^SC<CS id^SnsW=)PDHMOHZZFG2<ZP34LWC>>>HWsimz=W1ma,e=S
IedIae
D di,o B*ML retirado da p5,ina principa! de 999.amazon.com no dia
<NI=KI<==NE
0#servando os dois cdi,os acima, podemos visua!izar $ue a identificao do usu5rio D1DE 8
dada pe!a chave ndice UA*LPD/1/`=D34V e, $ue o cdi,o do produto 8 dado pe!o cdi,o
U=<F<FN<=N=V. om esses dois (nicos cdi,os, o Amazon constri a re!ao sem7ntica de
interesses do usu5rio durante a sua nave,ao.
Do ponto de vista-!,ico computaciona! temos a!,uns eventos importantes ocorrendo dentro
deste processo, #em como uma s8rie de estados !,icos $ue ao mesmo tempo $ue fornecem o
suporte para os eventos e, ao mesmo tempo, os re,u!am e contro!am. Assim, ao entrarmos na
p5,ina da Amazon e rea!izarmos a #usca referida, em funo do 1P e do 1D no $ua! o usu5rio
est5 situado momentaneamente Dm5$uina pessoa!E, temos como resu!tado uma ao com dois
vetores distintos. Oo primeiro o engine da Amazon armazena a informao de retorno do
usu5rio e associa com a identificao do usu5rio, criando assim um ndice dos interesses
co,nitivos do mesmo Dcom #ase em uma #anco de dados pr8vioE. on6untamente e!e envia
um re,istro de identificao para ser armazenado na m5$uina do usu5rio na forma de um
coo'ie
X/
. 0 engine da Amazon se comporta para com uma demanda co,nitiva de um
computador `. Se o computador ` enviar um demanda co,nitiva para o servidor da Amazon
o mesmo !he responder5 com uma #ase identit5ria $ue reporta-se a um con6unto especfico de
e!ementos $ue so retornados na forma de resposta atua!izada.
Se o campo de nossa tenso ref!e+iva afaster-se do usu5rio e incidir so#re as m5$uinas e suas
HK "oo'ie? Ar$uivo de confi,urao ,erado no diretrio de confi,ura%es de um nave,ador 9e# $ue ,uarda
informa%es persona!izadas, de um site especfico, de um usu5rio. 4efer:ncia para a especificao t8cnica do
coo'ie? http?II999.ietf.or,IrfcIrfc<NFJ.t+t
FK
opera%es !,icas, ta!vez possamos vir a fazer a!,umas constata%es interessantes. A presena
do coo'ie tem como resu!tado um determinado comportamento s,nico indicia!, na
comunicao !,ica entre o computador ` e o provedor da Amazon. 1sto tem como resu!tado
a ativao dos comportamentos e dados indiciais presentes no coo'ie. A primeira coisa $ue
ocorre a$ui 8 um processo de identificao m(tua $ue resu!ta num reconhecimento. om #ase
nesse re-conhecimento ponto a ponto um processo de c!assificao e atri#uio de va!ores '
c!assificao 8 rea!izada dentro de um determinado campo de interesses DdadosE $ue foram
previamente construdos cooperativamente na seo de dia!o,o anterior. Se o resu!tado
aparente desse processo for tomado por um !ado com uma s8rie de informa%es ,r5fico-
te+tuais co!ocadas na te!a, 8 uma coisa. 0utra, 8 per,untar-nos a cerca do processo ma$unico-
!,ico su#6acente a e!a. Para este se,undo estruturas onto!,icas de uma 9e#-sem7ntica esto
em ao. Por e+emp!o, o item c!assificao retornado do autor USM1*BV e o o#6eto U0n *he
0ri,ins of 0#6ectsV denotam um funcionamento de estados !,icos $ue esto em operao.
Muando o retorno apresentado oferece e!ementos $ue no esto associados diretamente ao
o#6eto ao redor do $ua! ,ravita a #usca USM1*BV temos uma situao impura. 0 provedor
oferece varia%es entre as associa%es. Oa co!eo de todos os USM1*BsV possveis podemos
ter retornos, os mais diversificados, resu!tando em ttu!o so#re 6ardina,em, antropo!o,ia,
veterin5ria, DLDs, e!etr_nicos etc. 3ntretanto o procedimento de refinamento rea!izado pe!o
engine da Amazon conse,ue or,anizar a refer:ncia precisa do o#6eto procurado, !em#rando ao
computador ` $ue a sua demanda anterior continua pendente. Mas e!e faz mais do $ue isso.
3ntre uma interao e outra, o engine su#mete o interesse co,nitivo especfico no computador
` a uma c!assificao $ue se estrutura em conceitos sem7nticos. 0 prprio conte(do
pes$uisado 65 c!assificado semanticamente tem como resu!tado o retorno de su,est%es para o
computador ` de outros o#6etos $ue possuem fortes re!a%es com os conte(dos c!assificados
da demanda. Assim uma su,esto $ue pode aparecer 8 o !ivro UAction in PerceptionV de A!va
Ooe.
Do ponto de vista das ci:ncias da computao temos a!,uns e!ementos em ao. .ma t8cnica
da imp!ementao da or,anizao da informao consiste na clsteri$a%o da informa%o. 0s
e!ementos de um determinado ,rupo so su#metidos a uma e!eio, dentro da $ua! so
c!assificados de acordo com uma chave prim5ria, homo,:nea e comum. 3!a or,aniza os
indivduos da co!eo de forma a tornar o acesso ou retorno ao usu5rio $uase $ue instant7neo.
1sto se deve ao fato de $ue os e!ementos de maior re!ev7ncia Dde acordo com a chaveE esto
FG
dispersamente pr+imos em re!ao a uma das chaves. 0utro aspecto em vo,a 8 o chamado
a!,oritmo !)means
X1
.
3ste a!,oritmo deriva do tra#a!ho estatstico mu!tip!icado das curvas de Qauss. *rata-se de um
m8todo de c!usterizao, na $ua! n(c!eos or,anizados por chaves caractersticas so dispostos
em UnV posi%es re!acionais em uma s8rie or,anizada e disposta de UAV n(c!eos $ue podem
variar no decorrer das verifica%es e introduo de novas chaves. .m centro privi!e,iado
dever5 possuir natura!mente deriva%es de concentra%es pe!a chave, mostrando assim, v5rios
centros menores $ue a,!utinam aspectos co-re!acionados, mas ao mesmo tempo, no
dominante.
4etornando ao e+emp!o da Amazon, o#servamos $ue a re!ao dos conceitos sem7nticos $ue
so e$uacionados de um computador ` e o servidor do Amazon esto contemp!ados nas
proposi%es de Monta,ue. 3m MF mostra $ue os indivduos possuem uma re!ao unvoca
entre o individuo e seus con6untos de atri#utos, portanto um computador ` vai referenciar
atri#utos AC, A<, A>, An no #anco de dados do Amazon e cada um desses atri#utos possuem
uma refer:ncia ao computador ` $uando este transmite sua chave para o servidor. Oo seu
nve! mais profundo, o da calcleira algoritmica, temos o a!,oritmo de !)means.
om o o#servado at8 a$ui encontramos o tra#a!ho ref!e+ivo ori,ina! de 2erners Lee na
or,nizao das re!a%es onto!,icas naturais e a re!ao da informao no conte+to da ;32.
Limos $ue esta perspectiva se estrutura no mapeamento sem7ntico de conte(dos $ue esto
presentes em p5,inas da internet e $ue se tornam operacionais em #uscas rea!izadas em
engines $ue esto orientados para #uscas sem7nticas, tais como no caso mode!o da Amazon.
3m vista disso, mostramos sinteticamente $ue e!es se encontram em conson7ncia com os
princpios co!ocados por Monta,ue. Disso decorre, principa!mente a$ui em virtude da ao do
a!,oritmo e da ap!icao dos princpios de Monta,ue, $ue a proposio de nossa investi,ao
de mestrado, na $ua! co,itamos a possi#i!idade e e+e$Xi#i!idade de um histrico 9e#-
sem7ntico se construdo e mantido em um nave,ao 9e#, na ao con6unta e cooperativa
entre um usu5rio e os diversos servidores, se confirma de modo evidente. Se,uimos ento, na
descrio da $uesto da ar$uitetura imp!cita neste universo da 9e#-sem7ntica no ci#erespao.
HG http?IIen.9iAipedia.or,I9iAiI/-meansWc!usterin,
FN
*.' A Arquitetura da 2eb)sem3ntica
Se,uindo nosso caminho de investi,ao, adentramos na $uesto da ar@itetra da Reb)
semIntica, conceito importante dado $ue e!e est5 re!acionado com a or,anizao !,ico-
conceitua!-operativa do ci#erespao. Oos s!ides da pa!estra da 1S; de D2erners Lee, <==JE 8
apresentado com seriam as camadas da 9e#-sem7ntica. A se,uir mostramos uma or,anizao
atua!izada de!as?
A fi,ura mostra como 8 estruturado o processo atua! da pi!ha 9e#-sem7ntica. Oo dia,rama as
camadas em cor cin$a so conceituais e a#stratas e as outras camadas de cor amarela so as
camadas concretas $ue so respons5veis pe!a imp!ementao e rea!izao das camadas
a#stratas em cor cin$a.
Oa camada de U1nterfaceV D,rupo cin$aE est5 representado o $ue o usu5rio tem como interao
$ue 8 disposto por meio de interfaces ,r5ficas ou te+tuais.
Oa camada de UonfianaV D,rupo cin$aE so o#edecidas as re,ras de autenticidade e
se,urana $ue podem ser imp!ementadas a partir de um protoco!o entre um UservidorV e a
interface do usu5rio com certificados di,itais e re,ras definidas, aprovando ou no um
Figra 9.( *ilha Reb)semIntica
K=
conte(do.
Oa camada de ULa!idaoV D,rupo cin$aE temos as re,ras de contro!e dos dados. Lerifica-se a
inte,ridade e coer:ncia em termos estruturais como, por e+emp!o, uma estrutura de um
ar$uivo corresponde ao $ue foi esta#e!ecido como a!,um padro Dum e+emp!o de um padro
seria o `ML $ue 8 um ar$uivo com marcadoresE.
Oa camada de UL,ica unificadaV D,rupo cin$aE 8 va!idado o conte(do da estrutura, no caso
de ser rea!mente v5!ido e compreendido, tanto como conte(do sem7ntico, #em como a
e+ist:ncia de uma !,ica de padro 65 definida e homo!o,ada.
Oa camada de Uripto,rafiaV D,rupo cin$aE 8 cripto,rafado o dado $ue 8 enviado eIou
rece#ido para ,arantir uma se,urana na transmisso dos dados Dno caso, para fazer ,erar o
dado cripto,rafado e+iste v5rios a!,oritmos no desenvo!vidosE.
A camada USPA4MLV D,rupo amareloE se constitui em uma !in,ua,em te+tua! de comandos
para serem e+ecutados num repositrio de dados sem7nticos &3F. 3sta camada est5 na
estrutura de !,ica e de va!idao, pois rea!iza .m e+emp!o de um comando em SPA4ML $ue
retorna todos os !ivros e autores de uma #i#!ioteca
HN
?
9REFI< biblioteca= >5ttp=//biblioteca.com/li+ros/1.?/@
SEAE7B Ctitulo Cautor
!:ERE D
biblioteca=name Ctitulo .
biblioteca=autor Cautor .
E
A camada de onto!o,ia U0;LV ou tam#8m chamado de &3F 8 onde os dados onto!,icos so
estruturados, armazenados e descrevem um o#6eto e suas inter!i,a%es com outros o#6etos
0;L ou &3F formando uma rede a+iomas. 3sta camada 0;L-&3F 8 parte da camada do
tipo de ULa!idaoV. .m &3F-0;L 8 uma estrutura e+tremante f!e+ve! e e+tensve! $ue
apenas 8 !imitada por $uest%es fsicas de armazenamento $ue so as memrias dos
computadores. .m e+emp!o de um ar$uivo so#re atores em &3F-0;L tem o se,uinte
ar$uivo retirado de http?IIonto!o,".ihmc.usIActor.o9!?
>C0ml +ersionFG1.?GC@
>H))6!A AanguageI +ersion ?J/'??*))@
HN Mais informa%es so#re a especificao da camada SPA4ML pode ser encontrado no site da ;>.
KC
>rd&=RDF 0mlns=rd&FK5ttp=//222.2*.org/1LLL/?'/'')rd&)sMnta0)nsNK
0mlns=rd&sFK5ttp=//222.2*.org/'???/?1/rd&)sc5emaNK
0mlns=o2lFK5ttp=//222.2*.org/'??'/?1/o2lNK
0mlnsFK5ttp=//ontologM.i5mc.us/Actor.o2lNK@
>o2l=6ntologM rd&=aboutFKK@
>o2l=+ersionIn&o@
O 5ttp=//ontologM.i5mc.us/Actor.o2l O
>/o2l=+ersionIn&o@
>rd&s=comment@
An ontologM created bM Andr#ej (s#oP aus#oPQi5mc.us".
>/rd&s=comment@
>o2l=imports rd&=resourceFK5ttp=//ontologM.i5mc.us/EntitM.o2lK/@
>o2l=imports rd&=resourceFK5ttp=//ontologM.i5mc.us/9lace.o2lK/@
>o2l=imports rd&=resourceFK5ttp=//ontologM.i5mc.us/Rroup.o2lK/@
>o2l=imports rd&=resourceFK5ttp=//ontologM.i5mc.us/Action.o2lK/@
>o2l=imports rd&=resourceFK5ttp=//ontologM.i5mc.us/9olicM.o2lK/@
>/o2l=6ntologM@
>H))Section 2it5 propertM de&initions))@
>o2l=6bject9ropertM rd&=I%FKcapable6&9er&ormingK@
>rd&s=domain rd&=resourceFKNActorK/@
>rd&s=range rd&=resourceFK5ttp=//ontologM.i5mc.us/Action.o2lNActionK/@
>/o2l=6bject9ropertM@
>o2l=6bject9ropertM rd&=I%FKcontrolledSMK@
>rd&s=domain rd&=resourceFKNActorK/@
>rd&s=range rd&=resourceFK5ttp=//ontologM.i5mc.us/9olicM.o2lN9olicMK/@
>/o2l=6bject9ropertM@
>o2l=6bject9ropertM rd&=I%FKguardsK@
>rd&s=domain rd&=resourceFKNRuardK/@
>rd&s=range rd&=resourceFKNAgentK/@
>/o2l=6bject9ropertM@
>o2l=6bject9ropertM rd&=I%FKisRuardedK@
>o2l=in+erse6& rd&=resourceFKNguardsK/@
>rd&s=domain rd&=resourceFKNAgentK/@
>rd&s=range rd&=resourceFKNRuardK/@
>/o2l=6bject9ropertM@
>H))Section 2it5 class de&initions))@
>o2l=7lass rd&=I%FKActorK@
>rd&s=comment@
It is an entirM capable o& per&orming initiating" an actionT because o& t5at it is a
subject o& policies.
>/rd&s=comment@
>rd&s=sub7lass6& rd&=resourceFK5ttp=//ontologM.i5mc.us/EntitM.o2lNEntitMK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FK95MsicalActorK@
>rd&s=sub7lass6& rd&=resourceFKNActorK/@
>rd&s=sub7lass6& rd&=resourceFK5ttp=//ontologM.i5mc.us/EntitM.o2lN95MsicalEntitMK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FKUaturalActorK@
>rd&s=sub7lass6& rd&=resourceFKN95MsicalActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FK9ersonK@
>rd&s=sub7lass6& rd&=resourceFKNUaturalActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FK:umanK@
>rd&s=sub7lass6& rd&=resourceFKN9ersonK/@
>rd&s=sub7lass6& rd&=resourceFKN95MsicalActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FKArti&icialActorK@
K<
>rd&s=sub7lass6& rd&=resourceFKNActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FK:ard2areActorK@
>rd&s=sub7lass6& rd&=resourceFKNArti&icialActorK/@
>rd&s=sub7lass6& rd&=resourceFKN95MsicalActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FKRobotK@
>rd&s=sub7lass6& rd&=resourceFKN:ard2areActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FKSo&t2areActorK@
>rd&s=sub7lass6& rd&=resourceFKNArti&icialActorK/@
>rd&s=sub7lass6&
rd&=resourceFK5ttp=//ontologM.i5mc.us/EntitM.o2lN7omputingEntitMK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FKAgentK@
>rd&s=sub7lass6& rd&=resourceFKNSo&t2areActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FKRuardK@
>rd&s=sub7lass6& rd&=resourceFKNSo&t2areActorK/@
>/o2l=7lass@
>o2l=7lass rd&=I%FK%omainVanagerK@
>rd&s=sub7lass6& rd&=resourceFKNSo&t2areActorK/@
>/o2l=7lass@
>/rd&=RDF@
A especificao deste ar$uivo e a descrio de sua confi,urao se encontra no site da ;>.
0 conte(do descrito neste ar$uivo 8 o o#6eto UatorV. Oeste ar$uivo contem a!,umas a%es de
propriedades descritas com a marcao Uo9!?0#6ectPropert"V? capa#!e0fPerformin,,
contro!!ed2", ,uards, isQuarded.. A!,umas c!assifica%es em c!asses com a marcao
Uo9!?!assV? Ph"sica!Actor, Oatura!Actor, Person, Buman, Artificia!Actor, Bard9areActor,
4o#ot, Soft9areActor, A,ent, Quard, DomainMana,er. A!,umas refer:ncias onto!,ica a
outros 0;L-&3F com a marcao Uo9!?imports rdf?resourceV
J=
.
A camada de re,ras U41&IS;4LV atua nas camadas de UconfianaV e Uva!idaoV dos dados
9e#-sem7nticos. .m e+emp!o de um ar$uivo S;4L 8?
>C0ml +ersionFG1.?G encodingFGIS6)JJ4L)1GC@
>H%67BW9E s2rl0=6ntologM X
>HEUBIBW s2rl0 G5ttp=//222.2*.org/'??*/11/s2rl0G@
>HEUBIBW s2rlb G5ttp=//222.2*.org/'??*/11/s2rlbG@
>HEUBIBW ruleml G5ttp=//222.2*.org/'??*/11/rulemlG@
J= So#re este aspecto vide?
\C] http?IIonto!o,".ihmc.usI3ntit".o9!,
\<] http?IIonto!o,".ihmc.usIP!ace.o9!,
\>] http?IIonto!o,".ihmc.usIQroup.o9!,
\H] http?IIonto!o,".ihmc.usIAction.o9! e
\J] http?IIonto!o,".ihmc.usIPo!ic".o9!.
K>
>HEUBIBW o2l0 G5ttp=//222.2*.org/'??*/?4/o2l)0mlG@
>HEUBIBW 0sd G5ttp=//222.2*.org/'??1/<VASc5emaNG@
>HEUBIBW e0ample G5ttp=//222.e0ample.org/ontologMG@
>HEUBIBW rd&s G5ttp=//222.2*.org/'???/?1/rd&)sc5emaG@
Y@
>s2rl0=6ntologM 0mlns=s2rl0FKZs2rl0TK
0mlns=rulemlFKZrulemlTK
0mlns=s2rlbFKZs2rlbTK
0mlns=o2l0FKZo2l0TK@
>ruleml=+ar@&eet>/ruleml=+ar@
>ruleml=imp@
>ruleml=[bodM@
>s2rl0=data+alued9ropertMAtom s2rl0=propertMFKZe0ampleTNlengt5InFeetK@
>ruleml=+ar@instance>/ruleml=+ar@
>ruleml=+ar@&eet>/ruleml=+ar@
>/s2rl0=data+alued9ropertMAtom@
>s2rl0=builtinAtom s2rl0=builtinFKZs2rlbTNmultiplMK@
>ruleml=+ar@inc5es>/ruleml=+ar@
>ruleml=+ar@&eet>/ruleml=+ar@
>o2l0=%ata8alue o2l0=datatMpeFKZ0sdTintK@1'>/o2l0=%ata8alue@
>/s2rl0=builtinAtom@
>/ruleml=[bodM@
>ruleml=[5ead@
>s2rl0=data+alued9ropertMAtom s2rl0=propertMFKZe0ampleTNlengt5InInc5esK@
>ruleml=+ar@instance>/ruleml=+ar@
>ruleml=+ar@inc5es>/ruleml=+ar@
>/s2rl0=data+alued9ropertMAtom@
>/ruleml=[5ead@
>/ruleml=imp@

>/s2rl0=6ntologM@
Oo te+to do ar$uivo acima encontramos a camada de UconfianaV re,istrada na marcao
UD0*ZP3V, a $ua! ,arante $ue o documento 8 re,ido por outros documentos se,uindo um
padro pr8-determinado. A outra camada, de Uva!idaoV, 8 re,istrada com as defini%es das
re,ras $ue esto na marcao rlem9.
A camada de ta+onomia 4D&S
JC
ou conhecida como &3F ;chema 8 entendida como ma
lingagem para representa%o do conhecimento para descrever ontologias baseadas em m
repositrio &3F. Oessa !in,ua,em se,uimos o formato estrutura! de marcadores podendo
citar a!,uns importantes como? rdfs("lass $ue permite a definio de uma c!asse,
rdfs(sb"lassOf $ue permite estender uma c!asse e criar uma su#c!asse especfica e
rdfs(propert6 $ue define uma propriedade de uma c!asse.
JC 4D&S? 4esource Description &rame9orA Schema. Documento de refer:ncia da !in,ua,em na ;>?
http?II999.9>.or,I*4Irdf-schemaI
KH
Assim, a camada 4D& 8 a #ase dos ar$uivos 9e#-sem7nticos $ue foram criados com o intuito
de ser um repositrio de metadados. om o avano da World Wide Web comeou a ter a
necessidade da representao das onto!o,ias reais no universo da computao e ter uma forma
de mapear e ,erenciar a informao. 0 4D& possui uma representao estruturada com uma
sinta+e `ML, ou se6a, estruturada com marcadores. Muando mostramos a camada de 0;L
mostramos um tipo de estrutura 4D& focada nas onto!o,ias. .m e+emp!o de 4D& uti!izado
como estrutura de metadados seria?
>rd&=%escription
rd&=aboutFK5ttp=//222.recs5op.&aPe/cd/Empire SurlesqueK@
>cd=artist@Sob %Mlan>/cd=artist@
>cd=countrM@(SA>/cd=countrM@
>cd=companM@7olumbia>/cd=companM@
>cd=price@1?.L?>/cd=price@
>cd=Mear@1LJ4>/cd=Mear@
>/rd&=%escription@
Oo e+emp!o acima temos uma descrio de um o#6eto rea!? D do 2o# D"!an. 0 es$uema
visua! a se,uir mostra uma estrutura visua! da !,ica do processamento da 9e#-sem7ntica de
um ar$uivo 4D&, desenhado por 2erners Lee DCNNGE?
Figra 9/( Formato gr2fico de m ar@ivo &3F
KJ
0 mapa mostra no seu !ado es$uerdo, a partir cai+a D&I at8 a cai+a ]0E 5ree, como 8 o#tido
uma informao, &3F, em um protoco!o D&I, $ue por e+emp!o, poderia ser um protoco!o
V55*. Oo !ado direito do mapa acima, a partir das cai+as &3F Yraph e logic formla, mostra
como o documento &3F de uma .41 8 processado e ana!isado.
A ar$uitetura da 9e#-sem7ntica nos mostrou a disposio estruturada e hier5r$uica de nveis
$ue funcionam de forma inter-re!aciona!, tendo como faces superior, mais pr+imo do usu5rio
e faces inferiores mais pr+imas das opera%es de m5$uina. 3ntre e!es encontras os
protoco!os sem7nticos, as ar$uiteturas de metadados, a,entes etc, suportados na #ase de
onto!o,ias. .ma !eve seme!hana a$ui pode ser identificada com o tra#a!ho $ue nos apresenta
3co D<===E, $uando nos mostra $ue, do ponto de vista da or,anizao da teoria dos si,nos
temos os !imiares superiores Dmais pr+imos da cu!tura e do sim#!icoE e os !imiares
inferiores Dmais pr+imos da *h6s6sB. f c!aro $ue nossa ana!o,ia, ao mesmo tempo $ue
fracassa, restrin,e-se a apenas uma seme!hana aparente, posto $ue do ponto de vista da
semitica, tanto as faces superiores e inferiores, situar-se-iam nos !imiares superiores da
c!assificao de 3co.
KF
33 !"lica#$es da %eb&sem'ntica
Desde <==H temos o despertar de um ,rande boom da $uantidade de ap!ica%es e ferramentas
na 5rea de 9e#-sem7ntica tem aparecido, como o pro6eto Oe0n, Ma,pie. A!8m de p!ataformas
$ue podem suportar a,entes 9e#-sem7nticos como o Qoo,!e ;ave.
*.*.1 Ue6n
4'
0 pro6eto Oe0n nasceu em Maro de <==F e visa construir uma ferramenta para o
desenvo!vimento de ap!ica%es $ue uti!izam a !in,ua,em de onto!o,ias para a ;e# D0;LE e
prover uma metodo!o,ia e ferramentas efetivas para o desenvo!vimento de uma nova !inha de
ap!ica%es sem7nticas, permitir e+p!orar efetivamente a ,rande $uantidade de dados
disponveis na 1nternet. 3+iste a!,uns casos de sucesso rea!izados com o Oe0n, um de!es 8
uti!izado pe!a &A0 para a6udar a unir informa%es so#re a pesca para a6udar a distri#uir e
,erenciar o conhecimento para as comunidades na 3uropa $ue podem ser a pesca artesana! ou
industria!. 0utro caso de estudo pode ser encontrado na 5rea farmac:utica com a parceria com
as empresas /1O e Pharma1nnova. A Oe0n 8 um resu!tado de uma iniciativa de
apro+imadamente CJ mi!h%es de 3uros e $ue envo!ve CH parceiros europeus.
J< 0 pro6eto Oe0n se encontra no site? http?II999.neon-pro6ect.or,
Figra 91( Imagem do programa CeOn
KK
33( )ag"ie
*3
+ ,-e .emantic /ilter
0 Ma,pie uti!iza uma infra-estrutura onto!,ica para uma marcao sem7ntica de documentos
;e# so#re demanda, a ferramenta tem como o#6etivo identificar e fi!trar os conceitos de
interesses de $ua!$uer p5,ina ;e# e esses conceitos podem ser inf!uenciados pe!a se!eo e
re!a%es dos conceitos particu!ares das onto!o,ias. Possui plgins para o Internet ,xplorer e
0o$illa.
J> 0 pro,rama Ma,pie se encontra no site? http?IIpro6ects.Ami.open.ac.uAIma,pieImain.htm!
Figra 9:( Imagem do programa 0agpie
KG
*.*.1 Roogle !a+e
4-
8 uma nova ferramenta do Qoo,!e para disponi#i!izao de informao. 3!a no 8 uma
ap!icao especfica de processamentos de ar$uivos da 9e#-sem7ntica como 4D&, 0;L,
4D&S. 0 Qoo,!e ;ave 8 uti!izado para a disponi#i!izar informao em tempo rea! e
possi#i!itar o comparti!hamento de diversas mdias como fotos, mapas, te+to, ap!ica%es do
tipo p!u,in, vdeos e interao com a,entes. 0 !ado poderoso dessa ferramenta 8 a
possi#i!idade de criao de a,entes $ue podem au+i!iar no desenvo!vimento de pro,ramas
9e#-sem7nticos.
As ap!ica%es $ue se va!em dos princpios da 9e#-sem7ntica so cada vez mais fre$uentes.
3m muitos casos de ap!ica%es novas $ue sur,em, a!,umas discuss%es re!ativas aos seus usos
JH Qoo,!e ;ave se encontra no site? http?II9ave.,oo,!e.comI e o site para desenvo!vimento na api do ,oo,!e
9ave 8? http?IIcode.,oo,!e.comIint!Ipt-24IapisI9aveI
Figra KL( Yoogle Wave
KN
se fazem emer,entes, tais como a uti!izao de ferramentas 9e#-sem7nticas por partes de
artistas conceituais $ue mi,ram para o ci#erespao. Oeste sentido, 8 o uso conceitua! $ue se
faz da ferramenta $ue se constitui no e!emento chave para compreender o por$ue da uti!izao
da ferramenta, en$uanto e!a considerada em si mesma, est5 re!acionada com os princpios
!,icos descritos at8 a$ui na presente pes$uisa de mestrado. omo suporte, uma ferramenta
9e#-sem7ntica pode ser ro#usta e suficientemente f!e+ve! para permitir uma mirade de
possi#i!idades de usos no ci#erespao, desde #ancos de dados at8 e+press%es conceituais na
forma de arte ^ tecnologia. 0rientar-se desta forma si,nifica !evar em conta a or,anizao
das re!a%es onto!,icas naturais e a re!ao da informao no conte+to da ;32 como
e!ementos motivador e da cu!tura na era do ci#erespao.
*.- %esen+ol+imento de Sistema de :ist$ricos de Ua+egao e
Agentes Inteligentes
0s ;istemas de histricos de navega%o e Agentes inteligentes remontam aos conceitos
re!acionados com a 1A DInteligncia ArtificialE e se constituem em uma promessa emer,ente
da possi#i!idade de uma nave,ao e pes$uisa estruturas e com sentido no ci#erespao, na
$ua! se6a possve! um maior aproveitamento da informao, sua c!assificao, compreenso,
#em como o res,ate do ,:nio computaciona! a servio da cu!tura humana. De um modo ,era!,
o desenvo!vimento destas duas vertentes est5 intimamente associado ao conceito de
historicidade P compreendido a$ui so# o ponto de vista de uma onto!o,ia situada no campo
computaciona!
JJ
.
Oo ensino)aprendi$agem nos crsos de compta%o somos !evados a considerar $ue um
possve! sistema de histrico de nave,ao pode ser construdo para a6udar a faci!itar a
nave,ao futura do usu5rio e fornecer novas onto!o,ias na sua interao na nave,ao na
1nternet. .m es#oo desse sistema seria teria a se,uinte ar$uitetura.
JJ onsidera-se a$ui o dado a partir dos pressupostos das redes peer)to)peer A*K*B e pe!os aspectos conceituais
considerados por Ma6AiY D<==GE.
G=
A ar$uitetura acima apresentada 8 uti!izada a,entes inte!i,entes para a interao entre as
m5$uinas dos usu5rios, na co!eta e formao das informa%es de histricos nave,ados e
apresentao de estmu!os de marcao de conte+to sem7ntico para o usu5rio.
A ap!icao desse sistema pode ter v5rios aspectos interessantes $ue so?
persona!izao da informao particu!ar de um usu5rio@
um determinado ,rupo de usu5rios de um se,mento a ser estudado por uma
empresa de pes$uisa de mercado@
contro!e para rece#imento de propa,anda dese6ada em sites da 1nternet so#re
determinados produtos.
comparti!hamento de onto!o,ias@
possve! a!icerce para construo de sistemas inte!i,entes com inte!i,:ncia
artificia!@
Figra K9( Ar@itetra de histrico de navega%o e agentes inteligentes
GC
disponi#i!izao de perfi! psico!,ico@
me!horias na interao das interfaces dos pro,ramas computacionais@
3sse sistema no 8 um sistema $ue se6a imp!ementado por uma (nica empresa ou ,rupo de
pessoas em particu!ar. 0 desenvo!vimento tem de partir de iniciativas tanto de empresas como
comunidades de forma or,anizada e um propsito definido. 3sse propsito visa a me!horaria e
a reuti!izao do conte(do 9e#-sem7ntico ,erado, pois a cada c!i$ue de mouse e cada
pes$uisa de um ser, humano ou ta!vez ma$unico, com $ua!idade ana!tica comum. .ma
$ua!idade $ue possa dei+ar uma informao rica, inte!i,ve! e reuti!iz5ve! a outras pessoas ou
m5$uinas.
a
Ao desenvo!ver nosso caminho de pes$uisa $ue considerou os problemas da Reb)semIntica e
sas possibilidades no contexto ontolgico, rea!izamos a!,umas con$uistas. 3m primeiro
!u,ar foi possve! re!acionar o e+perimento mode!o de uma #usca dentro do engine da
Amazon, re!acionando-o com uma fundamentao dentro dos princpios !,ico-sem7nticos
esta#e!ecidos por Monta,ue e se,uidos por Ma6AiY na proposta de uma !,ica computaciona!
fundada em pressupostos onto!,icos. Ainda $ue este aspecto foi o primeiro a ser
considerados em nosso captu!o, e!e 8 o mais essencia! no sentido de reforar a premissa
perse,uida na presente pes$uisa, a $ua! postu!a $ue ho6e vivenciamos a possi#i!idade efetiva
de uma nave,ao e pes$uisa na 9e# $ue podem ser pautadas por orienta%es onto!,icas.
Assim sendo, o histrico da nave,ao de um usu5rio apro+ima-se do histrico de vida do
prprio su6eito, dia!o,ando com e!e e com a sua insero em uma dada cu!tura.
0ra, esta condio atua! est5 vincu!ada ao fato de $ue, no somente o su6eito individua! se
#eneficia, mas i,ua!mente, em rede, e!e pode estar situado, a sa#er, em comunidades e no
parti!hamento da construo e acesso da informao, resu!tando em um dos aspectos co#ertos
pe!a chamada rede P<P. Oesse sentido, a nossa pes$uisa se contra com os desenvo!vimentos
socio!,icos apresentados por aste!!s D<==<E $uando este co!oca $ue a tecno!o,ia da
informao acentuar5 o seu potencia! e seu poder transformativo com os adventos da infovia
,!o#a!, da te!ecomunicao mve! e da capacidade de descentra!izar e difundir o poder da
informao e seu potencia! comunicativo e interativo. Se,undo, aste!!s, esse panorama ser5
G<
um marco no s8cu!o ``1.
f neste sentido $ue podemos introduzir, no somente a $uesto da ar$uitetura da 9e#-
sem7ntica, no funcionamento inter-re!aciona!, #em como as apro+ima%es da semitica,
principa!mente de Santae!!a D<==> [ <==HE, $uando nos fa!a do ci#erespao como uma
ar$uitetura !$uida. 0 potencia! onto!,ico da nave,ao 9e# se estrutura assim, cada vez no
interior do desenvo!vimento das prprias ferramentas de manipu!ao de conte(dos 9e#-
sem7nticos, sendo foco de ateno, no somente de pro,ramadores e pes$uisadores na 5rea da
computao e fi!osofia, che,ando inc!usive a cada vez mais ocupar o interesse de artistas $ue
!idam com tecno!o,ia, como por e+emp!o, nos atuais desenvo!vimentos do pes$uisador
portu,u:s Pedro Andrade
JF
, na sua proposta de uma QeoOove!a $ue se va!e de e!ementos de
pes$uisa onto!,ica na ;32.
0utra refer:ncia nesse sentido pode ser co!ocado no tra#a!ho $ue vem desenvo!vendo a
Pes$uisadora e Artista Lucia Leo, em B34M3O3/A
JK
o $ua! indica possi#i!idades de
construo de uma onto!o,ia. f por meio desse caminho $ue poderemos !evar em como de
JF http?II999.pontaodaeco.or,Ita+onom"ItermIC<F
JK http?II999.!ucia!eao.pro.#rIhermenetAaIinde+.htm
Figra KK( Imagem sobre a YeoCovela D<==NE, cedida por *edro Andrade e E#s "arlos *etr6
G>
forma si,nificativa a or,anizao das re!a%es onto!,icas naturais e a re!ao da informao
no conte+to da ;32 como e!ementos motivador e da cu!tura na era do ci#erespao e, em uma
pa!avra sustentar a possi#i!idade de uma nave,ao e histrico or,anizados e mantidos por
uma 9e#-sem7ntica.
Oa conc!uso desta dissertao, a se,uir, enfatizamos pontos $ue se reve!aram, ao !on,o de
nossa pes$uisa, re!evantes para enfrentar os desafios da efetivao de uma perspectiva
onto!,ica em computao.
GH
7oncluso
1niciamos o caminho de nossa pes$uisa de mestrado pensando na possi#i!idade de estudar um
pouco mais aprofundadamente a $uesto da recuperao da informao resu!tante de uma
histrico de nave,ao no ci#erespao. Oesse sentido, $uando comeamos nossa pes$uisa
encontramos estreitamente vincu!ada a esta $uesto, a $ua! nos parecia por demasiado t8cnica,
e!ementos $ue remontavam a uma necessidade de forma!izao onto!,ica. 3ssa forma!izao
remeteu-se ' necessidade de um estudo difci! da conte+tua!izao onto!,ica da $uesto, no
somente no conte+to de uma viv:ncia em pro,ramao, mas fundamenta! no campo de uma
fundamentao fi!osfica. &oi $uando encontramos nos fi!sofos e !,icos, como Lei#niz,
4usse!!, arnap e outros o a#ri,o se,uro para o desenvo!vimento de nossas preocupa%es
metodo!,icas.
&oi a partir do estudo do pensamento destes autores da !,ica $ue o escopo de nossa pes$uisa
comeou a ficar mais c!aro. Assim che,amos a necessidade de re!acionar com o pensamento
da !,ica a $uesto da or,anizao !,ica da informao Dorientada por pressupostos
onto!,icosE, a $ua! nos co!ocou no centro da preocupao atua! de muitos desenvo!vedores
9e#, a sa#er, a $uesto da necessidade da construo de um paine! histrico-conceitua! para
uma reconstruo dos caminhos do usu5rio. &oi ento $ue visua!izamos a necessidade de uma
or,anizao, pautada por princpios, em meia a mirade de informa%es e materiais na 9e#,
dispersos, err5ticos, redundantes e, so#retudo, de uma ri$ueza nunca dantes esperada. om
isso, che,amos at8 a possi#i!idade de propormos em nosso pro,rama de pes$uisa a $uesto da
necessidade de postu!ar-se a sntese das necessidades de informao, situadas a partir da
,anho de uma maior $ua!idade na pes$uisa e refinamento socia! e individua! das #uscas na
9e#. 3m suma, estes meandros resu!taram no !ema de nossa pes$uisa? a estrtra ontolgica
presente na vivncia e navega%o no ciberespao.
Desco#rimos $ue os aspectos $ue foram evidenciados acima su#sistiam no interior do
funcionamento da m5$uina semitica $ue 8 o computador. 0 primeiro e!emento investi,ado
por ns foi o conceito de objeto. 3!e foi enfrentado por ns no conte+to do ci#erespao, o $ue
nos !evou a interro,ar inicia!mente acerca da definio de o#6eto e sua possve! estrutura,
!evando em conta $ue este objeto se constitua em um e!emento forma! intenciona! e no um
e!emento f5tico. 0 tra#a!ho de Qran,er acerca da $uesto do o#6eto na fi!osofia foi
GJ
compreendido como uma possve! transposio para o conte+to forma! da computao, dentro
da $ua! se tratam de o#6etos formais, tais como os !,icos e fi!sofos os fazem. om isso,
a!canamos a situao de podermos pensar um o#6eto i,ua!mente como um no-emprico, isto
$uando se trata de o#6etos conceituais e, em nosso caso mais pr+imo, os o#6etos
computacionais P os $uais so proeminentemente conceitos. A partir desse #uscou-se uma
fundamentao, a partir da fi!osofia e da !,ica para tais ideias. om isso, constatamos $ue os
o#6etos conceituais tendem a construir ,enera!idades a partir de crit8rios universais.
Oo centro destas preocupa%es enfocadas, encontramos o tra#a!ho do pensador 4udo!f arnap
$ue nos introduziu ao pro#!ema da compreenso e e+p!icao do $ue se6a um o#6eto e sua
funo onto!,ica, desi,nado por ns, a partir da !iteratura, como os crit8rios metodo!,icos
de arnap para o e+ame das proposi%es. Se,uindo o forma!ismo !,ico de Ma6AiY, a partir
dos princpios !,icos propostos por Monta,ue, foi possve! vis!um#rar a atua! discusso de
uma !,ica de se,unda ordem para os sistemas computacionais, as $uais incidem so#re a atua!
preocupao de pes$uisa com a,entes inte!i,entes e os engines de #uscas orientados
semanticamente. *ais perspectivas co!ocam-se dentro do pressuposto da intenciona!idade
!,ica, a $ua! incide so#re os conte+tos sem7nticos.
A partir do esforo inicia! de Monta,ue a proposta de Ma6AiY a!cana a possi#i!idade de
a!,oritmizao do entrecruzamento das estruturas reais, transformando-as em e!ementos
descritivos Dde uma moderna teoria das descri%esE, or,anizados semanticamente. *ais
sucessos mostram $ue na perspectiva das ci:ncias da computao atin,e-se ho6e o stats da
onto!o,ia, na fi,ura de uma !,ica 9e#-sem7ntica. &oi neste sentido $ue os e+emp!os
apresentados, como o da ma% verde Dreversi#i!idadeE e o da cola para porcelana Dconte+to
sem7nticoE foram apresentados P se6a como i!ustrativos do potencia! onto!,ico, #em como
coro!5rios-pr5ticos do e+erccio de uma pr5tica onto!,ica $ue 8 co-participada entre homem-
m5$uina.
Se por um !ado o nosso primeiro captu!o, A @est%o dos objetos no ciberespao e sa
problemati$a%o ontolgica, se co!ocou como a porta de entrada e fundamento de nossa
pes$uisa, por outro, e!e nos a#riu a possi#i!idade de fundamentar a reificao computaciona! a
partir de pressupostos onto!,icos. om isto pensamos $ue o fundamento essencia! da $uesto
de uma onto!o,ia computaciona! se co!ocava para ns, ainda $ue tenhamos $ue o#servar ne!e
um car5ter restritivo e finitista.
GF
A passa,em da fundamentao onto!,ica de uma 9e#-sem7ntica rec!amava por uma
ade$uao ana!tica do como e!a poderia situar-se no ci#erespao. Dentro da perspectiva da
fundamentao, nosso cuidado ,ravitou ao redor da conste!ao !,ica $ue nascia em Lei#niz
e percorria um !on,o caminho at8 Ma6AiY, passando por arnap e Monta,ue. *ratava-se de a!i
encontrarmos os e!ementos mnimos $ue forneciam a #ase !,ica fundamenta! para entrarmos
com uma perspectiva operaciona! da onto!o,ia no campo e escopo computaciona!.
&oi a partir destes autores e pensamentos $ue encontramos a possi#i!idade de pensarmos a
$uesto da onto!o,ia e sua entrada no campo da ;e#. Oesse sentido $ue foi de crucia!
import7ncia o encontro com o pensamento de Smith, On the Origin of Objects, a $ua! nos
permitiu compreender mais profundamente a reflex%o do conceito de ontologia na
compta%o, para a!8m dos aspectos 65 de!ineados anteriormente. A ref!e+o do conceito
onto!,ico de o#6eto no campo da computao se constitui em um dos a!icerces dos ro#ustos
tra#a!hos !evados a ca#o ho6e e, a!,uns de!es 65 ana!isados anteriormente.
A partir desse ponto, como 65 evidenciado anteriormente, fomos capazes de situar o conceito
de o#6eto no campo forma!-computaciona!, mostrando sua estrutura #inomia!, entre o rea! do
objeto emp#rico e o forma!-computaciona! do objeto representacional, como duas facetas ou
moda!idades de uma mesma rea!idade onto!,ica. 8 nesse sentido, a partir do campo a#erto
por Smith $ue somos capazes de pensarmos os componentes de ma ontologia
comptacional, os $uais indicam as propriedades, estruturas e nveis da onto!o,ia
computaciona!, como e!ementos $ue inte,ram o corpo forma!-!,ico de sua !in,ua,em. A
partir deste esta#e!ecido indicamos as ferramentas para a constr%o de ontologias
comptacionais, as $uais tornam mais operativos e contro!5veis os passos !,icos inerentes
aos processos de c!assificao e inde+ao dos #ancos de dados onto!,icos 9e#-sem7nticos.
Ao mesmo tempo, se a perspectiva onto!,ica em computao a#re um mundo de
possi#i!idades, vimos, a partir das #reves advert:ncias de ar!an $ue o mesmo processo
re$uer um cuidado e ateno dedicados.
Ao enfrentarmos, dentro de uma perspectiva onto!,ica, a potencia!idade da 9e#-sem7ntica,
rea!izamos e+perimentos de #usca na ;e#, re!atando os resu!tados o#tidos e os ana!isando
com apoio nos princpios !,icos-sem7nticos e !,icos-computacionais postu!ados
respectivamente por Monta,ue e Ma6AiY.
GK
Pautados por uma perspectiva onto!,ica, pudemos entrever as imp!ica%es sociais, cu!turais e
tecno-artsticas $ue remetem ao usu5rio $ue rea!iza a nave,ao a insero de!e na
comunidade da 1nternet e na rede de re!a%es ne!a esta#e!ecida e ao usu5rio $ue cria a partir
da pes$uisa onto!,ica na ;e#.
om nossas ref!e+%es so#re os aspectos ar$uitet_nicos e funcionais da 9e#-sem7ntica, inter-
re!acionamos conceitos e+p!orados nos campos da computao, da fi!osofia e da !,ica para
considerar o ci#erespao por meio de uma proposta de desenvo!vimento de um sistema
histrico de nave,ao e a,entes inte!i,entes $ue #usca superar as !imita%es dos #ancos de
dados re!acionais pro6etados antes do advento da 9e#-sem7ntica.
A nave,ao, como nos fez crer 2erthoz D<===E no seu estudo so#re a percepo do
movimento, 8 nada mais do $ue a e+ecuo de um p!ano interno #aseado na nossa e+peri:ncia
passada e os sentidos so usados para asse,urar $ue o p!ano se6a eficazmente e+ecutado e $ue
corre%es possam ser imp!ementadas a contento. Dado $ue na nave,ao, o c8re#ro e+ecuta
tarefas antecipatrias 8 p!ausve! supor $ue para se rea!izar uma tarefa nave,aciona!, se6a
necess5rio um mode!o de tra6etria $ue antecipe o caminho a ser tri!hado. f so#re esse tipo de
tra6etria de natureza antecipatria $ue, vis!um#ramos devamos nos de#ruar para a!canamos
so!u%es eficazes na imp!ementao de a%es de #usca na ;e#.
0 histrico da nave,ao de um usu5rio, como afirmamos anteriormente nesta dissertao,
apro+ima-se do histrico de vida do prprio su6eito, dia!o,ando com e!e e com a sua insero
em uma dada cu!tura.
GG
ndice Remissi+o
Pensadores.....................................................................................................................................
2ertrand 4usse!!.............................................................................G-C=, C<-CH, CN, F>, GH, N=
2rain ant9e!! Smith..............................................................>, HG-J=, JN, F=, FJ, FK, GF, NC
&i!a!eto..................................................................................................................................C<
&riedrich Lud9i, Qott!o# &re,e.............................................................CH, <=, ><, >>, F>, N=
Qi!!es Qaston Qran,er........................................................................................>, G, N, GH, N=
Qottfried ;i!he!m von Lei#niz.....................................>, G, C<-CH, <G, JH, JN, GH, GF, N=, NC
Qui!herme de 0ccam..............................................................................................................N
1mmanue! /ant...........................................................................................................J, CF, N=
Lucia Santae!!a...............................................................................................................G<, NC
Lud9i, ;itt,enstein....................................................................................CH, CJ, <=, <C, NC
Manue! aste!!s..............................................................................................................GC, N=
4ichard Monta,ue >, H, G, C<-CJ, CK, <K-<N, ><->K, >N, HC, H<, HJ, JN, FG, GC, GJ, GF, N=, NC
4udo!f arnap............................>, G, C<, CH-CG, <=, <K, <G, ><, H<, HJ, JN, F>, GH-GF, N=, NC
*efi!o..................................................................................................................................C<
*im 2erners Lee.....................................................................................F<, F>, FG, FN, KH, N<
;i!!iam de 0cAham................................................................................................................N
;o!f,an, Ste,mX!!er........................................................................................>, G, <K-<N, NC
boran Ma6Aic...................................>, G, C<, CH, CJ, CK, <H-<K, H<, HJ, JN, GC, GJ, GF, N=, NC
GN
Sibliogra&ia=
2erthoz, A. traduo ;eiss, Q. D<===E. 5he Brain_s ;ense of 0ovement A*erspectives in
"ognitive CeroscienceB, Barvard .niversit" Press
2oo!os, Q. DCNGHE. 5o be is to be the vale of a variable Aor to be some vales of some
variablesB, )ourna! of Phi!osoph", GC? H>=PHHN
ar!an, 3. D<==FE. Ontologia e Web ;emIntica, mono,rafia apresentada ao
departamento de ci:ncia da informao e documentao, universidade de 2ras!ia.
arnap, 4. DCNG=E. ,mpirismo, semIntica e ontologia, em M. Sch!icAI 4. arnap,
"oletInea de textos@ So Pau!o, A#ri!. Do!. 0s PensadoresE.
aste!!s, M. D<==<E. 0 poder da identidade. A era da informao? economia, sociedade e
cu!tura DLo!. <, >a ed.E. So Pau!o? Paz e *erra. HCCPH>N
rnAovic, Q. D. [ Stuart S. D<==KE. "omptation, Information, "ognition( 5he Cexs
and the Eiminal. am#rid,e Scho!ars Pu#!ishin,.
3co, B. D<===E. 5ratado Yeral 3e ;emiotica, Perspectiva.
3den, A. B., *urner, 4. D<==KE *roblems in Ontolog6 of "ompter *rograms. ) Applied
Ontolog6, Oo. C Hol K(C>P>F. P 10S Press P Amsterdam.
&re,e, Q. DCGKNE. 2e,riffsschrift, eine der arithmetischen nach,e#i!dete &orme!sprache
des reinen DenAens. Ba!!e a. S. Ler tam#8m a 3dio dos pensadores, PeirceI&re,e,
Pensadores DCNKHE. So Pau!o. A#ri! cu!tura!, na $ua! temos te+tos como Os
fndamentos da aritm-tica e ;obre a jstifica%o cient#fica de ma conceito)grafia.
Qran,er, Q. Q. DCNGNE. *or m conhecimento filosfico. So Pau!o. Papirus 3ditora.
/ant. 1. D<==GE. "ritica da ra$%o pra. Lis#oa. &undao a!ouste Qu!#enAian.
WWWWWW. D<==GE. *roleg`menos a toda metaf#sica ftra. 3di%es K=. Portu,a!.
Lei#niz, Q. DCNKHE. As palavras, in *ensadores. So Pau!o. A#ri! u!tura!.
WWWWWW. D````E. *rinc#pios da 0onadalogia, in http?II999.!ei#niz#rasi!.pro.#rI
Ma6AiY, b. D<==GE. intencional semantics for &3F data strctres. pu#!icado no AM
1nternationa! onference Proceedin, Series@ Lo!ume <NN - Proceedin,s of the <==G
internationa! s"mposium on Data#ase en,ineerin, [ app!ications ta#!e of contents
- oim#ra, Portu,a! - P5,inas FN-KK P <==G
Monta,ue, 4. DCNKHE. Formal philosoph6( selected papers of &ichard 0ontage I ed.
and 9ith an introd. #" 4ichmond B. *homason. Oe9 Baven? Za!e .niv. Press.
Oo#!e, )., 2idd!e, 4., *empero, 3., Pearce, D. D<==FE. ,xtended Abstract( 5oRards a
;emiotics of Object) and Aspect)Oriented 3esign. in 3uropean onference 0n
omputin, And Ph"!osoph". *rondheim P Oor9a".
Peirce, . S. DCNG>E. MestGes concernentes a certas facldades reivindicadas pelo
homem DCGFGE. in 0s Pensadores, vo!ume PeirceI&re,e, terceira edio, A#ri!
u!tura!@
WWWWWW. DCNG>E. Algmas conse@ncias de @atro incapacidades DCGFGE. in 0s
Pensadores, vo!ume PeirceI&re,e, terceira edio, A#ri! u!tura!@
WWWWWW. As o#ras de Qeor,e 2erAe!e" DCNGGE. 1n har!es S. Peirce. 3! hom#re, un si,no.
2arce!ona, 3ditoria! rtica@
4usse!!, 2. DCNHGE. Eos princ#pios de la matem2tica. 2uenos Aires, 3spasa-a!pe,
WWWWWW. On denoting DCNG>E. in 0s Pensadores, vo!ume 4usse!!, terceira edio, A#ri!
u!tura!@
WWWWWW. DCNGCE. Introd%o a filosofia matem2tica. 4io de )aneiro, bahar 3ditores@
WWWWWW. DCN>NE. Os problemas da filosofia. Porto, 1mprensa portu,uesa@
N=
WWWWWW. DCNGCE. Egica 6 conocimiento. o!ectanea de te+tos? CN=C-CNJ=. Madrid,
*aurus 3diciones@
WWWWWW. DCNN<E. *he Phi!osoph" of Lei#niz. 4out!ed,e.
Santae!!a, L. D<==>E "ltras e artes do ps)hmano( da cltra das m#dias a
cibercltra, So Pau!o, Pau!us.
WWWWWW. D<==HE Cavegar no "iberespao. O *erfil "ognitivo do Eeitor Imersivo, So
Pau!o, Pau!us.
Smith, 2. . DCNNGE On the Origin of Objects. am#rid,e, Massachusetts, M1* Press.
Ste,mX!!er, ;. DCNKKE. A filosofia contemporInea, vol.K. So Pau!o. 3P..
;itt,enstein, L. DCNGKE. 5ratado lgico)filosfico ^ InvestigaGes Filosficas. Lis#oa,
&undao a!ouste Qu!#enAian.
!ebiogra&ia=
U;hat is an o#6ectV - http?II6ava.sun.comIdocsI#ooAsItutoria!I6avaIconceptsIo#6ect.htm!
\Acesso em? C= de a#ri! de <==N]
UOovo Dicionario Aur8!io na 1nternetV -
http?II<==.<<J.CJK.C<>Idicaure!ioposIpes$uisa.aspTstr*e+to^o#6eto \Acesso em? <=
de a#ri! de <==N]
Definio de o#6eto na 3ncic!op8dia P!ato da .niversidade de Standford -
http?IIp!ato.stanford.eduIentriesIo#6ectI \Acesso em? <= de a#ri! de <==N]
Ma6AiY, b. http?II999.,eocities.comIzoranWitI13331ntensP<PW4D&.pdf \Acesso em? C=
de a#ri! de <==N]
http?II9hat.csc.vi!!anova.eduIt9iAiIpu#IMainI0;L&i!e1nformationIApri!-=K.rdf-
+m!.o9! \Acesso em? C= de maro de <==N]
http?II999.,oo,!e.com.#rIint!Ipt-24I9h"Wuse.htm! \Acesso em? C= de maro de <==N]
http?II999.,eocities.comIzoranWitI \Acesso em? C= de maro de <==N]
Oo,ueira, &. &. D<==NE. 4e!ao entre conhecimento e os o#6etos metafsicos no
pensamento Aantiano. 1n? ;e#arti,os.com?
http?II999.;e#arti,os.comIartic!esICJK><ICIre!acao-entre-conhecimento-e-os-
o#6etos-metafisicos-no-pensamento-AantianoIpa,inaC.htm! \Acesso em? <= de a#ri!
de <==N]
0!iveira, A. . D<==NE. A crtica de arnap aos enunciados da Metafsica. Paran5.
4evista .rut5,ua. in?
http?IIperiodicos.uem.#rIo6sIinde+.phpI.ruta,uaIartic!eIvie9&i!eIHNCJIH=>K@
\Acesso em? C= de a#ri! de <==N]
Santos. Luiz Benri$ue Lopes DCNK>E. Sem7ntica e onto!o,ia. *e+to da apresentao da
mesa-redonda de *eoria da L,ica e da Lin,ua,em, na ``L 4eunio da S2P, in?
http?II999.ff!ch.usp.#rIdfIsiteIpu#!icacoesIdiscursoIpdfID=HWSemanticaWeWonto!o,
ia.pdf, e outros. \Acesso em? <= de a#ri! de <==N]
3+tended A#stract? *o9ards a Semiotics of 0#6ect- and Aspect-0riented Desi,n
http?IIhomepa,es.ecs.vu9.ac.nzImd6pIfi!esIO2*PW3AP=F.pdf \Acesso em? <J de
6aneiro de <==N]
S9oo,!e em http?IIs9oo,!e.um#c.eduI \Acesso em? C= de maro de <==N]
http?IIen.9iAipedia.or,I9iAiI4ichardWMonta,ue
semanticsarchive.netIArchiveIDA<Z6Z=MI4ichardWMonta,ueW#ioWParteeW=J.pdf
\Acesso em? C= de maro de <==N]
NC
http?II999.neon-pro6ect.or, \Acesso em? =J de 6aneiro de <==N]
http?IIpro6ects.Ami.open.ac.uAIma,pieImain.htm! \Acesso em? =J de 6aneiro de <==N]
2erners Lee, *., USemantic ;e# 4oad mapV - CHIC=ICNNG -
http?II999.9>.or,IDesi,n1ssuesISemantic.htm! \Acesso em? =J de 6aneiro de
<==N]
2erners Lee, *., P!enar" at ;;; Qeneva NH P 1;; P setem#ro CNNH -
http?II999.9>.or,I*a!AsI;;;NH*imI \Acesso em? =J de 6aneiro de <==N]
http?IIonto!o,".ihmc.usIActor.o9! \Acesso em? =J de 6aneiro de <==N]