Você está na página 1de 6

DataGramaZero - Revista de Cincia da Informao - v.10 n.

5 out/09

ARTIGO 05

Ontologias e Unified Modeling Language: uma abordagem para representao de domnios de conhecimento
Ontologies and Unified Modeling Language: an approach to representation of domains of knowledge
por Daniela Lucas da Silva e Eliana Antonia Demarques e Renato Rocha Souza e Gercina A. B. de Oliveira Lima

Resumo: Este artigo destaca o uso da Unified Modeling Language, UML na especificao de modelos baseados em ontologias na representao de domnios de conhecimento, enfatizando a importncia da semntica e
do tratamento da linguagem padronizada para que o conhecimento do domnio possa ser organizado e compartilhado. Finalmente, este artigo tem como objetivo estabelecer uma conexo entre as temticas: modelagem
orientada a objetos e ontologias.
Palavras-chave: Modelagem; Modelos de representao de conhecimento; Ontologias; Semntica; Unified Modeling Language.

Abstract: This article emphasizes the use of Unified Modeling Language, UML in the specification of models based on ontologies in the representation of domains of knowledge, emphasizing the importance of semantic
and of treatment of standardized language so the knowledge of the domain can be organized and shared. Finally, this article aims to establish a connection between the themes: the object oriented modeling and ontologies.
Keywords: Modeling; Models of knowledge representation; Ontologies; Semantics; Unified Modeling Language.

Introduo
A organizao da informao tornou-se um processo fundamental na medida em que vm crescendo exponencialmente o volume de informaes disponvel, resultando muitas vezes
na desorganizao de acervos informacionais e consequentemente na dificuldade de se encontrar o que se procura num deter-minado sistema de recuperao de informao. Nesse
sentido, pesquisas tm sido desenvolvidas progressivamente visando ao desenvolvimento de mecanismos de indexao, organizao, compartilhamento e recuperao de
informaes, com o objetivo nico de melhorar a eficcia dos sistemas de recuperao de informao.
Podemos citar, dentre outras, algumas pesquisas nessa perspectiva voltadas explorao semntica da informao, tais como: a) a Web Semntica que pretende criar metodologias,
tecnologias e padres de metadados para aumentar o escopo das atividades desempenhadas automaticamente (Berners-Lee, Hendler e Lassila, 2001); b) a utilizao semntica
embutida nos prprios documentos com o uso de estruturas da linguagem natural como os sintagmas nominais e verbais (Souza, 2005); c) instrumentos de representao de
relacionamentos semnticos e conceituais como as ontologias (Gruber, 1993) e os tesauros (Dahlberg, 1978), objetivando evitar problemas relacionados ambiguidade inerente s
palavras da linguagem natural.
Esse fato contribui para a ateno dada s ontologias, cuja origem se d no campo terico da filosofia (Corazzon, 2008), sendo ainda pesquisadas e desenvolvidas como instrumento
de representao de conhecimento nos campos das cincias da computao e da informao. Para a cincia da informao as ontologias so de interesse pela potencialidade que elas
tm em organizar e representar informao. Segundo Almeida e Bax (2003), as ontologias podem melhorar os processos de recuperao de informao ao organizar o contedo de
fontes de dados num determinado domnio.
Dentre as principais contribuies da cincia da computao no que tange representao do conhecimento, destacam-se os modelos de representao associados modelagem de
dados, mais especifica-mente, o modelo orientado a objetos (Furlan, 1998; Rumbaugh e Blaha, 2006; Booch, Jacobson e Rum-baugh, 2006; OMG, 2003), o modelo entidaderelacionamento (Chen, 1976; Silberschatz, Korth e Su-darshan, 2006; Navathe e Elmasri, 2000) e a ontologia formal (Guarino, 1998; Gruber, 1993), campo que repensa as
possibilidades representacionais e de organizao de domnios de conhecimento.
Neste artigo, dar-se- destaque ao modelo orientado a objetos, por apresentar similaridades (estruturas formadas por conceitos e relaes) com as ontologias (apresentadas na
prxima seo) e por tratar de questes relacionadas semntica envolvida na representao de seus contedos. Objetiva-se, tambm, apresentar as principais pesquisas inerentes s
formas de representao semntica na linguagem de modelagem unificada, conhecida como UML (Unified Modeling Language), e como tal linguagem pode ser til na especificao
de modelos baseados em ontologias.
Ontologias: definies, caractersticas, aplicaes e implementao
Ontologia como um ramo da filosofia remete ao ... estudo do Ser; a rea da metafsica que se relaciona ao Ser ou essncia das coisas, ou o Ser no sentido abstrato (Oxford
English Dictionary). J na computao, uma ontologia um artefato de software que tem utilizaes especficas em ambientes computacionais (Smith, 2004). A apropriao do
termo ontologia da filosofia pela comunidade de computao (em especial pela comunidade de inteligncia artificial) deve-se ao fato de as ontologias servirem como meio de
organizao das coisas passveis de representao simblica (representao formal). E, a partir da representao formal, possibilitar raciocnio dedutivo atravs de regras de
inferncias.
Na cincia da computao os estudos sobre ontologias como artefato de software tiveram incio na dcada 90, principalmente na inteligncia artificial em pesquisas sobre
representao do conhecimento (Gruber, 1993; Gruber, 1993a; Guarino, 1998). O interesse sobre o assunto ontologias na cincia da informao (Soergel, 1997; Soergel, 1999;
Vickery, 1997) acontece tambm nesse perodo. Vickery (1997) foi um dos primeiros do campo da biblioteconomia a dar ateno ao termo ontologia na cincia da informao.
Pesquisadores dos campos de cincia da computao e cincia da informao abordam o conceito de ontologia explicitando seu papel de estruturar um domnio de conhecimento e
compartilhar tal conhecimento numa comunidade de interesse. Jurisica, Mylopoulos e Yu (1999) afirmam que as ontologias podem ser usadas como conhecimento comum de um
domnio, viabilizando a comunicao entre uma comunidade de interesse. Para os autores, na perspectiva da cincia da computao e da cincia da informao, uma ontologia pode
ser til na organizao e representao de conhecimento, tendo a tecnologia como apoio na viabilizao de uma infra-estrutura para gerncia de conhecimento.
Numa perspectiva interdisciplinar entre a inteligncia artificial e a filosofia, Chandrasekaran, Johnson e Benjamins (1999) definem que uma ontologia refere-se a contedo terico
sobre diversos objetos, a propriedades desses objetos e ao relacionamento entre objetos que so possveis num domnio especfico de conhecimento.
Gruber (1993) define ontologia como uma especificao explcita de uma conceitualizao. Borst (1997, p.12) tambm apresenta uma definio muito aceita pela comunidade de
ontologia: uma especificao formal e explcita de uma conceitualizao compartilhada. Ou seja, um conhecimento consensual de um determinado domnio. Almeida e Bax
(2003) explicam que formal significa legvel para computadores; especificao explcita estaria relacionada a conceitos, propriedades, axiomas explicitamente definidos;
compartilhado seria conhecimento consensual; e conceitualizao diz respeito a um modelo abstrato de algum fenmeno do mundo real.
Guarino (1998) descreve uma ontologia como sendo um artefato da engenharia, constitudo por um vocabulrio intencional relacionado a uma certa realidade, em conjunto com
pressupostos explcitos em forma de lgica de primeira ordem, representando conceitos e relaes entre conceitos. Tal vocabulrio intencional descrito mediante uma aceitao, ou
seja, um consenso relativo ao sentido das palavras que iro comp-lo.
Para Uschold e Gruninger (1996), ontologias so termos usados para referenciar um conhecimento compartilhado em um algum domnio de interesse, que pode ser usado como uma
aplicao unificada para resolver problemas. Os autores afirmam que uma ontologia incluir necessariamente um vocabulrio de termos e alguma especificao de seu significado.
Esse vocabulrio pode ser representado com distintos graus de formalismo: desde o mais informal, utilizando-se linguagem natural, at o rigorosamente formal, representando-se os
termos por meio de uma linguagem lgica.
As ontologias podem ser classificadas quanto ao seu contedo em: de domnio, de tarefas, de aplicao, genricas e de representao (Guarino, 1998). As ontologias de domnio
expressam conceituaes de domnios genricos, descrevendo o vocabulrio relacionado a um domnio de aplicao, tal como medicina. As ontologias de tarefas expressam
conceituaes sobre a resoluo de problemas, independentemente do domnio em que ocorram. As ontologias de aplicao descrevem conceitos dependentes de domnio e de tarefa
particulares. As ontologias genricas descrevem conceitos bastante gerais, tais como espao, tempo, matria, objeto, etc., que so independentes de um domnio particular. Enquanto
as ontologias de representao buscam os compromissos ontolgicos embutidos em formalismos de representao de conhecimento.
Os componentes bsicos de uma ontologia podem ser encontrados em Gruber (1993a): a) classes organizao dos conceitos de um domnio, arranjadas em uma taxonomia. As
classes herdam as caractersticas de suas classes-pai, de forma similar ao modelo orientado a objetos; b) relaes - representam o tipo de interao entre os conceitos de um domnio;
c) axiomas - usados para restringir a interpretao e o uso dos termos envolvidos; d) instncias - utilizadas para representar objetos especficos (os prprios dados).
No que diz respeito aplicabilidade das ontologias, destacamos a Web Semntica, a qual responsvel pela compatibilizao de conceitos encontrados em bancos de dados dos mais
diversos tipos. Como aponta Tim Berners-Lee, dois bancos de dados podem usar diferentes identificadores para o mesmo conceito. A soluo para esse problema seria criar uma
ontologia, a qual ele define como um documento ou arquivo que define formalmente os relacionamentos entre termos. Uma ontologia para Web possui tipicamente uma

taxonomia e um conjunto de regras de inferncia (Gilchrist, 2003). Alm da Web Semntica, outras aplicaes podem ser destacadas: representao de contedo em ambientes
virtuais, recuperao de informao, gesto de conhecimento, construo de interfaces cooperativas, navegao e interoperabilidade de sistemas (Almeida, 2002; Moreira, 2002;
Jorge, 2005; Almeida, 2006).
Vrias linguagens baseadas em XML (eXtensible Markup Language) tm sido propostas para implementar ontologias. Por exemplo: RDF (Resource Description Framework), RDF
Schema, DAML (DARPA Agent Markup Language,) + OIL (Ontology Inference Layer) e OWL (Ontology Web Language) (Breitman, 2005). Tais linguagens, tambm chamadas de
linguagens baseadas na Web, encontram-se ainda em fase de desenvolvimento e em constante evoluo (Lozano-Tello e Gomez-Perez, 2004). Algumas dessas linguagens
possuem expressividade semntica mais bem elaborada do que outras, como nos casos da Ontology Web Language, OWL perante RDF Schema, e desta perante eXtensible Markup
Language, XML.
Diversas metodologias tm sido apresentadas e discutidas na literatura para construo de ontologias (Fernndez-Lopez, 1999; Jones, Bench-Capon e Visser, 1998; Uschold e
Gruninger, 1996). Mui-tas dessas metodologias possuem abordagens e caractersticas diversas, sendo direcionadas a diferentes propsitos e aplicaes, ou seja, no possuem
propostas unificadas, sendo que grupos diferentes utilizam diferentes abordagens (Silva, 2008).
Modelo orientado a objetos
O modelo orientado a objetos o resultado de um paradigma de anlise, projeto e programao de software baseado na composio e interao entre diversas unidades chamadas
objetos. Um objeto pode ser considerado um conceito, uma abstrao, ou algo que representa, atravs de sua identidade, algum significado para uma aplicao. A modelagem
orientada a objetos tem como meta identificar o melhor conjunto de objetos para descrever um sistema de software e reusar tais objetos quando necessrio em outras aplicaes
(Rumbaugh e Blaha, 2006).
Atualmente, a tcnica de modelagem UML Unified Modeling Language a mais utilizada na rea de Engenharia de Software (Pressman, 1995; Rezende, 2002), visto ser uma
tcnica madura para modelar qualquer tipo de aplicao (Furlan, 1998). Segundo Furlan (1998), a linguagem de modelagem unificada pode ser usada para: a) mostrar como os atores
(usurios) interagem com as funes principais do sistema de informao atravs dos diagramas de interao; b) representar uma estrutura esttica de um sistema atravs dos
diagramas de classe; c) modelar o comportamento dos objetos atravs dos diagramas de transio de estado; e d) apresentar a arquitetura fsica do sistema com diagramas de
componentes e de implementao. Percebe-se que tal linguagem engloba desde a fase de modelagem conceitual at a fase fsica, ou seja, de implementao do software.
Na modelagem orientada a objetos implementa-se um conjunto de classes que definem os objetos presentes no sistema de software. Uma classe representa um grupo de objetos
semelhantes e que, atravs da especializao e da generalizao ou categorizao, organiza os objetos por suas semelhanas e diferenas (Rumbaugh e Blaha, 2006). Desta maneira,
surge o conceito de superclasse e subclasses - relacionamento entre uma classe e uma ou mais variaes da classe. Cada classe determina o comportamento (definido nos mtodos) e
estados possveis (atributos) de seus objetos, assim como o relacionamento com outros objetos.
Cada um desses objetos chamado de instncia de sua classe. Segundo Rumbaugh e Blaha (2006), a subclasse herda as caractersticas de sua superclasse. Acrescentam os autores
que cada instncia de uma subclasse tambm uma instncia da superclasse. Da a denominao - um, do ingls is a, para o relacionamento de generalizao. A Figura 1
ilustra uma situao de especializao (conhecida como processo top-down) e generalizao (conhecida como bottom-up) entre a superclasse pessoa e suas subclasses cliente e
empregado. A subclasse empregado, por sua vez, especializa mais trs subclasses: escriturrio, caixa e secretria.
Figura 1 - Modelo representando uma herana entre a classe pessoa e suas subclasses

Fonte: adaptado de Silberschatz, Korth e Sudarshan, (2006)

Outras formas de organizar ou classificar objetos podem ser concretizadas atravs da agregao e da associao. Na agregao, h nveis de abstrao do tipo parte de em
relao classe. Exemplo: termostatos e compressores so partes de congeladores. J na associao, uma classe tem atributos que associam caractersticas comuns a outras classes
diferentes. Nessa classificao, certas idias promovem lembranas de outras idias a elas relacionadas, como no exemplo: montanhas e pistas esto associadas a esquiar. As relaes
de especializao/generalizao, de agregao e de associao so similares s utilizadas nas ontologias.
Nas ontologias, a especializao e a generalizao so relaes representadas atravs de hierarquias de classes, conhecidas como taxonomia. Tais relaes, bem como as de
agregao e de associao podem ser representadas atravs de uma linguagem lgica, como a lgica descritiva e a lgica de primeira ordem (Uschold e Gruninger, 1996). A lgica de
primeira ordem e a lgica descritiva so vistas como possibilidades de tipos de dedues projetadas para auxiliar o usurio a definir um conjunto coerente de conceitos e instncias
(objetos) para descrever o domnio. A lgica descritiva fornece uma caracterizao formal da representao e a capacidade dedutiva, alm de permitir completude computacional
(Cranefield e Purvis, 1999).
A percepo da relao do modelo orientado a objetos (destacando-se a Unified Modeling Language) para com as ontologias torna-se clara na medida em que ambos buscam
representar semanticamente um domnio de conheci-mento. O primeiro modelo busca classificar o domnio atravs de classes e objetos, possibilitando o reuso dos mesmos em outras
aplicaes. Tais princpios tambm so empregados nas ontologias, conforme foi visto em seo especfica.
UML Unified Modeling Language
A Unified Modeling Language sucessora de um conjunto de mtodos de anlise e projetos baseados em objetos, criado pelos prprios autores da linguagem: Grady Booch, James
Rumbaugh e Ivar Jacobson. A linguagem adotada e recomendada pelo Object Management Group OMG, um grupo responsvel pelos padres voltados ao paradigma de
orientao a objetos. Por possuir uma notao grfica simples e ser capaz de modelar aspectos estruturais e comportamentais de um sistema amplamente consolidada na rea de
Engenharia de Software (Pressman, 2002; Booch, Jacobson e Rumbaugh, 2006).
Furlan (1998, p.38) assinala que a Unified Modeling Language uma linguagem de modelagem e no uma metodologia, pois no explicita os procedimentos de uso da linguagem
para construo de softwares, geralmente embuti-dos numa metodologia. Assim como tem crescido progressivamente o uso de Unified Modeling Language, tem aumentado tambm
um vasto conjunto de ferramentas CASE (do ingls Computer-Aided Software Engineering), as quais suportam esta linguagem por possuir mecanismos que permitem sua prpria
extenso para diversos domnios de problema. As mais conhecidas so o ArgoUML, Poseidon e Unisys Rose XML Tools.
A Unified Modeling Language possui vrios diagramas (Booch, Jacobson e Rumbaugh, 2006). Os diagramas que modelam os aspectos estruturais so os de classes, de objetos, de
componentes e os de desenvolvimento. Os diagra-mas de colaborao, de seqncia, de casos de uso, de estados e de atividades servem para modelar os aspectos comportamentais

de um sistema. O diagrama de classes mostra um conjunto de classes, interfaces e relacionamentos que responsvel por modelar a parte esttica do sistema.
A semntica esttica consiste em um conjunto de regras que definem diagramas bem formados dentro da linguagem. No exemplo da Figura 2 as classes Indivduo e Grupo so
especializaes da classe Intrprete, relacionamento conhecido como generalizao; outros tipos de relacionamentos so contemplados no diagrama de classes como o
relacionamento de associao entre as classes Gravao e ItemNoCD, que representa uma relao estrutural entre duas classes indicando que estas se comunicam atravs e troca de
mensagens; e o relacionamento de dependncia entre a classe ItemNoCD e CD, chamado de relacionamento de agregao, cuja semntica parte de.
Na prxima seo sero apresentadas as principais motivaes da Unified Modeling Language para especificao de ontologias.
Motivaes da Unified Modeling Language na especificao de ontologias
Dada a similaridade entre os modelos orientados a objetos e as ontologias, a comunidade de orientao a objetos tem despertado para o uso de ontologias atravs da Unified
Modeling Language em conjunto com a sua linguagem de restrio de objetos denominada OCL - Object Constraint Language (Cranefield e Purvis, 1999), que ser enfatizada na
prxima seo. A linguagem foi adotada como padro em modelagem pela Object Management Group, e largamente utilizada no desenvolvimento de sistemas orientados a objeto
(OMG, 2003).
Os diagramas considerados relevantes na modelagem de ontologias so o diagrama de classe e o digrama de objetos (na modelagem de instncias da ontologia). O suporte comercial
para padres orientados a objetos permite a investigao de padro de tcnicas de modelagem de objetos para desenvolvimento de ontologias. A Unified Modeling Language tem
uma ampla e rpida expanso de uma comunidade de usurios, sendo que estes usurios provavelmente estaro mais familiarizados com a notao Unified Modeling Language do
que com a lgica descritiva. Ao contrrio do formalismo da lgica descritiva, h um padro de representao grfica para modelos expressados em Unified Modeling Language.
Dessa maneira, uma representao grfica importante para permitir aos usurios de sistemas de informao pesquisar uma ontologia e descobrir conceitos que podem aparecer nas
consultas. Em contrapartida, a lgica descritiva tem uma sintaxe linear, mas nenhum padro de representao grfica (Cranefield e Purvis, 1999).
Embora a Unified Modeling Language, geralmente, no tenha um padro de sintaxe linear, a Object Management Group encontra-se num processo de adoo de extenses de
Unified Modeling Language para representar ontologias em DAML-OIL (Lockheed, 2000) e OWL (Brockmans e Haase, 2006) no contexto da Web Semntica. Lockheed (2000)
assinala que o objetivo primrio desse processo de adoo converter diagramas de classes em ontologias DAML, supondo que esses diagramas representam ontologias DAML,
DARPA agent markup language; tal processo tem como objetivo secundrio, con-verter ontologias DAML, DARPA agent markup language em diagramas de classes; e como objetivo
futuro converter qualquer diagrama de classe em DAML,DARPA agent markup language. Os autores afirmam ser um trabalho em progresso, pois nem todos os conceitos DAML so
facilmente mapeados para Unified Modeling Language.
A Unified Modeling Language no pode ser considerada um formalismo de representao devido ausncia de declaratividade, de um motor de inferncia e de uma semntica
formal; alm de ser empregada mais para modelagem estrutural e comportamental do que para a modelagem conceitual, como as ontologias. A linguagem, entretanto, possui
construtos abstratos o suficiente para permitirem a representao de ontologias, como classes e atributos (Freitas, 2003). As restries da linguagem so definidas na linguagem
auxiliar Object Constraint Language, utilizada para expressar regras em Unified Modeling Language.
A Unified Modeling Language e a Object Constraint Language ainda no possuem uma semntica formal. A Object Management Group fornece uma descrio informal em
linguagem natural (Cranefield e Purvis, 1999). Pesquisadores vm propondo diferentes formas se-mnticas para Unified Modeling Language: modelo matemtico direto (Breu et al,
1997); descrio utilizando a linguagem de especificao Z (Evans, 1998); definio de uma semntica formal, bem como de regras de trans-formao dedutivas para provar que um
diagrama conseqncia de outro, proposta em (Evans, 1998); operaes semnticas descrevendo como um modelo Unified Modeling Language se envolve com outros elementos
(Overga-ard, 1998); e semntica para OCL nos diagramas de classes proposta por Richters e Gogolla (1998).
OCL Object Constraint Language
Segundo Mello (2000), a Unified Modeling Language no prov todos os aspectos relevantes da especificao de um sistema. Desse modo, foi desenvolvida a linguagem OCL para
preencher a necessidade, existente na Unified Modeling Language, de representar, formalmente, restries adicionais sobre os objetos do modelo.
A Object Constraint Language, ou linguagem de restries de objetos, uma linguagem formal utilizada para expressar restri-es relacionadas a um determinado modelo Unified
Modeling Language de um sistema (Booch, Jacobson e Rumbaugh, 2006). Alm disso, uma linguagem tipada, isto , cada expresso OCL possui um tipo a ela associa-do. Sendo
assim, a Object Constraint Language restringe valores de atributos e possveis instncias de um relacionamento, alm de especificar procedimentos para verificao de integridades.
As restries Object Constraint Language so representadas atravs do rtulo <Constraint>, que recebe, como valor, um string que dever conter em texto no estruturado, que
representa todo o corpo de uma eventual restrio Object Constraint Language do modelo Unified Modeling Language.
De acordo com Mello (2000), uma restrio OCL pode assumir trs diferentes formas: a) invariantes restrio que deve sempre ocorrer para todas as instncias de uma dada classe,
tipo ou interface; b) pr-condio restrio que deve ser verdadeira no momento em que uma operao vai iniciar sua execuo; e c) ps-condio - restrio que deve ser
verdadeira no momento em que uma operao finaliza sua execuo.
Cranefield e Purvis (1999) mostram parte da especificao de uma ontologia sobre um catlogo de CDs de msica clssica (apresentada na Figura 2). Seus exemplos de
especificaes Object Constraint Language so as restries vinculadas s classes CD e ItemNoCD. O exemplo do nmero de trilhas pertence a um item deve conter a sequncia
que comea na trilha inicial e termina no tamanho do nmero de movimentos do mesmo menos 1. Essa especificao restringe as possveis instncias no relacionamento de
agregao entre Trilhas e Itens. A palavra-chave self indica uma instncia; a palavra sequence, um tipo de lista ordenada e size uma funo que retorna o nmero de elementos de
uma sequncia da lista ordenada.
Mello (2000), aps analisar a ontologia apresentada por Cranefield e Purvis (1999), prope alguns pon-tos que precisam ser amadurecidos com relao a tal ontologia, a saber: a)
formalizao: a linguagem que descreve Unified Modeling Language no formal, apenas uma descrio em linguagem natural usada. Necessita-se formaliz-la; b) raciocnio
automtico: em uma linguagem de especificao de ontologias, no basta poder de expresso para descrever o domnio. Devem-se estudar tipos de inferncia possveis e desej-veis
sobre especificaes Unified Modeling Language, em conjunto com OCL; e c) meta-modelos: o uso de um meta-modelo para descrever conceitos bem gerais (nvel 1). Num
segundo nvel, esses conceitos seriam representados em Unified Modeling Language e no nvel 3 os modelos ontolgicos seriam descritos como especializaes das descries
Unified Modeling Language.
Figura 2 - Especificao de uma ontologia utilizando as linguagens Unified Modeling Language e OCL

Fonte: adaptado de Cranefield

e Purvis, (1999)

Consideraes finais
Pesquisas ainda so necessrias para tornar explcitos que tipos de inferncias seriam fundamentais para ontologias representadas em Unified Modeling Language, UML tendo em
vista o tipo de sistema no qual a ontologia ser disponibilizada. Cranefield e Purvis (1999) no sugerem que a UML seja considerada como uma alternativa para formalismos em
lgica descritiva em todas as situaes. Segundo os autores, a Unified Modeling Language, UML no fornece uma alternativa direta para modelar ontologias, principalmente num
sistema que exige dedues. Portanto, seria necessrio expressar as semnticas do diagrama de classe da UML dentro do sistema de deduo lgica, o que aumentaria a
complexidade e a extenso de suas dedues.
Em uma linguagem de especificao de ontologias necessrio o raciocnio automtico para descrever o domnio e, para isso, preciso o estudo de tipos de inferncia possveis e
desejveis sobre especificaes Unified Modeling Language em conjunto com Object Constraint Language, OCL. Essas inferncias seriam fundamentais para operaes de
manipulao de dados que poderiam ser definidas em um conjunto de restries padronizadas para serem aplicadas automaticamente em qualquer ontologia. Tambm necessrio
desenvolver ferramentas de melhores aplicaes em domnios diversos que representem qualquer restrio Object Constraint Language, OCL.
Este artigo buscou apresentar as principais iniciativas de pesquisa nas reas de modelagem de domnios: a modelagem orientada a objetos e a engenharia ontolgica, mostrando as
semelhanas e as contribuies entre as duas reas. Destacou-se a importncia da semntica envolvida na especificao de modelos, alcanada atravs de ontologias, e a facilidade
na forma de representao grfica proporcionada pela Unified Modeling Language, possibilitando a interao com a comunidade de usurios envolvida. Iniciativas fundamentais na
juno das comunidades de orientao a objetos e ontologias encontram-se num patamar evolutivo, como o caso da especificao de ontologias DAML-OIL (Lockheed, 2000) e
ontologias Ontology Web Language, OWL (Brockmans e Haase, 2006; OMG, 2003) em Unified Modeling Language, no contexto da Web Semntica.
Como pesquisa futura, pretende-se avanar na investigao desta abordagem, apontando as contribuies para a Web Semntica, Engenharia de Software, Sistemas de Informao,
dentre outros assuntos que tangem a rea de representao de conhecimento.
Referncias Bibliogrficas
ALMEIDA, M.B. Interoperabilidade entre fontes heterogneas: um meta-modelo baseado em ontologias. 149 f. Dissertao (Mestrado em Cincia da Informao) - Escola da
Cincia da Informao, Universidade Federal de Minas Gerais, Belo Horizonte, 2002.
ALMEIDA, M.B.; BAX, Marcello P. Uma viso geral sobre ontologias: pesquisa sobre definies, tipos, aplicaes, mtodos de avaliao e de construo. Cincia da Informao,
Braslia, v. 32, n. 3, p.7-20, set./dez. 2003.
ALMEIDA, M. B. Um modelo baseado em ontologias para representao da memria organizacional. 2006. 341f. Tese (Doutorado em Cincia da Informao) Escola de Cincia
da Informao, Universidade Federal de Minas Gerais, Belo Horizonte, 2006.
BERNERS-LEE, T; HENDLER, J.; LASSILA, O. The Semantic Web. Scientific American, vol. 284, n. 5, maio 2001, p. 34-43.
BOOCH, G. JACOBSON, I. RUMBAUGH, J. UML Guia do Usurio. Editora CAMPUS. Rio de Janeiro. 2006.
BORST, W.N. Construction of Engineering Ontologies for Knowledge Sharing and Reuse. 1997. Tese (Phd). Disponvel em: <http://www.ub.utwente.nl/webdocs/inf/1
/t0000004.pdf>. Acesso em: 03 outubro 2005.
BREITMAN, Karin Koogan. Web Semntica: A Internet do Futuro. Rio de Janeiro: LTC, 2005.
BREU, Ruth; GROSU, Radu; HUBER, Franz; RUMPE, Bernhard; SCHWERIN, Wolfgang. Towards a precise semantics for object-orientedmodeling techniques. In Haim Kilov and
Bernhard Rumpe, editors, Proceedings ECOOP97 Workshop on Precise Semantics for Object- Oriented Modeling Techniques, pag-es 5359. Technische Universitat Munchen,
TUM-I9725, 1997.
BROCKMANS, S.; HAASE, P. A Metamodel and UML Profile for Rule-extended OWL DL Ontologies {A Complete Reference. Technical report, Universitat Karl-sruhe, March
2006. Disponvel em: <http://www.aifb.uni-karlsruhe.de/WBS/sbr/publications/owl-metamodeling.pdf>. Acesso em: 05 Maro 2008.
CHANDRASEKARAN, B.; JOHNSON, T. R.; BENJAMINS, V. R. Ontologies: what are they? why do we need them?. IEEE Intelligent Systems, Washington, v. 14, n. 1, p. 20-26,
Jan./Fev.1999.
CHEN, Peter P. The Entity-Relationship Model - Toward a Unified View of Data. March 1976. Dis-ponvel em: <http://www.csc.lsu.edu/news/erd.pdf>. Acesso em: 24 maio 2007.
CORAZZON, R. What is Ontology? Definitions by leading philosophers. In: Ontology. A Resource Guide for Philosophers. 2008. Disponvel em <http://www.formalontology.it
/section_4.htm>. Acesso em: 02 Abril 2008.
CRANEFIELD, S.; PURVIS, M. UML as an ontology modeling language. In: WORKSHOP ON INTEL-LIGENT INFORMATION INTEGRATION, 16th, 1999, Stockholm.
Proceedings Stockholm: Interna-tional Joint Conference on Artificial Intelligence (IJCAI-99), 1999. p.1-16.
DAHLBERG, Ingetraut. Teoria do conceito. Cincia da Informao, Rio de Janeiro, v. 7, n. 2, p. 101-107, jul./dez. 1978.

EVANS, A.. 1998. Reasoning with UML diagrams. Proceedings of the Workshop on Industrial Strength Formal Methods (WIFT98). IEEE Press.
EVANS, Andy; FRANCE, Robert; LANO, Kevin; RUMPE, Bernhard. Developing the UML as a formal modelling notation. In Pierre-Alain Muller and Jean Bezivin, editors,
Proceedings of UML98 International Workshop, Mulhouse, France, June 3 - 4, 1998, pages 297307. ESSAIM, Mulhouse, France, 1998.
FERNNDEZ, M; GOMEZ-PEREZ, A.; SIERRA, J.P.; SIERRA, A.P . Building a Chemical Ontology Using Methontology and the Ontology Design Environment. Intelligent
Systems, v. 14, n. 1, p. 37-46, jan./ fev.1999.
FREITAS, Frederico L. G. Ontologias e a Web Semntica. Santos: Universidade Catlica de Santos, 2003. Disponvel em: <http://www.inf.unisinos.br/~renata/cursos/topicosv
/ontologias-ws.pdf >. Acesso em: 22 Maro 2008.
FURLAN, Jos Davi. Modelagem de objetos atravs da UML: the unified modeling language. So Paulo: Makron Books, 1998.
GILCHRIST, Alan. Thesauri, taxonomies and ontologies - an etymological note. Journal of Documenta-tion, v. 59, n. 1, 2003, p. 7-18.
GUARINO, N. Formal Ontology and Information Systems. In: Formal Ontology in Information Systems (FOIS98), 1998, Trento. Proceedings of the First International Conference
on Formal Ontology in Infor-mation Systems (FOIS98). Trento, 1998.
GRUBER, T.. What is an Ontology? 1993. Disponvel em: <http://www-ksl.stanford.edu/kst/what-is-an-ontology.html>. Acesso em: 03 Agosto 2006.
GRUBER,T. A Translation Approach to Portable Ontology Specifications. 1993a. Disponvel em: <ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-92-71.ps.gz>. Acesso em: 03
Agosto 2006.
JONES, D.; BENCH-CAPON, T.; VISSER, P. Methodologies for ontology development. In: 15th IFIP World Computer Congress, 1998, London. Proceedings of the ITI and Knows
Conf of the UK, London: Chapman and Hall, 1998. p. 62-75.
JORGE, Marcelo Alvim. Ontologias no suporte a portais semnticos. Dissertao (Mestrado em Cincias da Informao) - Universidade Federal de Minas Gerais, Belo Horizonte,
2005.
JURISICA, I.; MYLOPOULOS, J.; YU, E. Using Ontologies for Knowledge Management: An Informa-tion Systems Perspective. Annual Conference of the American Society for
Information Science, Wash-ington, D.C.,1999.
LOCKHEED, Martin. 2000. UBOT details. Disponvel em: <http://ubot.lockheedmartin.com/ubot/details/uml_to_daml.html> . Acesso em: 10 Novembro 2007.
LOZANO-TELLO A. and GMEZ-PREZ A. ONTOMETRIC: A Method to Choose the Appropriate Ontology. Journal Of Database Management. 2004. Disponvel em:
<http://www.accessmylibrary.com/coms2/summary_0286-20574535_ITM>. Acesso em: 07 Novembro 2007.
MELLO. R. Aplicao de Ontologias a Bancos de Dados Semi-Estruturados. Tese de Doutorado. PGCC-UFRGS. Porto Alegre. 2000.
MOREIRA, Alexandra. Uso de ontologia em sistemas de informao computacionais. Perspectivas em Cincia da Informao, Belo Horizonte. v.7, n. 1, p. 49-60, jan/jun. 2002.
NAVATHE, Shamkant B.; ELMASRI, Ramez. Sistemas de bancos de dados: fundamentos e aplicaes. Rio de Janeiro: LTC, 2000.
OMG. 2003. Object Management Group. http://www.omg.org/
OVERGAARD, Gunnar. A formal approach to relationships in the Unified Modeling Language. In Man-fred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe,
editors, Proceedings PSMT98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitat Munchen, TUM-I9803, 1998.
PRESSMAN, Roger S. Engenharia de Software. So Paulo: Makron Books, 1995.
REZENDE, D. A. Engenharia de software e sistemas de informao. 2 ed. Rio de Janeiro: Brasport, 2002.
RICHTERS, Mark; GOGOLLA, Martin. On formalizing the UML Object Constraint Language OCL. In TokWang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf.
Conceptual Modeling (ER98). Lecture Notes in Computer Science, number 1507, Springer-Verlag, 1998.
RUMBAUGH, J., BLAHA, M. Modelagem e projetos baseados em objetos com UML 2. Rio de janeiro : Campus, 2006.
SILBERSCHATZ, A., KORTH, H.F., SUDARSHAN, S. Sistemas de Bancos de Dados. Traduo: Da-niel Vieira. 5 Edio. Rio de Janeiro: Elsevier. 2006.
SILVA, Daniela Lucas da. Uma Proposta Metodolgica para Construo de Ontologias: Uma Perspectiva Interdisciplinar entre as Cincias da Informao e da Computao. 286 f.
Dissertao (Mestrado em Cincia da Informao) - Escola da Cincia da Informao, Universidade Federal de Minas Gerais, Belo Horizonte, 2008.
SMITH, B. Ontology and Informations Systems. 2004. Disponvel em: <http://www.ontology.buffalo.edu/ontology> Acesso em: 15 Setembro 2007.
SOERGEL, Dagobert. Functions of a Thesaurus / Classification / Ontological Knowledge Base. Col-lege of Library and Information Services, University of Maryland. 1997.
SOERGEL, Dagobert. The Rise of Ontologies or the Reinvention of Classification. Journal of the American Society of Information Science 50(12): 1119-1120. 1999.
SOUZA, Renato Rocha. Uma proposta de metodologia para escolha automtica de descritores utilizando Sintagmas Nominais. 202p. Tese (Doutorado em Cincia da Informao)
Escola de Cincia da Informao, Universidade Federal de Minas Gerais, Belo Horizonte, 2005.
USCHOLD, M.; GRUNINGER, M. Ontologies: principles, methods an applications. Knowledge Engineer-ing Review, v. 11, n. 2, 1996.
VICKERY, B. C. Ontologies. Journal of Information Science, v. 23, n. 4, p. 277-286, 1997.

Sobre os autores / About the Author:

Daniela Lucas da Silva


danielalucas@hotmail.com
Mestre em Cincia da Informao pela Escola de Cincia da Informao da UFMG e Doutoranda do Programa de Ps-Graduao em Cincia da Informao da Escola de Cincia da
Informao UFMG.

Eliana Antonia Demarques


eademarques@hotmail.com
Mestranda do Programa de Ps-Graduao em Cincia da Informao da Escola de Cincia da Informao da Universidade Federal de Minas Gerais .

Renato Rocha Souza


rsouza@eci.ufmg.br
Doutor em Cincia da Informao pela ECI/UFMG. Professor Adjunto da Escola de Cincia da Informao da Universidade Federal de Minas Gerais .

Gercina A. B. de Oliveira Lima


glima@eci.ufmg.br
Doutora em Cincia da Informao pela ECI/UFMG.Professora Adjunta da Escola de Cincia da Informao da Universidade Federal de Minas Gerais.