InteligenciaArtificialII

Curso200809

Trabajodecurso

Razonamientoconontologas
AntonioJimnezMavillard

Enunciado
Unaontologaesunarepresentacinformaldeundeterminadodominioorea
deconocimiento.Estarepresentacinconsisteenlaextraccindelosconceptosms
importantesdeldominioydelasrelacionesquesedanentreellos,crendoseuna
estructuradeconceptosrelacionadosqueproporcionaunvocabulariocomnparael
conocimiento modelado por la ontologa y constituye una importante forma de
compartirinformacin.

Formalmente,unaontologaestformadapor:
Clases.Sonlosconceptosdeldominio.
Propiedades.Puedenserdedostipos:
Relaciones:enlazadosclasesdelaontologa.
Atributos:sonlascaractersticaspropiasdeunaclase.
Individuos.Sonlasinstanciasconcretasdeunaclase.
Axiomas.Sonrestriccionesimpuestasaloselementosdelaontologa.

Unadelascaractersticasmsimportantesdeunaontologaeslaorganizacin
jerrquica de sus clases, establecindose la relacin clasesubclase (o superclase
clase).Porejemplo,sinosmovemoseneldominiodelosanimales,podemostenerla
claseanimalydossubclasesdesta:aveymamfero.Unindividuoquepertenezcaa
unaclaseheredatodaslaspropiedadesdesusuperclase(y,portransitividad,todaslas
propiedadesdesussuperclaseshastallegaralaclasemsgeneral).As,siunanimal
tienelapropiedadesdeserunservivo,cualquierave,porseranimal,tambinserun
servivo.
1

Lasrelacionesunendosclasescualesquieradelaontologa.Sinosmovemosen
el dominio de los seres vivos, podramostener definidalaclase vegetal,laclase
animal anterior(consussubclases)ylaclase hervboro,subclasede mamfero.La
relacincomeseestableceentrelasclaseshervboroyvegetalconelsignificadoun
hervborocomovegetales.
Unposibleatributopara animal sera nmerodepatas.Observamoscomola
claseanimalnoserelacionaconningunaotramedianteestapropiedad.Elnmerode
patasesunacaractersticapropiadecadaanimal.
Ejemplos de instancias para las clases anteriores son Rasca y Pica (para
mamfero),Dolly(parahervboro),Pioln(paraave),etc.

Ilustracin1:Ejemplodeontologa

Otradelascaractersticasmsimportantesdeunaontologaessumanerade
codificarlainformacinrelativaasusindividuos.Losvaloresdelaspropiedadesse
concretan mediante ternas de la forma sujeto predicado objeto, donde el
predicadoesunapropiedad,elsujetoesunainstanciadeldominioyelobjetoesun
valordelrango.Yahemosvistodosejemplosdeestasternas:
Dollycomehierba
Picanmerodepatas4
Paraqueelconocimientomodeladoporunaontologaseatil,stadebeestar
correctamenteformadaynopresentarinconsistencias.Acontinuacin,secomentan
algunasdelascondicionesquetienequecumplirunaontologaconsistente:
Losrecursossonnicos.Nosepuedendefinirrecursosdistintosconelmismo
nombre.
Unaclaseslopuedetener,alosumo,unasuperclase(herenciasimple).
Eldominiodeunapropiedadtienequeserunaclasedelaontologa.
Elrangodeunarelacintienequeserunaclasedelaontologa.
Elrangodeunatributotienequeseruntipobsico:integer,string,etc.Se
utilizarlaexpresin tipobasico paradefinirelrangodelosatributos
comountipogenrico.Elrangodeunatributopuedetomarcualquiervalorque
noseaunrecursodelaontologa.
Unindividuoslopuedeserinstanciadeunaclase(sincontarlassuperclases).
Unapropiedadslosepuedeaplicaraunindividuosisteesinstanciadel
dominiodelapropiedadosieldominioesalgunasuperclasedelainstancia.
Unarelacinslopuedetenercomovalorunindividuoqueseainstanciadel
rangoosteseaalgunadelassuperclasesdelindividuo.
Tienenquecumplirsetodoslosaxiomas.
Lasreglasderestriccinoaxiomassoncondicionesquedebencumplirlos
elementosdelaontologa,impuestasporelpropiodiseador.Ejemplosdeaxiomas
(informales)son:
paratodaslasinstanciasdelaclasemamferosecumplequenmerodepatas
2
sitenemosquexeysoninstanciasdeanimal,xviveenzyxcomey,
entoncesyviveenz.
Los axiomas que usaremos en este trabajo tendrn la forma de una regla
3

PROLOG (una conjuncin de condiciones y una implicacin) con una sintaxis

especial:
x1relacin1y1&...&xnrelacinnyn>xn+1relacinn+1yn+1ax.

xirelaciniyirepresentaunaternaqueenlazadosinstanciasdelaontologa
medianteunarelacin.
&representalaconjuncinysuusoesobligatorio.
>representalaimplicacinysuusoesobligatorio.
ax representa que la expresin que la precede es un axioma y su uso es
obligatorio.
Noesnecesariohacerelexplcitoeltipodelasvariables.Sepresuponeapartir
delasrelacionesenlasqueparticipan.

Trabajoarealizar

UtilizarellenguajePROLOGpararesolverlossiguientesapartados:
1. Disearunaontologa.
a) Elegir una representacin adecuada para definir los recursos (clases,
propiedadeseindividuos)delaontologa.Incluirlaclase cosa comola
msgeneral.Estaclasenoserinstanciada.
b) Definir la estructura jerrquica de las clases, las instancias y las
propiedades,indicandosudominioyrango.
c) Representar las ternas sujeto predicado objeto. Esta representacin
tambineslibre.
d) Crear una ontologa de ejemploutilizandoestarepresentacin.Crear las
clases, sus instancias, las propiedades ylos axiomas. La ontologa debe
teneruntamaopequeo,perosignificativo.
2. Definir procedimientos para obtener conclusiones de la ontologa. Como
mnimosedebenpoderrealizarlassiguientesacciones:
a) Averiguarsiunaclaseessubclase(directayheredada)deotra.
b) Obtenertodaslassubclases(directasyheredadas)deotraclase.
c) Averiguarsiunaclaseessuperclasedeotra.
d) Obtenerlasuperclasedeotraclase.
e) Obtenerlassuperclasesheredadasdeotraclase.
f) Obtenereldominioyelrango(directosoheredados)deunapropiedad.
4

g) Obtenertodaslaspropiedadesdeunaclase(propiedadescuyodominioes
esaclase).
h) Obtenertodaslaspropiedadestotales(propiasyheredadas)deunaclase.
i) Averiguarsiunindividuoesinstanciadeunaclase.
j) Obtenertodaslasinstancias(directasyheredadas)deunaclase.
k) Calcularelvalordeunainstanciaparaunapropiedad.
l) Calcularunainstanciaconunvalordadoparaunapropiedad.
m) Apartirdeunainstancia,obtenertodassuspropiedadesylosvalorespara
ellas.
3. Implementarlareglaconsistente(Lista_inconsistencias),que
pregunta si una ontologa es consistente y responde con una lista de las
inconsistenciasencontradas,dondecadaelementodelalistadeberserunpar
(elemento,mensaje_error).Elelementodelparesunrecursodelaontologa
quepresentainconsistenciayelmensajedeerrorindicalacausa.Porejemplo:
?consistente(L).
L=[dolly:'instanciadefinidamasdeunavez'];
No
?
Silaontologaesconsistente,lalistadevueltadeberserlalistavaca.
4. Implementarunmetaintrprete(conjuntodereglasenPROLOG)queseacapaz
deprocesarlosaxiomasycompruebequesecumplen.

Criteriosdeevaluacin

1. Representacinelegida.
2. Creacin de una ontologa que ejemplifique suficientemente todas las
conclusionesquesepuedenextraerdeella.
3. Definicindelconjuntodeaxiomas.
4. Diseodelmetaintrprete.
5. EstilodeprogramacinenPROLOG.
6. Documentacindeltrabajo.
7. Conocimientoadquiridosobreeltrabajodemostradoenladefensa.
5