Está en la página 1de 57

Sistemas de Operacin III Tema IV: Sistemas Distribuidos basados en Web

Prof. Yudith Cardinale Sept-dic 2011

Universidad Simn Bolvar

Prof. Yudith Cardinale

Aplicaciones en Internet
La aplicacin distribuida ms conocida es la World Wide Web o la Web
N

Se trata de un sistema distribuido de servidores HTTP y clientes WEB para acceder a documentos vinculados.
N NCon

un navegador eb! un usuario visuali"a sitios eb compuestos de pginas eb #ue pueden contener te$to! imgenes! videos u otros contenidos multimedia! y navega a trav%s de ellas usando &iperenlaces.
Universidad Simn Bolvar
Prof. Yudith Cardinale

Aplicaciones en Internet

La eb naci gracias a Tim Berners'Lee a (inales de )**+ en el CE,-! el laboratorio Europeo de ./sica de part/culas de Sui"a.
N

Universidad Simn Bolvar

Prof. Yudith Cardinale

Aplicaciones en Internet
0dea original1 permitir #ue un grupo numeroso de investigadores! dispersos geogr(icamente tuviera acceso a documentos compartidos.
N

2inculando los documentos entre s/! (ue (cil integrarlos desde di(erentes proyectos en un nuevo documento sin necesidad de reali"ar cambios centrali"ados.
N

Universidad Simn Bolvar

Prof. Yudith Cardinale

Web 1.0 y sus caractersticas


3Etapa comprendida entre )**)'4++5.
3Es un tipo de Web esttica. 3Es slo de lectura. El usuario no puede interactuar con el contenido de la pgina 6nada de comentarios! respuestas! citas y etc.7! estando totalmente limitado a lo #ue el Webmaster publica. 3Los Website eran tan estticos #ue casi nunca se actuali"aban. 38so de tecnolog/as asociadas a eti#uetas y (ormulario en HT9L con imgenes y botones en (ormato :0.. 3Los datos #ue se insertaban en los (ormularios HT9L slo eran enviados v/a email a trav%s de un cliente de correo electrnico #ue el usuario ten/a instalado en su PC.
Universidad Simn Bolvar
Prof. Yudith Cardinale

Web .0 y sus caractersticas


3Etapa comprendida en desde 4++5' al presente. 3Es un tipo de Web dinmica 3 8so de tecnolog/as como HT9L! PHP! ;SP! Bases de <atos! =avascript! <HT9L! >9L! Soap! etc. 3Los usuarios de la Web pueden contribuir. Publican las in(ormaciones y reali"an cambios en los datos. 3Programas y &erramientas en l/nea! sin necesidad de instalar nada en el PC ya #ue estn en 0nternet. 3?rientada a compartir datos! donde todos aportan. 3Programas para P<;s y tel%(onos celulares.

Universidad Simn Bolvar

Prof. Yudith Cardinale

Web !.0 y sus caractersticas


3La trans(ormacin de la red en una base de datos 6<ata Web7. 38so de las tecnolog/as de inteligencia arti(icial. 3El desarrollo de programas #ue puedan ra"onar 6Web semntica y S?;7. 39a$imi"acin de la intercone$in 6?mnipresencia7.

Universidad Simn Bolvar

Prof. Yudith Cardinale

Ser"icio Web
8nidad interoperable y reusable #ue no tiene llamadas @empotradasA a otros servicios. N Proveen interaccin &umano'm#uina N So(t are d%bilmente acoplado N .uncionan internamente usando lenguaBes tradicionales1 Bava! .net! cC! (ortran! ... N ;utodescriptivos 6 sdl7! tanto (uncionalmente como de datos1 descripcin semntica N -o Berr#uicos
N
Universidad Simn Bolvar
Prof. Yudith Cardinale

Ser"icios Web
0ndependientes de la implementacin del propio servicio! a nivel de1 lenguaBes! sistemas de operacinDplata(orma! (uentes de bases de datos
N

Proveen eBecucin remota con el en(o#ue cliente'servidor N ?tras e$periencias1 ,PC! ,90! C?,B; N ?r#uestacin o composicin
N N<escubrimiento
Universidad Simn Bolvar

y composicin dictado por los re#uerimientos del negocio


Prof. Yudith Cardinale

Ser"icios W#$: modelo de comunicacin


9odelo ClienteDServidor1
Mquina local Mquina remota Peticin del servicio Cliente
espuesta

Servidor

Todos los servicios sobre 0nternet (uncionan baBo este es#uema El medio de env/o para la peticinDrespuesta es la red 8n servidor debe poder maneBar varios usuarios concurrentemente
Universidad Simn Bolvar
Prof. Yudith Cardinale

Ser"icios W#$: modelo de comunicacin


Servicio HTTP1 eBemplo del modelo ClienteDServidor Los navegadores se comunican con los servidores Web por medio del protocolo HTTP 6Hyper Te$t Trans(er Protocol! ,.C 4E)E7. HTTP es un protocolo su(icientemente ligero y rpido para ser utili"ado en un sistema colaborativo de in(ormacin de medios distribuidos. Es un protocolo gen%rico orientado a obBetos! por lo cual se puede utili"ar para diversos tipos de aplicaciones. HTTP (ue creado en )**+ por Tim Berners'Lee! reempla"ando en gran medida los sistemas :op&er.
Universidad Simn Bolvar
Prof. Yudith Cardinale

Ser"icios W#$: modelo de comunicacin


Servicio HTTP1 ! Cmo (uncionaF

http://www.ldc.usb.ve/~yudith

HTTPD).+ 4++ ?J :ET DGyudit& HTTPD).+ Server1 ;pac&eD4.+.)E ;ccept1 te$tDplain Content'type1 te$tD&tml ;ccept1 te$tD&tml Last'9odi(ied1 T&u =ul I ++14K155 4++) 8ser';gent1 -etscape Communicator H.IE Content'Lengt&1 4++5 L&tmlMLbodyM ... LDbodyMLD&tmlM

Universidad Simn Bolvar

Prof. Yudith Cardinale

Ser"icios W#$: modelo de comunicacin


Servicio HTTP1 PROXIES

Universidad Simn Bolvar

Prof. Yudith Cardinale

Ser"icios W#$: modelo de comunicacin


Servicio HTTP1 CGI o ASP o Servlets

http://www.ldc.usb.ve/cgi-bin/hello.pl

El servidor crea un nuevo proceso y coloca los valores :ET Dcgi'binD&ello.pl HTTPD).+ apropiados en las variables de ambiente. ;ccept1 te$tDplain Se pasan los parmetros por stdin o por argumentos segNn ;ccept1 te$tD&tml 8ser';gent1 -etscape el m%todo del P?ST Communicator H.IE Se eBecuta la aplicacin C:0! los resultados se toman de stdout.
Universidad Simn Bolvar
Prof. Yudith Cardinale

Ser"icios W#$: modelo de comunicacin


Servicio HTTP1 Contenido dinmico usando mdulos en el servidor

Conexi n segura

https://webmail.cesma.usb.ve

Universidad Simn Bolvar

Prof. Yudith Cardinale

Ser"icios W#$: modelo de comunicacin


Servicio HTTP1 Problemas
Problema
Causa gran congestin

Solucin
8so de cone$iones persistentes 0mplementacin de HTTPS

Es inseguro

Es un protocolo sin estado

8so de cooOies! maneBo de sesiones 0mplementacin de nuevos encabe"ados en HTTPD).)


Prof. Yudith Cardinale

Problemas de cac&ing

Universidad Simn Bolvar

%oti"acin: #"olucin de Ser"icios Web


T#e Cloud of Linked Data, usin/ t#e ,e to connect related data t#at was not previously linked0 Published Data are enhanced with semantics! $tandards to annotate and descri e data: %&', ()*, ()*$, +,'! $tandards to -uery data: $"A(.'! +ntolo/ies representin/ almost any domain! Hyperlink- ased systems! "rotocols: #ttp, uri, #tml Documents and data were published Arpanet: four servers connected Files were transferred Tools: ftp, telnet, e-mail 80s
Universidad Simn Bolvar

0,9Ls 4+)+'ESWC 4+)+

90s

00s

Prof. Yudith Cardinale

Now

%oti"acin: #"olucin de Ser"icios Web


123plosion in t#e num er of:
4'inkin/ +pen )ata resources and data ases 4)ifferent -uality parameters! 45ontrolled voca ularies: 4&e$H, 6+, "+P 4Hi/#ly interconnected data sources: )ifferent $i7es &any links
1)ifferent

in- and outde/rees, etc

18iolo/ical ,e : lar/e

datasets of linkin/ data!

16enes, )iseases,

5linical )ru/s, "roteins, and so on!


Universidad Simn Bolvar

0,9Ls 4+)+'ESWC 4+)+

Prof. Yudith Cardinale

%oti"acin: #"olucin de Ser"icios Web


123plosion in t#e num er of:
4'inkin/ +pen )ata resources and data ases !olecular databases 1170, 95 more 4)ifferent -uality than 2008 and 110 more than the year before " parameters! #ervices and tools published 45ontrolled voca ularies: by these databases follow a similar progression" 4&e$H, 6+, "+P $n %ctober 2007& Cloud of 'in(ed )ata 4Hi/#ly interconnected data sources:datasets consisted of over two billion *)+ triples& )ifferent which $i7es were interlin(ed by over two million *)+ lin(s. ,y !ay 2009 this had grown to 4.2 billion *)+ triples& &any links

by 1)ifferentinterlin(ed in- and out-

around 142 billions *)+ lin(s" -oday de/rees, the etc Cloud of 'in(ed )ata has at least 13,112,409, 91 triples.

18iolo/ical ,e : lar/e

datasets of linkin/ data!

16enes, )iseases,

5linical )ru/s, "roteins, and so on!


Universidad Simn Bolvar

0,9Ls 4+)+'ESWC 4+)+

Prof. Yudith Cardinale

%oti"acin: #scenario actual


N N N

"nternet1 repositorio de gran cantidad de in(ormacin. #illones de (uentes de datos y de usuarios. <ado un dominio del saber! e$isten cientos o miles de (uentes de datos #ue mantienen datos relacionados con el mismo! algunos con $illones de instancias.

Universidad Simn Bolvar

Prof. Yudith Cardinale

%oti"acin: &a Web


N La

%e$ es distri$uida1

N Cada

nodo es autnomo e independiente. N &o e$iste un control central. N Cada comunidad usa su propio voca$ulario. N &o toda la in(ormacin es correcta y consistente o completa.
N La

%e$ es dinmica1

N Contenido

de las pginas cambia constantemente. N -uevas pginas se aQaden constantemente.

Universidad Simn Bolvar

Prof. Yudith Cardinale

%oti"acin: &a Web


N

La %e$ es masiva1
N

Se estima1
N N

)5 millardos de pginas descubiertas. Esta candidad se duplicar en un aQo.

La %e$ es un mundo a$ierto1


N

Si algo no se encuentra! no se puede suponer #ue es (also.

La %e$ est diseQada para ser entendida por personas y no por m#uinas1
'atos son entendidos por la aplicaciones propietarias. N Es dif(cil
N
N N

0ntercambiar datos entre aplicaciones. ;gregar datos desde varias (uentes de datos.
Prof. Yudith Cardinale

Universidad Simn Bolvar

&a Web Sem'ntica


N N N

Pr$ima :eneracin de la ,ed. E$tensiones a la ,ed actual. Hace el contenido de la ,ed accesible a sistemas de so(t are! de (orma #ue m#uinas puedan entender los datos. @T(e Semantic Web: a ne) *orm o* Web content t(at is meanin+*ul to computers )ill unleas( a re"olution o* ne) possibilities) *+im #erners-,ee et al.- Scientific .merican 2001/

Universidad Simn Bolvar

Prof. Yudith Cardinale

&a Web Sem'ntica: ,re-condiciones


N N N

<atos puedan intercambiarse.


N

>9L! >9L Sc&ema ,<.! ?ntolog/as

Semntica de los datos sea e$pl/cita


N

Propiedades de los datos y de los metadatos pueden ser in(eridas.


N

Lgica'de$e ser suficientemente poderosa para descri$ir propiedades comple0as de los o$0etos pero no lo suficientemente comple0a que se vuelva no decidi$le1

Universidad Simn Bolvar

Prof. Yudith Cardinale

&a Web Sem'ntica: .e/uisitos


N N

<esarrollo de lenguaBes #ue sean entendibles por m#uinas. <esarrolo de &erramientas #ue permitan acceder e(icientemente a los datos y al conocimiento. <esarrollo de &erramientas #ue &agan uso de estos lenguaBes y permitan descubrir! acceder! presentar y mantener (uentes de datos. <esarrollar aplicaciones #ue o(re"can un nuevo nivel de servicio a los &umanos
Universidad Simn Bolvar
Prof. Yudith Cardinale

&a Web Sem'ntica: Tecnolo+as


N

>9L 6e>tensible 9arOup Language71


N N N

LenguaBe para el intercambio de datos en el Web y entre aplicaciones Permite crear tags #ue pueden ser usadas por scripts o programas y poder generar (unciones so(isticadas El programador debe conocer los tags E$presa signi(icado <e(inido en tripletas 6suBeto! verbo6predicado7! obBeto7 Las tripletas pueden escribirse en >9L Los suBetos y los obBetos son identi(icados por 8,0 68,Ls7 Los verbos tambi%n pueden identi(icarse con 8,0 Coleccin de in(ormacin <a el mismo signi(icado a di(erentes t%rminos
Prof. Yudith Cardinale

,<. 6,esource <escription .rame orO7


N N N N N

?ntolog/as1 ?WL 6?ntology Web Language7


N N
Universidad Simn Bolvar

Aplicaciones Web Tradicionales

.--P )ynamic Content /ngine Code )atabase

.-!'

Universidad Simn Bolvar

Prof. Yudith Cardinale

Aplicaciones Web Sem'ntica

.--P0#par1l2 )ynamic Content /ngine Code

.-!'

Universidad Simn Bolvar

Prof. Yudith Cardinale

Aplicaciones Web Sem'ntica


%ntology

4$ 4pp

.--P 0spar1l2 )ynamic Content /ngine Code 3 *easoner *)+ -riple #tore

*)+ -riple #tore

*)+

Universidad Simn Bolvar

Prof. Yudith Cardinale

Stac0 de la Web Sem'ntica

*esearch activities

#tandards activities

Universidad Simn Bolvar

Prof. Yudith Cardinale

1.I: 1ni"ersal .esource Identi*iers


N N N

Identifican los recursos en la Web: Importante para la Web Semntica Son interpretados consistentemente en todos los contextos Asociar un URI con un recurso significa que cualquiera puede enlazarlo, referirlo, accederlo u obtener una representacin particular del recurso. URLs es un ejemplo de URI: Identifica el recurso e incluye informacin sobre cmo y dnde accederlo (dependencia de la localizacin)
Universidad Simn Bolvar
Prof. Yudith Cardinale

1.I: 1ni"ersal .esource Identi*iers


N

'a sintaxis de un 5*' est6 determinada por: N #u es1uema asociado o protocolo. /l nombre del es1uema es parte del 5*$ 0http& mailto& ftp& telnet& etc2. N /l nombre )7# del servidor 1ue contiene el documento& aun1ue tambi8n es posible utili9ar una direcci n $P. N -ambi8n se incluye el n:mero de puerto; cuando se de<a afuera se usa un puerto pre-establecido. N +inalmente& el nombre del documento.
#cheme
http
Universidad Simn Bolvar

.ost name

Port

Pathname
/home/steen/mbox
Prof. Yudith Cardinale

:// =>?.>@.AB.== : C?

2%&: Datos Semi-#structurados


e>tensible 9arOup Language1
<db> <book> <title>Complete Guide to DB2</title> <author>Chamberlin</author> </book> <book> <title>Transaction Processing</title> <author>Bernstein</author> <author>Newcomer</author> </book> <publisher> <name> organ !au"man</name> <state>C#</state> </publisher> </db>

Universidad Simn Bolvar

Prof. Yudith Cardinale

2%&: ,ropiedades
N

Lenguaje basado en
N
N

etiquetas. modelos de datos semi-estructurados Metalenguaje Etiquetas pueden definirse Adaptable a dominios/aplicaciones

XML es flexible
N N N

N N

Separacin de: Contenido, Estructura y Presentacin Documentos son estructurados


N N N

Estructura de rbol La estructura puede reflejar significado Lenguajes para definir esquemas pueden ser usados para forzar cierta estructura
Prof. Yudith Cardinale

Existen Mltiples Vocabularios


Universidad Simn Bolvar

3ontribuciones de 2%& a la Web Sem'ntica

9eBora a HT9L en LenguaBe dependiente del dominio. Correspondencias entre >9L y HT9L 6>SL7 Separa la estructura de los datos de la (orma en #ue sern presentados. Permite auto'describir los datos. Estandari"a el intercambio de datos y conocimiento. Permite la @integracinA de datos con di(erentes es#uemas y propiedades. >9L <T<Rs o >9LSc&ema para de(inir la estructura del documento. Permite una validacin m/nima
Prof. Yudith Cardinale

Universidad Simn Bolvar

&imitaciones de 2%&
N 9uc&as

posibilidades di(erentes de codi(icar un universo de discurso. N -o se dice nada sobre el signi(icado de las estructuras. N <i(/cil de entender otros documentos.
N Se

debe entender el signi(icado de cada vocabulario. N -o se logr una estandari"acin.


Universidad Simn Bolvar
Prof. Yudith Cardinale

2%& y T(e Semantic Web


N <atos
N S0

puedan intercambiarse. de los datos sea

N Semntica

e$pl/cita
N -?

N Propiedades
N -?
Universidad Simn Bolvar

de los datos y de los metadatos pueden ser in(eridas.

Prof. Yudith Cardinale

.D45.esource Description 4rame)or06


N ;yuda
N -o

a crear relaciones entre datos al estilo eb 6 eb'liOe7


es (cil en t/picas bases de datos relacionales

N 9odelo
N

de datos de ,<.
6recurso!propiedad!valor7

N Tripletas

,ecurso 6SuBeto7 N Propiedad 6Predicado7 N 2alor 6?bBeto7 N Sinta$is


N S&ttp1DD
Universidad Simn Bolvar

de ,<.
vocabularios de >9L . 5.orgD,<.DT
Prof. Yudith Cardinale

N <i(erentes

.D4-%odelo de Datos
N N

,ecurso
N

Ente del cual se &abla <e(ine relaciones del ente con otros entes o valores
ecurso tiene Propiedad con 2alor*3$0eto/

Propiedad
N

;(irmacin
N ecursos- Propiedades 4 3$0etos estn identificados con un 5nico 6niversal esource "dentifier *6 "/ 78 pala$ras en los documentos est9n atados a una 5nica definicin que puede ser encontrada en el %e$.

Universidad Simn Bolvar

Prof. Yudith Cardinale

.D4-#7emplo
N .firmacin1
N @Ora

&assila es el creador del documento (ttp:88))).)!.or+89ome8&assilaA

N :structura1
N ,ecurso

6suBeto7 (ttp:88))).)!.or+89ome8&assila N Propiedad 6predicado7 &ttp1DD .sc&ema.orgDCCreator N 2alor 6obBeto7 @?ra LassilaA
Universidad Simn Bolvar
Prof. Yudith Cardinale

.D4-,ropiedades
N N

E$isten clases primitivas ,elaciones


SubClass?( N SubProperty?(
N

N N

0nstanciaciones de Clases E$iste una de(inicin (ormal de la semntica de ,<.


Teor/a de 9odelos N ConBunto de ,eglas de in(erencia #ue permiten in(erir nuevas tripletas
N

Universidad Simn Bolvar

Prof. Yudith Cardinale

.D4-Des"enta7as
N

N N N

<os documentos pueden usar de(iniciones di(erentes del mismo concepto y no se puede decidir #ue son e#uivalentes. Tiene problemas de ambiguedad en la de(icinin de sus elementos. -o se permite el maneBoDde(inicin de restricciones de integridad. Problemas de ra"onamiento y evaluacin de consultas puede ser intratable y no decidible.
Prof. Yudith Cardinale

Universidad Simn Bolvar

.D4 y T(e Semantic Web


N N

<atos puedan intercambiarse.


N

S0 Parcialmente. E$tensiones de ,<. Sc&ema permite de(inir la semntica de built'in predicates.

Semntica de los datos sea e$pl/cita


N

Propiedades de los datos y de los metadatos pueden ser in(eridas.


N

Parcialmente

Universidad Simn Bolvar

Prof. Yudith Cardinale

.D4 Sc(ema
'engua<e de descripci n de vocabularios *)+ 7o proporciona vocabularios especDficos& sin facilidades para describir las clases y propiedades de un dominio especDfico. 'as facilidades 1ue proporciona *)+# se expresan como un vocabulario *)+& es decir& un con<unto especiali9ado de recursos *)+ con sus propios significados. *)+# puede verse como un sistema de tipos para *)+& similar al de los lengua<es orientados a ob<etos: recursos como e<emplares de una o m6s clases& <erar1uDa de clases& propiedades asociadas a clases...
Universidad Simn Bolvar
Prof. Yudith Cardinale

Ontolo+as
N

Conceptuali"acin (ormal del mundo LenguaBe basado en <escription Logics. <e(inen parte del mundo y permiten interacciones entre datos con di(erentes (ormatos Es un documento #ue de(ine (ormalmente las relaciones entre t%rminos a trav%s de1
8na ta$onom/a1 clases de obBetos y relaciones entre ellos N ,eglas de in(erencia1 e$presan ms signi(icado
N
Universidad Simn Bolvar
Prof. Yudith Cardinale

&en+ua+e de Ontolo+as
N

8sualmente introduce
N N N N N N

Conceptos1 clases! entidades Propiedades de los conceptos1 atributos! slots! roles. ,elaciones entre conceptos. ,estricciones de integridad ;$iomas 0nstancias U simples1 slo conceptos. (rame'based1 slo conceptos y propiedades. logic'based1 conceptos! propiedades y restricciones deep1 conBunto compleBo de propiedades 6ciencia e ingenier/a7 S&allo 1 t%rminos #ue no cambian y organi"an grandes cantidades de datos 6banco! (inan"as7
Prof. Yudith Cardinale

pueden ser
N N N N N

e$presados a trav%s de diagramas.


Universidad Simn Bolvar

Ta:onomas
N 2ocabulario
N

para construir ta$onom/as

-axonomDa: Clasificaci n de recursos en forma de <erar1uDa de clases. N %ntologDa 0en *)+#2 F -axonomDa 3 N propiedades de las clases 3 N a 1u8 clases puede aplicarse cada propiedad 0dominio2 3 N 1u8 valores puede tener cada propiedad 0rango2 N Con rdfs:subClas%f se pueden definir <erar1uDas de clases :'ibro-ecnico rdfs:subClass%f :'ibro . N 5na clase puede ser subclase de varias clases :'ibro-ecnico rdfs:subClass%f :)ocs-ecnicos .
Universidad Simn Bolvar

Prof. Yudith Cardinale

#7emplo de Ta:onoma
)ocumento rdfs:subclass%f rdfs:subclass%f rdfs:subclass%f :)ocGeb

:)ocPapel

:)oc)isco

rdfs:subclass%f :4rtDculo :'ibro

rdfs:subclass%f :)H) :C)

rdfs:subclass%f :Hideo'ibro
Universidad Simn Bolvar
Prof. Yudith Cardinale

OW& 5Web Ontolo+y &an+ua+e6


N

LenguaBe de ?ntolog/a1
2ocabulario N ,elaciones entre los entes en el vocabulario
N
N

Ta$onom/a

ConBunto de reglas #ue e$plican el signi(icado del vocabulario y #ue permiten in(erir nuevos &ec&os.

N N

:rupo W5 y <;,P; promueven su de(inicin. La idea central de ?WL es permitir representaciones e(icientes de ontolog/as #ue puedan someterse a procedimientos de decisiones C&e#uea si la ontolog/a es lgicamente consistente o determina si un concepto particular cae dentro de la ontolog/a
Universidad Simn Bolvar
Prof. Yudith Cardinale

OW& 5Web Ontolo+y &an+ua+e6


N

?WL usa el @enla"adoA 6@linOingA7 provisto por ,<. para permitir #ue las ontolog/as est%n distribuidas Permite #ue las ontolog/as &agan re(erencias a t%rminos #ue estn en otras ontolog/as Soporta di(erentes tipos de in(erencias 6clasi(icacin y inclusin7 E$iste un gran nNmero de ra"onadores disponibles.
Universidad Simn Bolvar
Prof. Yudith Cardinale

OW&-#lementos
N

Clases e instancias de clases N Clases 6T'Bo$ ?ntolog/a7 N 0nstancias 6;'Bo$ Jno ledge Base7 =erar#u/a de clasesDinstancias. Propiedades de 0gualdadD<esigualdad N sameClass;s N sameProperty;s N same0ndividual;s N di((erente0ndividual;s Propiedades N inverse?( N Transitive N Symmetric
Prof. Yudith Cardinale

N N

Universidad Simn Bolvar

OW&-#lementos
N N N

<e(incin de una ontolog/a1 Lo l1?ntology rd(1aboutV@AM LDo l1 ?ntology M El valor del atributo rd(1about es usualmente nulo para indicar #ue el suBeto de la a(irmacin es t&is. <e(inicin de una clase Lo l1Class rd(10<V@;nimalAM Lrd(s1labelM ;nimal LDrd(s1labelM LDo l1ClassM Lo l1Class rd(10<V@9aleAM Lrd(s1subClass rd(1resourceV@C;nimalAM LDo l1ClassM

Universidad Simn Bolvar

Prof. Yudith Cardinale

OW&-#lementos
Lo l1Class rd(10<V@9anAM Lrd(s1subClass rd(1resourceV@CPersonAM Lrd(s1subClass rd(1resourceV@C9aleAM LDo l1ClassM Lo l1Class rd(10<V@WineAM Lrd(s1subClass rd(1resourceV@W(oodXPotableLi#uidADM Lrd(s1label $ml1langVAenAM ineLDrd(s1labelM Lrd(s1label $ml1langVA(rAMvinLDrd(s1labelM LDo l1ClassM Lo l1Class rd(10<V@PastaAM Lrd(s1subClass?( rd(1resourceV@CEdibleT&ingADM LDo l1ClassM
Universidad Simn Bolvar
Prof. Yudith Cardinale

OW&-Venta7as
N

N N

Poder e;presivo equivalente a 'escription ,o<ic. N Semntica bien de(inida N Propiedades son conocidas N E$isten algoritmos de in(erencia N Evidencias de tractabilidad emp/rica. 60ntratable7 estricciones de cardinalidad 'efinicin de Clases N E$tensin N Comprensin Poder e;presivo determinado por N Clase de operadores #ue se seleccionen N Clase de a$iomas #ue se permitan :;isten cientos de ontolo<(as definidas en diversos dominios del sa$er.
Prof. Yudith Cardinale

Universidad Simn Bolvar

OW&-Des"enta7as
N

N N N N

<ebe e$istir un nNmero limitado de constructoresDa$iomas para #ue el proceso de in(erencia sea decidible. -o es muy natural. -o permite de(inirDc&e#uear restricciones de integridad. ?pen World ;ssumption
N

,a"onamiento es ms compleBo

CompleBidad puede ser 0ntractable


Prof. Yudith Cardinale

Universidad Simn Bolvar

OW& y T(e Semantic Web


N <atos
N Si

puedan intercambiarse. de los datos sea

N Semntica

e$pl/cita
N Si

N Propiedades

de los datos y de los metadatos pueden ser in(eridas.


N Parcialmente

Universidad Simn Bolvar

Prof. Yudith Cardinale

3omposicin autom'tica de ser"icios )eb


N Considere

un cienti(ico #ue necesita combinar un conBunto de servicios eb para satis(acer un re#uerimiento. eb disponibles. N E$isten muc&os servicios N 8n servicio puede puede resolver una o ms tareas simultneamente. eb pueden tener un costo asociado. N Servicios N El cient/(ico debe resolver dos tareas compleBas1 ' 0denti(icar un conBunto de servicios #ue satis(aga sus ,e#uerimientos. ' Seleccionar los servicios de manera #ue el costo sea m/nimo.

Universidad Simn Bolvar

Prof. Yudith Cardinale