For nearly three decades, Giancarlo Guizzardi has researched and advanced the field of #semantics and the practice of #ontology and #conceptualModeling.

His work on the Unified Foundational Ontology (UFO), the OntoUML pattern language, and AI explainability are just a few of the accomplishments that make him an exemplar of the "full-stack ontologist."

A fun conversation with an incredibly accomplished researcher. Hope you enjoy it, too.

https://knowledgegraphinsights.com/giancarlo-guizzardi/

Giancarlo Guizzardi: ontology, semantics, and explainable AI

Giancarlo Guizzardi is an expert on ontology engineering, conceptual modeling, semantics, and explainable AI at the University of Twente.

KGI

I've shared the opening chapters of A Language Insufficiency Hypothesis on PhilPapers.

📕👉 https://philpapers.org/rec/WILALI-3

I examine the structural limits of human language as a medium for conveying meaning. This counters the widespread assumption that clearer definitions.

👉 https://philosophics.blog/2026/05/25/a-language-insufficiency-hypothesis-on-philpapers/?utm_source=masto&utm_medium=social

#philosophy #books #reading #writing #author #nonfiction #academic #language #communication #efficiency #semantics #pragmatics #meaning #society #critique #complexity #power #blog #poscast

You don’t know HTML Lists

This second installment in the "You don't know HTML" series is going to be all about the ways that we put collections of things together

Frank M Taylor
Schanuel’s conjecture and the semantics of FPSan

I’ve been spending some of my time recently developing a tool called FPSan in collaboration with Pawel Szczerbuk. It’s implemented as a Triton compiler pass, but has none of the desirab…

Complex Projective 4-Space

⏳ Deadline Extension: Call for #Tutorial Proposals at #SEMANTiCS 2026!

Are you planning to submit a tutorial proposal to the SEMANTiCS 2026 conference? We are happy to extend the Tutorial proposal submission deadline by two weeks!

📅 New Date: May 30, 2026

🔗 https://2026-eu.semantics.cc/page/cfp_workshops_tutorials.html

a lesson in #language - who's "putting personal #policy preferences ahead of proper interpretations of #law"?

10,000 rulings: The courts’ overwhelming rebuke of Trump’s #ICE policies https://www.politico.com/news/2026/05/13/10k-rulings-ice-mandatory-detention-trump-analysis-00914195

#rhetoric #semantics #propaganda #doublespeak #euphemisms #gaslighting

10,000 rulings: The courts’ overwhelming rebuke of Trump’s ICE policies

A POLITICO analysis reveals judges have ruled against ICE detention practices in roughly 90 percent of cases since the agency mandated that millions of immigrants must be locked up while they face deportation proceedings.

Politico
OK, #C23 #stdckdint #ckd_add () and friends look pretty freaking cool. I spam my own code as copypasta for detecting #wraparound with unsigned integer types in network protocol sequence number spaces, but the #semantics are pretty much lifted straight from #rfc3626 anyway. Maybe I should give it the C23 and C++26 template method treatment. https://gustedt.gitlabpages.inria.fr/c23-library/#stdckdint @JensGustedt @wdtz #languagelawyering
C23 implications for C libraries

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory
The words we use: Mental health literacy is expanding but not always improving - Healthy Debate

We have more language than ever to describe mental health, but not always more clarity about what those words mean.

Healthy Debate

It's annoying how contested and confusing political terms are.
Does "capitalism" mean free markets or investor-ownership?
Does "libertarianism" mean a politics of freedom or does it mean a politics of property?
Does "communism" mean a classless, moneyless, stateless society or does it mean totalitarianism?
Does "liberalism" mean a politics of freedom or does it mean a politics of 'equity'?
Wikipedia defines left-wing as a politics of equality and right-wing as a politics of hierarchy. But then why is transgenderism considered left-wing and the pro-life-movement right-wing?
And if being against abortion is right-wing, does that mean so is being against killing animals for meat and leather? Because any sane person would say those are both pro-life.

#politics #semantics