Tópicos Avançados em Computação:
Lógicas de Descrição - Teoria e Aplicações

Prof. Fernando Náufel do Amaral

http://www.ic.uff.br/~fnaufel

Primeiro semestre de 2009

Apresentação

Lógicas de Descrição (DL, do inglês Description Logics) são sistemas formais para representação de conhecimento, originados de técnicas de IA dos anos 70 e 80, como Redes Semânticas e Frames. Atualmente, um grande número de pesquisadores desenvolve trabalhos teóricos e práticos sobre DL, visando aplicações em áreas como Web Semântica, Ontologias, Modelagem Conceitual, Linguística Computacional e Bio-Informática, entre outras.

Esta disciplina consiste em uma introdução a aspectos teóricos e práticos de DL. Não há pré-requisitos.

Ementa

• Revisão sobre lógicas: sintaxe, semântica e sistemas dedutivos; lógicas modais; tableaux;

• DLs proposicionais;

• Sistemas dedutivos para DL;

• Relações com outros formalismos;

• Extensões: DLs temporais, etc.;

• Aplicações em Modelagem Conceitual;

• Aplicações em Ontologias e Representação de Conhecimento;

• Visualização de conceitos e de provas em DL; raciocínio diagramático.

Metodologia

• Aulas teóricas;

• Apresentação (pelos alunos) de artigos e capítulos de livros;

• Trabalhos teóricos e de implementação;

• Uso de ferramentas de software: Protégé¹ (ambiente de desenvolvimento de ontologias), Pellet² (raciocinador para DL), e outras;

Horário

Aulas:

Segundas-feiras, das 14h às 18h.

Atendimento:

Segundas-feiras, das 11h às 13h, e horários a combinar.

Referências Bibliográficas

1

F. Baader and U. Sattler.
An overview of tableau algorithms for description logics.
Studia Logica, 69:5-40, 2001.

2

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors.
The Description Logic Handbook.
Cambridge University Press, 2a edition, 2007.
Bibliografia e alguns capítulos disponíveis em

• http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-02.pdf
• http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-10.pdf
• http://www.ksl.stanford.edu/people/dlm/papers/dlhb-bibliography.pdf

.

3

Fernando Náufel do Amaral.
Visualizing the semantics (not the syntax) of concept descriptions.
In VI Workshop em Tecnologia da Informação e da Linguagem Humana (TIL 2008), Vila Velha, ES, 2008.
Disponível em http://www.nilc.icmc.usp.br/til/til2008/p336-do_amaral.pdf.

4

Fernando Náufel do Amaral and C. Bazilio.
Visualization of description logic models.
In The 21st International Workshop on Description Logics (DL2008), Dresden, Alemanha, 2008.
Disponível em http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-353/NaufelMartins.pdf.

5

Robert Goldblatt.
Logics of time and computation.
Center for the Study of Language and Information, Stanford, CA, USA, 2a edition, 1992.
Disponível em http://phil.gu.se/logic/books/Goldblatt:Logics_of_time_and_computation.pdf.

6

G. Guizzardi.
Ontological foundations for structural conceptual models.
PhD thesis, University of Twente, Enschede, The Netherlands, Enschede, Outubro 2005.
Disponível em http://purl.org/utwente/50826.

7

Nigel Shadbolt, Wendy Hall, and Tim Berners-Lee.
The semantic web revisited.
IEEE Intelligent Systems, Maio-Junho 2006.

Outras referências serão dadas ao longo do curso.

Footnotes

... Protégé¹

http://protege.stanford.edu

... Pellet²

http://pellet.owldl.com