Giancarlo Guizzardi
Full Professor / University of Twente

Professor Titular na Universidade de Twente (Holanda) e atua nas áreas de Ontologia Formal e Aplicada, Modelagem Conceitual e Engenharia de Sistemas de Informação. Foi professor na Universidade Livre de Bozen-Bolzano (Itália), onde liderou o grupo de pesquisa CORE, e cofundador do grupo NEMO no Brasil. É autor de cerca de 400 publicações e tem participado como keynote, chair e editor em eventos e periódicos de destaque nas áreas de Ontologia e Computação. Atualmente também é professor visitante na Universidade de Estocolmo, com pesquisas voltadas à modelagem baseada em valores e aspectos éticos em sistemas informacionais.

Palestra: Explanation, Semantics and Ontology

Sistemas ciber-humanos são formados pela interação coordenada entre componentes humanos e computacionais. Estes só são justificáveis na medida em que têm significado para os humanos – tanto no sentido semântico quanto no sentido de propósito. Os dados manipulados por tais componentes só adquirem significado ao serem mapeados para conceitualizações humanas compartilhadas do mundo. Eles também só podem ser justificados se projetados eticamente. Nesta palestra, apresentarei a noção de “Ontological Unpacking”, que visa explicar descrições simbólicas de domínio. Argumento que essa natureza explicativa é essencial para a interoperabilidade semântica e, portanto, para a confiabilidade. Por fim, discuto por que os artefatos simbólicos produzidos por abordagens de XAI não são suficientes por si só para a explicação.

John Beverley
Assistant Professor / University at Buffalo

Professor Assistente na University at Buffalo e Co-Diretor do National Center for Ontological Research. Atua na interseção entre ontologia, lógica formal, aprendizado de máquina e engenharia de knowledge graphs, com aplicações em doenças infecciosas, ética em saúde e epistemologia aplicada. Doutor em Filosofia pela Northwestern University, trabalhou como ontologista sênior no Johns Hopkins Applied Physics Laboratory. Contribuiu para projetos como a Infectious Disease Ontology e atua na ontologia formal BFO (ISO/IEC 21838-2).

Palestra: Ontology Engineering Tradecraft

Esta palestra discute o que considero o principal ofício da engenharia ontológica: a desambiguação sistemática — o processo de justificar metodicamente e representar explicitamente estruturas implícitas em diferentes fontes. Defendo que essa prática é o diferencial da engenharia ontológica frente a outras disciplinas, como ciência de dados ou verificação formal. A exposição traça paralelos com ciclos históricos da engenharia ontológica e demonstra a eficácia dessa abordagem com base na BFO.

Jérémy Ravenel
Senior Advisor Data & AI Services / naas

Fundador e CEO da naas.ai, onde lidera o desenvolvimento de uma plataforma universal de dados e IA com foco em acessibilidade, interoperabilidade e ontologias aplicadas. Atua também como Senior Advisor em Data & AI no Forvis Mazars Group e como pesquisador em Ontologia Aplicada na University at Buffalo. Possui experiência na integração de ontologias com IA, engenharia de dados e processos de negócio. Já fundou startups e participou de iniciativas que conectam filosofia, tecnologia e ética em IA.

Palestra: Building Trust In AI: Semantic Interoperability and KGs at the Rescue of LLMs

À medida que os Modelos de Linguagem se desenvolvem, sua falta de fundamentação semântica ameaça sua confiabilidade e adoção corporativa. Com base na experiência em sistemas como o ABI e a plataforma da naas.ai, apresento uma abordagem em camadas para confiança: desde assistentes pessoais até agentes orientados por ontologias como a BFO. Mostro como a interoperabilidade semântica age como camada de comunicação entre dados, agentes e humanos.

• Por que ontologias devem servir como camada de configuração de sistemas de IA.
• Como arquitetar redes de IA pessoais, empresariais e institucionais com “semantic flywheels”.
• Pipeline automatizado para construção de KGs personalizados a partir de dados reais (ex: LinkedIn).
• “Confiança” não é uma propriedade, mas um resultado do alinhamento estruturado.

Concluo argumentando pela adoção de hipergrafos semânticos como arquitetura do futuro para IA escalável, auditável e alinhada a valores humanos.

Renata Wasserman
Professora Associada / Universidade de São Paulo

Possui bacharelado em Ciência da Computação pela Universidade de São Paulo (1991), mestrado em Matemática Aplicada pela Universidade de São Paulo (1995), doutorado em Ciência da Computação pela Universidade de Amsterdã (1999) e livre-docência pela Universidade de São Paulo (2005). Atualmente é professora associada do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da Universidade de São Paulo. Sua área de pesquisa é Inteligência Artificial, com ênfase em Lógica e Representação de Conhecimento. É membro do grupo Logic, Artificial Intelligence and Formal Methods (LIAMF), pesquisadora do Center for Artificial Intelligence (C4AI) e membro do comitê diretor do Lawgorithm.

Palestra: Repairing ontologies – the story so far

Como já sabemos, construir uma ontologia pode ser um empreendimento bastante caro em termos do tempo de especialistas de domínio. Diversos métodos e ferramentas foram desenvolvidos para apoiar o processo de construção. No entanto, o ciclo de manutenção de ontologias recebeu menos atenção na literatura. Nesta palestra, focaremos no processo de reparar uma ontologia, que pode ser disparado tanto por comportamentos indesejados quanto por mudanças no domínio. Definiremos objetivos específicos para o reparo de ontologias e defenderemos o uso da lógica como ferramenta para verificar ontologias. Também discutiremos como a conexão entre métodos lógicos para reparo de bases de dados pode ser aplicada a ontologias.