)Laboratório de Lógica e Representação do Conhecimento
Departamento de Ciência e Tecnologia
Pólo Universitário de Rio das Ostras
Universidade Federal Fluminense
)
"Les échecs fortifient les forts. Malheureusement, contre les hommes on joue un jeu où compte si peu le vrai sens des choses. L'on gagne ou l'on perd sur des apparences, on marque des points misérables. Et l'on se trouve ligoté par une apparence de défaite."
Antoine de Saint-Exupéry, Vol de Nuit, 1931
"Lo colectivo no es real. El individuo sí es real."
In the first semester of 2009, I will teach a graduate course on Description Logics at the Computer Science Dept. at UFF in Niterói. Check out the course description (in Portuguese).
juridico LaTeX package
Version 1.1 of the juridico LaTeX package for typesetting bylaws and statutes in Portuguese is now available for download. Documents produced with the juridico package include the bylaws for the Department of Science and Technology at PURO/UFF and the bylaws for the Brazilian Computer Society Special Committee on Natural Language Processing.
The web site for LLaRC (Logic and Knowledge Representation Laboratory) is finally up. Check it out (in Portuguese).
You can download a preprint of my paper "Visualizing the Semantics (Not the Syntax) of Concept Descriptions", accepted at the VI Workshop em Tecnologia da Informação e da Linguagem Humana (TIL 2008), to be held on October 27--29 as a satellite event of WebMedia 2008, in Vila Velha, ES. This paper continues the work described in my DL 2008 paper, polishing some rough edges and offering some discussion, from a linguistic point of view, on the subject of verbal vs. diagrammatic representation and reasoning.
You can download the final version of my short paper included in the proceedings of the 1st Brazilian Research Seminar on Ontologies (in Portuguese). Check the site for other information about the event, which happened on August 11 and 12.
The final version of my paper accepted at the 2008 edition of the Description Logic Workshop is now available for download.
Please avoid sending me Word or PowerPoint attachments.
See http://www.gnu.org/philosophy/no-word-attachments.html (English) or http://www.gnu.org/philosophy/no-word-attachments.pt-br.html (Portuguese).
Explaining Proofs in Descriptions Logics (partially funded by an APQ1 grant from FAPERJ)
A project to study the presentation and explanation of formal proofs in Description Logics (DL) to specialist and nonspecialist users. We investigate issues related to proof construction in several deductive calculi for DL, as well as issues related to the visualization of proofs and explanations.
Currently, we are developing a free, open-source visualization tool for DL concept expressions (VoCAL -- Visualization of Concepts in Attributive Languages), based on the principles described in my DL 2008 paper. We use Java, the Protégé OWL API and the Prefuse infoviz toolkit.
If you would like to contribute, contact me.
See list of publications, some of which may be downloaded.
juridico package, along with documentation (in Portuguese only). Documents produced with the juridico package include the bylaws for the Department of Science and Technology at PURO/UFF and the bylaws for the Brazilian Computer Society Special Committee on Natural Language Processing.