Ontologia Formal
Mostrando 25-36 de 37 artigos, teses e dissertações.
-
25. Uma proposta de gestÃo do conhecimento cientÃfico-acadÃmico atravÃs de ontologias
The internet globalization brings challenges of the knowledge management such as information based on keywords, the maintenance of texts source with weak structures and the absence accuration information. In this way, the approach about new concepts is import to support the knowledge management. The ontology concept is the one that can help the knowledge man
Publicado em: 2008
-
26. CoreSec: uma ontologia para o domÃnio de seguranÃa da informaÃÃo
In corporative and heterogeneous environments, the resources sharing to solve problems is tightly associated to information security. A critical aspect to be considered for the organizations is the requirement of an effective and efficient acquisition and distribution of knowledge about risks, vulnerabilities and threats that can be, therefore, explored and
Publicado em: 2008
-
27. Ontositter: sistema de soluÃÃo de problemas de SAGBD baseado em ontologia
Currently the Database Management System (DBMS) possess great capacity to store since the data gotten for the systems do business until the information synthecized for the systems of decision taking. In this context, as much the search for the information how much the routines of maintenance of this environment require a bigger effort on the part of the data
Publicado em: 2008
-
28. A estética literária e a educação na perspectiva do ensino de biologia
Este trabalho está vinculado ao Grupo de Pesquisa Educogitans e à pesquisa maior Educação para a Superação: Ontologia, Ética e Epistemologia. O trabalho tem como foco destacar diferentes formas pelas quais a educação transcende a perspectiva cognitiva. Essa perspectiva tem aparecido freqüentemente e há muito tempo no debate educacional. Este texto
Publicado em: 2008
-
29. Algebraic semantics for modal logics and its philosophical interest / A semantica algebrica para as logicas modais e seu interesse filosofico
No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke p
Publicado em: 2008
-
30. Ontology-based metadata for e-learning content
Atualmente a popularidade da Web incentiva o desenvolvimento de sistemas hipermídia dedicados ao ensino a distância. Não obstante a maior parte destes sistemas usa os mesmos recursos do ensino tradicional, apresentado o conteúdo como páginas HTML estáticas, não fazendo uso das novas tecnologias que a Web oferece. Um desafío atual é desenvolver siste
Publicado em: 2007
-
31. KUABA: AN APPROACH FOR REPRESENTATION OF DESIGN RATIONALE FOR THE REUSE OF MODEL BASED DESIGNS / KUABA: UMA ABORDAGEM PARA REPRESENTAÇÃO DE DESIGN RATIONALE PARA O REUSO DE DESIGNS BASEADOS EM MODELO
Este trabalho apresenta um modelo de representação de conhecimento e a arquitetura conceitual de um ambiente de design integrado para apoiar a representação de design rationale e seu uso no design de artefatos de software. Em nossa abordagem de representação propomos o uso da semântica formal dos artefatos, fornecida pelos métodos de design, para rep
Publicado em: 2006
-
32. Uma arquitetura para sistemas tutores inteligentes apoiada por fundamentos de Web semÃntica.
Cada vez mais, questionam-se os mÃtodos formais de ensino e pergunta-se como o aprendiz poderia obter conhecimento de forma mais eficaz, eficiente e agradÃvel, desenvolvendo certa autonomia para aplicar conhecimentos teÃricos em soluÃÃes de problemas. Outro aspecto a ser observado à a utilizaÃÃo de recursos presentes na Internet, que pode favorecer a
Publicado em: 2006
-
33. Aplicação de ontologias para métodos de negociação de um sistema multiagente para o reconhecimento de padrões
The use of intelligent agents in multi-classifier systems appeared in order to making the centralized decision process of a multi-classifier system into a distributed, flexible and incremental one. Based on this, the NeurAge (Neural Agents) system (Abreu et al 2004) was proposed. This system has a superior performance to some combination-centered methods (Ab
Publicado em: 2006
-
34. Meta-modelo funcional para recuperação de informação baseado em λ-cálculo
Modelagem é um tópico de pesquisa central em Recuperação de Informação (RI). Uma abordagem para estudo e desenvolvimento de novos modelos de RI são os frameworks genéricos. Estes frameworks podem ser vistos como meta-modelos formais que incluem uma notação utilizada para descrever modelos de RI e possibilitar a investigação da semântica do proce
Publicado em: 2006
-
35. Organização de unidades de conhecimento em hiperdocumentos: o modelo conceitual como espaço comunicacional para a realização da autoria
Uma investigação do processo de produção de hiperdocumentos evidencia a falta de metodologias apropriadas para a elaboração de modelos conceituais que possam representar unidades de conhecimento. Esta falta de critérios apropriados faz com que a comunicação entre o autor que desenvolve o conteúdo temático do texto e o analista de sistema fique pre
Ciência da Informação. Publicado em: 2003-08
-
36. "Classificação de páginas na internet" / "Internet pages classification"
O grande crescimento da Internet ocorreu a partir da década de 1990 com o surgimento dos provedores comerciais de serviços, e resulta principalmente da boa aceitação e vasta disseminação do uso da Web. O grande problema que afeta a escalabilidade e o uso de tal serviço refere-se à organização e à classificação de seu conteúdo. Os engenhos de bu
Publicado em: 2003