|
Coordenação e Realização
Universidade Federal Fluminense / Departamento de Ciência da Informação Grupos de Pesquisa: Informação, Conhecimento e Tecnologia da Informação Ontologia e Taxonomia: aspectos teóricos e metodológicos
Dia - 13/08/08
Horário: 9:00-12:00 / 14:00-17:00
Tema : The Basic Tools of Ontological Analysis
Prof. Nicola Guarino - ISTC-CNR, Laboratory for Applied Ontology
Nicola Guarino é o lider do grupo do Laboratory for Applied Ontology (LOA), na Itália. Graduou-se em engenharia elétrica pela Universidade de Padova em 1978 e, desde 1991, tem desempenhado um importante papel em promover o estudo das bases ontológicas da engenharia do conhecimento e modelagem conceitual. O Dr Guarino é presidente geral das séries de conferências intituladas Formal Ontology in Information Systems (FOIS), e editor associado do International Journal of Human-Computer Studies. Ele também é editor convidado de diversos números de revistas científicas dedicados a assuntos relacionados à ontologia formal e sistemas de informação.
Conteúdo do Curso
This course is intended introduce the basic tools of formal ontological analysis in the light of their impact on the foundations of conceptual modeling and knowledge representation. After a short clarification concerning the notion of “computational ontology” we shall adopt (which is necessary since this term is much overloaded nowadays), and the role of the so-called ontological level in knowledge representation and conceptual modeling, we shall review the fundamentals of formal ontology, such as the theory of parts (mereology), the theory of essence and identity, the theory of unity and plurality, the theory of dependence.
Then we will show how these theories can be used as powerful “tools” to make explicit the hidden assumptions behind conceptual models and information systems in general, in order to improve semantic interoperability and cognitive transparency. We shall discuss in this perspective some common modeling problems, using real-world examples mainly taken from e-government and enterprise modeling applications. A prerequisite of the tutorial is a certain familiarity with first order logic. As much as possible, the depth level of the topics above will be dynamically adapted to participants’ background and preferences
Participants are encouraged to visit LOA’s web site www.loa-cnr.it, where various publications and teaching material are available Idioma do Curso - Inglês
Dia - 14/08/08
Horário: 9:00-12:00 / 14:00-17:00
Tema: An Introduction to Biomedical Ontology
Prof. Barry Smith – University of Búfalo (USA)
Barry Smith é um proeminente contribuidor para as pesquisas teóricas e aplicadas em ontologia. Ele é autor de cerca de 450 publicações científicas sobre ontologia e tópicos relacionados. Sua pesquisa tem sido financiada pelos Institutos Nacionais de Saúde dos Estados Unidos, pelas Fundações Nacionais de Ciência da Suíça e Áustria, pela Fundação Volkswagen e pela União Européia. Em 2002 ele recebeu o prêmio Wolfgang Paul da Fundação Alexander von Humboldt em reconhecimento pelas suas conquistas científicas.
Dr Smith é titular da cadeira Julian Park de Filosofia da Universidade de Búfalo (Nova York, USA). Ele também é Diretor de Pesquisas do Institute for Formal Ontology and Medical Information Science em Saarbrücken, Alemanha.
O foco principal da pesquisa do Dr Smith é a aplicação de ontologia na biomedicina e informática biomédica. Ele é um dos participantes do National Center for Biomedical Ontology e membro do Corpo de Consultores Científicos do Consórcio Gene Ontology.
Conteúdo do Curso
1. Scientific ontologies
2. Basic Formal Ontology: An upper-level ontology for scientific research
3. The Gene Ontology
4. The OBO Foundry
5. The Ontology for Biomedical Investigations
6. The Information Artifact Ontology
http://stream.buffalo.edu/shared/research/phismith/DVD2.wmv
Idioma do Curso - Inglês
|