Author:

Uli Sattler is a Professor of Computer Science in the Department of Computer Science at the University of Manchester. Together with colleagues, she designed the SROIQ family of Description Logics underlying OWL, as well as (sound, complete, and terminating) reasoning algorithms for these logics.

Uli Sattler's bio and abstract of the talk.

John F. Sowa spent thirty years working on R&D projects at IBM. He is a fellow of AAAI, a cofounder of VivoMind Research, LLC, and a fellow of Kyndi, Inc. With his colleagues at VivoMind and Kyndi, he has developed novel methods for using logic and ontology for reasoning and language understanding. The language of conceptual graphs, which he designed, has been adopted as one of the three dialects of the ISO standard 24707 for Common Logic.

John F. Sowa's bio and abstract of the talk.

Our first keynote speaker is Michael Schmidt who is a Senior Software Engineer at AWS, leading the technical design and development of Amazon Neptune’s query language and optimization stack.

Michael Schmidt's bio and abstract of the talk.