PDF de programación - Lógica difusa en la Web Semántica

Lógica difusa en la Web Semántica

Daniel Rodríguez Fernández



Alumno de doctorado del Departamento de Informática de la Universidad de Oviedo

Trabajo para el curso de doctorado Web Semántica

[email protected]

Resumen. La Web Semántica se presenta como una herramienta para poder
acceder, compartir y manipular la información contenida en la Web. Esta
herramienta pretende simplificar las tareas complejas de extracción de
información y servicios empleando metadatos que almacenen la semántica de la
información. Las tareas anteriores han sido planteadas en primera instancia
desde el punto de vista de la Lógica Nítida la cual tiene ciertos problemas para
asimilar conceptos relativos o imprecisos. Como solución a esta problemática
se plantea la posibilidad de añadir características de la Lógica Difusa a la Web
Semántica. En el presente trabajo pretendemos estudiar la problemática anterior
y un sistema denominado Fuzzy OWL.

Palabras clave: Web Semántica, Lógica difusa.

1 Introducción

La idea de proporcionar semántica a la Web viene de lejos. El planteamiento de la
Web Semántica surge en 2001 en [2]. Su objetivo final es ser capaz de proporcionar
los medios para que se puedan gestionar de forma automática gran parte de las tareas
que hoy por hoy tienen que realizar los usuarios humanos.

Una de las piezas clave de la Web Semántica es el empleo de ontologías para
definir la clase de diferentes recursos de la Web y las relaciones entre los mismos.
Estas ontologías y las deducciones que se toman a partir de ellas plantean unas series
de problemas, como son la dificultad que se tiene a la hora de expresar casos
especiales, conceptos imprecisos o relativos. Por otro lado no es fácil dar una
estimación del grado de confianza que tenemos en la información. Por ello se vienen
planteando formas de proporcionar el grado de certeza en las consultas, los contenidos
y los resultados.

El empleo de lógica nítida como se planteo de forma inicial en las ontologías hace
que estas ontologías sean frágiles en la Web, donde pocas veces se puede tener la
certeza absoluta sobre los conceptos. Por ello, el empleo de técnicas que integren
probabilidades como la lógica difusa pueden ser muy útiles.

2 Conceptos

2.1 Evolución de la Web

A continuación pasaremos a definir brevemente los principales conceptos planteados:
Sin duda la World Wide Web ha sido una de las mayores revoluciones tecnológicas
que se han producido en las últimas décadas. Actualmente un mundo sin Web es
difícilmente concebible, sin embargo, hace poco más de una decena de años no
existía. Hoy en día la Web es uno de los mayores medios de comunicación, comercio,
entretenimiento, etc.

El planteamiento de la Web en [1] era originalmente un sistema organizado en
nodos y conceptos, los cuales se podían interrelacionar a través de hiperenlaces
bidireccionales. En este sistema los usuarios podían navegar, consultar y modificar los
conceptos. Para llevar a la práctica las ideas anteriores se establecieron una serie de
protocolos y lenguajes como el HTTP y el HTML.

La primera etapa de la Web, que podemos denominar Web 1.0, esta evolucionó
hacia una inmensa colección de información. Gran parte de este éxito inicial vino
dado por las grandes posibilidades que se ofrecían como medio de comunicación. Un
documento Web era la puerta de entrada ideal, por ejemplo, difundir ideas, captar
nuevos clientes, etc. El modelo de la Web 1.0 difiere bastante del modelo propuesto
en [1], puesto que los enlaces no son bidireccionales en HTML y generalmente la
interactividad entre el usuario y la Web estaba limitada a la navegación y la lectura de
información. La Web 1.0 fue presa de su propio éxito puesto que llegó un momento
que el volumen de información era tal, que llegaba a ser inmanejable para los los
usuarios que querían interactuar con la Web y las herramientas de búsqueda de
información en la misma eran precarias. Esta situación provocó una gran crisis en el
modelo de negocio y la ruina de gran numero de empresas dedicadas a ofrecer
servicios en la Web.

A partir de la situación anterior han ido surgiendo otro tipo de empresas donde el
modelo de negocio se enfoca en el control de la información, para lo cual tratan de
fomentar la participación de los usuarios, proporcionándoles servicios gratuitos a
cambio de su cooperación. Ejemplo de esta modelo de negocio podemos tenerlo en
buscadores como Google, enciclopedias como la Wikipedia, almacenamiento de fotos
como Flickr, redes sociales como Facebook, etc. Esta etapa de la Web, en la cual nos
encontramos actualmente, ha sido denominada Web 2.0. El cambio de filosofía ha
venido propiciado en parte por una mejora tecnológica que permite utilizar la Web, no
sólo como almacén de información, sino como plataforma para desplegar
aplicaciones y servicios.

Sin embargo, la Web actual tiene bastantes aspectos que podrían mejorarse. El
problema del volumen de contenidos de la Web 1.0 lejos de mejorarse aumenta de
forma exponencial. Actualmente los medios para realizar el control de la misma
siguen siendo muy limitados. Para un humano es inabarcable dada la tremenda
cantidad de información que hay, y desde el punto de vista de las máquinas, la
accesibilidad a la información es muy difícil, puesto que la Web sigue estando
enfocada para su uso exclusivo por humanos.

Paralelamente al surgimiento de la Web 2.0 se han estado planteando posibles
soluciones a este problema. La idea de dar semántica a la Web aparece en 2001 en [2]
y su objetivo es hacer que la información sea accesible, además de para los usuarios,
para agentes automáticos que puedan gestionar los contenidos, librando de esa carga a
los usuarios.

2.2 La Web Semántica

El objetivo principal de la Web Semántica es superar las limitaciones que presenta la
Web actual, empleando para ello descripciones explícitas sobre el significado, la
estructura interna y los servicios de la Web.

Actualmente la Web es un inmenso grafo formado por nodos del mismo tipo que
representarían a los documentos Web interconectados por aristas que serían los
hiperenlaces que tan solo guardan la información sobre el enlace que se quiere visitar.
El planteamiento en la Web Semántica cambia totalmente, ya que cada nodo es un
recurso que tiene un tipo determinado y cuyas relaciones con otros elementos están
también explícitamente definidas.

En la Web Semántica se utiliza el concepto de ontología. Una ontología es una
jerarquía de conceptos con atributos y relaciones que se emplean para definir los
términos que intervienen en redes semánticas donde hay unidades de información
interconectadas. Gracias a las ontologías se pueden definir clases y relaciones para
describir un dominio, facilitando compartir los conocimientos y proporcionando
consenso en su representación.

La Web Semántica se compondría por una red de nodos tipificados con clases e
interconectados con relaciones definidas ambas en una ontología compartida por
distintos autores. Desde luego es clave que las ontologías se definan siempre de forma
consensuada para que todos puedan contribuir en su desarrollo y utilizarlas. De esta
forma no se duplicarían esfuerzos y todos podrían trabajar con un mismo marco. A
partir de una red como la descrita anteriormente, no sería difícil crear programas que
pudieran navegar por dicha red y poder realizar tareas complejas, inviables en la Web
actual.

Por otro lado, la Web además de facilitar el acceso a su contenido seguiría
ofreciendo servicios a los usuarios, si bien se mejoraría la definición de los servicios
Web. Para ello se podrían definir ontologías sobre la funcionalidad de dichos
servicios, describiendo entradas y salidas, condiciones necesarias para su ejecución,
efectos que se producirán, etc. Con estas descripciones se facilita que se puedan
procesar automáticamente la información de los servicios ofrecidos y facilitar tareas
como la comunicación entre los mismos.

Un problema que se plantea ante el uso de las ontologías es que se emplea lógica
nítida para describir los conceptos y hacer las deducciones. Tanto en el mundo real,
como en la Web es difícil tener un grado de certeza absoluto sobre los conceptos o
sobre las deducciones que podemos extraer de ellas.

2.3 Lógica difusa

La lógica nítida es una herramienta muy buena para modelar información y poder
inducir nuevo conocimiento. Cuando tratamos de modelar conceptos del mundo real,
muchas veces necesitamos simplificarlos para que su expresión en el lenguaje de la
lógica sea sencilla. Estas simplificaciones provocan una perdida de información que
en algunos casos puede no ser asumible.

Por ejemplo la afirmación “Todos los pájaros vuelan” es falsa en el mundo real,
puesto que hay tipos de pájaros como los avestruces o los pingüinos que no vuelan.
Sin embargo la frase “Casi todos los pájaros vuelan” es verdadera, puesto que la
mayor parte de las aves son capaces de volar, pero sin embargo expresar este
concepto en lógica nítida es complicado.

La lógica difusa es una de las soluciones que se presentan hacer que la lógica tenga
grados de verdad mediante la incorporación de probabilidades. Una sentencia deja de
ser verdadera o falsa para ser verdadera en un cierto grado, es decir se cambian {0, 1}
por el intervalo [0,1].

El empleo de lógica difusa en la Web Semántica puede hacer que la definición de
las ontologías sea más precisa y