[DL] Next Description Logic Seminar: Ana Ozaki, on August 28

[Maurice Funk]

Dear DL and KR Community Members,

we are happy to announce that the next Description Logic Seminar will take place on August 28, 2026, at 2pm CEST via Zoom.
Our next speaker is Ana Ozaki from University of Oslo and University of Bergen. The title of her talk is "On Knowledge Base Embeddings".

Abstract:
Embeddings of knowledge bases (KBs) emerged as a way of “softening” their classical crisp representation. The idea is to represent KBs in vector spaces via an optimization procedure that encourages axioms in the KB to hold. To illustrate, consider a KB that keeps the records of politicians. There may be crisp rules such as the condition that politicians need to be lawful citizens to be elected but also data patterns indicating that politicians are commonly senior natives. By including facts and rules from the KB in the optimization procedure, the resulting vector representation can accommodate both “soft” inferences based on data patterns and rule based inferences, all within the vector representation. In this talk, I will discuss opportunities and challenges of representing KBs in vector spaces, focusing on geometric-based embedding methods. I will also present BoxLitE, a KB embedding model for DL-Lite KBs that allows for convex optimization and that guarantees the rules in the KB are satisfied by the embedding.

Zoom link:
https://uni-leipzig.zoom-x.de/j/68436817371?pwd=EFFgsVVbTUL3gWFAHbOm5sjk8ZgDny.1

See you there!
Bartosz Bednarczyk, Elena Botoeva, Maurice Funk, and Quentin Manière