🚀 PMD core ontology (PMDco) v3.0.0 Release

This release marks a major milestone for the #PMD working area Semantic Interoperability and reflects several years of joint conceptual work, implementation, discussion, and validation across projects and disciplines.

GitHub: https://github.com/materialdigital/core-ontology
PMDco 3.0.0: https://materialdigital.github.io/core-ontology/index-en.html#
Docs: https://materialdigital.github.io/core-ontology/docs/

#ontologies #materialsscience #materialdigital #AI #symbolicAI #knowledgerepresentation @fiz_karlsruhe @joerg @enorouzi @lysander07

#lispyGopherClimate Tuesday-evening-in-the-americas (0UTC Wed.) #archive #peertube
https://communitymedia.video/w/iXYav8oAJHD2SwdGgjPEgo

#climateCrisis #haiku from @kentpitman

@ramin_hal9001 on the kill-a-billion-people-using-the-climate-crisis #3e style big business conversations happening exposed by the Epstein stuff. w t h ! #doctorStrangelove

Safety from scraping - #i2pd #i2p

#commonLisp conditions #gopher

I joined https://ontologforum.com/ #knowledgeRepresentation

Chat in #lambdaMOO! @mdhughes @rat #technology

Mathematical induction is a proof technique used to establish properties of natural numbers. One shows that the property holds for 0 (the base case), and that if it holds for a number n, then it also holds for its successor n + 1 (the induction step).

The intuition is akin to a row of dominoes: if the first one falls, and each falling domino causes the next to fall, then all of them will fall.

#MathematicalInduction #Logic #Mathematics #KnowledgeRepresentation

Hello Mastodon! 👋
This is bLogic.ink, a project dedicated to providing accessible content about logic, formal reasoning, and knowledge representation. Expect concise and intuitive examples, visualizations, and occasional in-depth explorations of KR, semantics, and AI.

Follow if you enjoy: logic, proofs, KR, modal/epistemic reasoning, semantics, and similar topics.

New posts soon!
#introduction #logic #KnowledgeRepresentation #AI

Robbe Van den Eede shares insights on #proofs and their role in #logic-based languages for #KnowledgeRepresentation, discussing the paper “A Sequent Calculus for Generalized Inductive Definitions”, co-authored with Robbe Van Biervliet and Marc Denecker, which received the Best Paper Award at LPNMR 2024.

https://blogic.ink/p/a-sequent-calculus-for-general-inductive-definitions/

Yesterday, our colleague @joerg was presenting our research for Semantic Interoperability based on the PMDcore ontology at the MaterialDigital General Assembly 2025 in Berlin, hosted by @BAMResearch

PMDco ontology: https://materialdigital.github.io/core-ontology/index-de.html

#materialsscience #digitalisation #ai #ontologies #llms #deeplearning #knowledgerepresentation #semanticweb #knowledgegraphs @KIT_Karlsruhe @fiz_karlsruhe

This article explains how to formally verify a simple vehicle controller using IDP, a first-order logic knowledge base system.

https://blogic.ink/p/simple-vehicle-controller/

This article supplements the book Demystifying Artificial Intelligence (https://www.degruyterbrill.com/document/doi/10.1515/9783111426143/html).

#logic #KnowledgeRepresentation #FormalVerification #AI

In spite of the ample evidence of my passing, in just under 3 hours I am going to be talking about #knowledgeRepresentation with the esteemed doctor of knowledge @shizamura about my multi-cognitive-agent #GUI + #gameOfLife #automata in #commonLisp in #eev in #emacs for #emacsconf . Questions or comments for the good doctor or sincerely yours welcome. Please boost for visibility since I was AWOL this week.

Sunday-Morning-in-Europe #peertube #live https://toobnix.org/w/gXLXQqxf5MYg1NDF2Ua6oA (every) 9am UTC.

Call for Posters: DiTraRe Symposium 2025 on the Digitalization of research.
deadline: Oct 17, 2025
CfP: https://easychair.org/cfp/DiTraRe2025

Topics:
- #KnowledgeRepresentation and #AI
- Ethical and legal challenges
- #Research #Infrastructures
- Impact on #Science and #Society
- #SmartData acquisition
- AI-based knowledge realms
- Publication cultures

#digitalization #knowledgegraphs #cfp ##ditrare #aiethics #society #digitalhumanities @fiz_karlsruhe @KIT_Karlsruhe @ITAS @AnnaJacyszyn @Feelix @lysander07

#LispyGopherClimate #live
Missing guests! But joined by https://en.wikipedia.org/wiki/Kent_Pitman @dougmerritt @mdhughes
https://communitymedia.video/w/2YtDzQ55UsgSfuVqoexPAZ

The #ANSI #commonLisp committee standards process conversation between @vnikolov and @kentpitman , also #climate #climateCrisis haiku and things.

Some notes about the #knowledgeRepresentation handbook apropos #lisp #programming.

https://screwlisp.small-web.org/