Here are the slides for my talk, "Graphs, Logic, and Lambda Calculus", this morning at @KGConference: #kgc2024

RT @gdotv_ltd: Can graphs program themselves?.We've had a look at @joshsh's new project Hydra, a new initiative where graphs literally writ….

I almost forgot: hello Oakland (KOAK)! For as many years as I have been flying in the Bay Area, I had never landed here. Shared the ramp with some cool birds.

Hello, Ukiah (KUKI)! It sure is a hot one.

Hello Little River (KLLR)! Nice to meet you, Shelter Cove (0Q5)!

My early pre-Gremlin graph traversal language Ripple came up at a graph gathering yesterday, and that was excuse enough to post a video of the old screencast demo. Not sure I have shared this since the early, early days. #rdf #graphs #tinkerpop #fp.

hey @mutableai can you please auto wiki CategoricalData/hydra because graphs and functional programming are like peanut butter and jelly #mutableai.

RT @handekucuk: So excited to see the formal approaches are getting the attention they deserve @KGConference !!

RT @katsi111: I cannot imagine a more impressive ending to #kgc2024 than the panel discussion on standards with panellists who authored the….

Before heading home from #kgc2024, I visited Mercer Labs (art and tech museum in the Financial District) for Roy Nachum’s “Limitless”. It was incredible. Easily my favorite art exhibition in recent memory. Crossmodal correspondences abounded. Something for @EMPACnews.

The highlight of the conference for me, above and beyond everything I learned, was when someone whose opinion I respect very much told me that my talk was their favorite. Made my week. #kgc2024.

Nothing left to do except answer some emails and read this book on the flight home. TopQuadrant gave them out to question-askers at their SHACL masterclass. #kgc2024

.⁦@KGConference⁩ is a wrap! Here are my notes from the graph standards panel. #kgc2024

If you are at @KGConference, be sure to stick around for the closeout session on graph data standards. GQL is published, giving us our first standard for property graphs. RDF 1.2 is coming. Hypergraphs are on the rise. Gen AI is changing how we interact with graphs. @kgc2024

.⁦@oralassila⁩ on one schema language to rule them both (RDF and property graphs). One of the ⁦@KGConference⁩ talks I’ve been most looking forward to. #kgc2024

Pierre Lévy’s presentation on IEML was over too quickly! Pleasantly surprised by a talk on constructed languages at @KGConference. Logical conlangs were a teenage hobby of mine, and a gateway to knowledge representation. He makes them relevant to modern neurosymbolic AI. #kgc2024

.⁦@juansequeda⁩ giving a characteristically engaging talk on his work using knowledge graphs to boost accuracy in LLM-based query answering. ⁦@KGConference⁩ #kgc2024

⁦@tomsmoker⁩ giving a tremendously useful masterclass on graphs and RAG at ⁦@KGConference⁩ #kgc2024. LLMs are like a 5 y/o with 1000 years to solve a problem. Know their limitations, give them concrete tasks, and use a graph schema to ground their output.

Standing room only in Norm Friend’s #kgc2024 session on SHACL. Data modeling has its fans.

On the way to the Knowledge Graph Conference. Our flight is making a big detour around the restricted airspace surrounding Area 51. Unfortunately, no aliens are visible through the cloud cover.