#programming #knowledgeRepresentation #engineering #gamedev #lispgamejam #lisp https://screwlisp.small-web.org/programming/intro-software-individuals-knowledgebases/
in which I introduce creating knowledgebases in my #softwareIndividuals in a brief and heartwarming way. I put a new value in the entity inside the knowledgebase defining the knowledgebase to add a dependency to another knowledgebase. #intro #demo

Birds were removed from plants+insects+birds for time budget reasons.

@shizamura how far afield is my useage from what you do srsly?

Interview postponed / let's just talk about #types and #typing today's show on @dougmerritt and @vnikolov 's suggestion below.

(I'll speak a little bit to #Sandewall 's #SoftwareIndividuals #knowledgerepresentation

If anyone knows anything about #typetheory, that would be great.

https://anggtwu.net/math-b.html
https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
type links welcome

and #lisp

@shizamura possibly you can explain types of OWL to us instead of sleeping?

#emacs #lisp #programming #technology #blog https://screw-lisp.statichost.eu/emacs/swankful-software-individuals.html #softwareIndividuals #knowledgerepresentation

Teaching my Screwlispbot softwareindividual how to l̶o̶v̶e use emacs via #commonlisp slime swank.
https://screw-lisp.statichost.eu/

Quite a lot of commentary on using-emacs-at-all.

Comments, thoughts, criticisms, website advice sought.

What does it mean "to know" something? Have you ever thought about it? We tried to make our students think about it in this week's first #ise2025 lecture.

#kit200 #lecture #knowledge #philosophy #knowledgerepresentation #understanding #semweb #knowledgegraph #nlp @fiz_karlsruhe @fizise @enorouzi @sourisnumerique

I am honored to present at King's College. If you have questions, ideas or suggestions about the topic of Knowledge in the Age of AI, feel free to leave them here! I'll take a look as I refine the talk. I would be very happy to see you in London, if you're around, or for you to enjoy the stream or recording.

#wikipedia #wikidata #ai #knowledge #knowledgerepresentation

https://www.eventbrite.co.uk/e/knowledge-in-the-age-of-ai-tickets-1232817453189

The Semantic Web: Past, Present, and Future - interesting and comprehensive new article by @ansgarscherp @katjahose, Gerd Groener, Petr Škoda and Maria-Esther Vidal in TGDK, vol 2-1
https://drops.dagstuhl.de/storage/08tgdk/tgdk-vol002/tgdk-vol002-issue001/TGDK.2.1.3/TGDK.2.1.3.pdf

#openaccess #diamondopenaccess #semanticweb #knowledgegraphs #ontologies #ai #knowledgerepresentation @tgdkjournal

A special occasion in our @fizise research seminar today: Sebastian Rudolph from TU Dresden was presenting on How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic

paper: https://arxiv.org/abs/2206.06793

#semanticweb #logics #knowledgerepresentation #academiclife @fiz_karlsruhe @sourisnumerique @enorouzi @sashabruns @tabea @GenAsefa @MahsaVafaie @shufan @heikef

Interesting approach to lower the burden of using foundational ontologies:
J. P. A. Almeida, G. Guizzardi, T. P. Sales, R. A. Falbo, "gUFO: A Lightweight Implementation of the Unified Foundational Ontology (UFO)", 2019
https://nemo-ufes.github.io/gufo/
GitHub: https://github.com/nemo-ufes/gufo

In 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.

G. Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879.
https://gallica.bnf.fr/ark:/12148/bpt6k65658c

#HostoryOfAI #ISE2024 #lecture #logics #knowledgerepresentation @enorouzi @sourisnumerique @fizise #AIart

Knowledge Representation and Symbolic Reasoning as another AI discipline are much older than machine learning. Already in the 4th century BCE greek philosopher Aristotle suggested ten universal categories under which to place every object of human apprehension.

Studtmann, P.. Aristotle's Categories. In Zalta, E.N. (ed.). Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/aristotle-categories/

#HistoryOfAI #AI #ISE2024 #knowledgerepresentation #symbolicAI #philosophy @sourisnumerique @enorouzi @fizise

Again trying to bring a classic #scifi author's work closer to the attention of my students ;-)
In the last #ise2024 lecture modelled the class 'Foundation Trilogy Book' via OWL nominals (i.e. closed classes, defined by class extension).

lecture slides: https://docs.google.com/presentation/d/1nHzeXLjEzhZOgIxxQiT-8vWop5EXrIIKjOnv94Zv4x8/edit?usp=drive_link

@fizise @sourisnumerique @shufan @enorouzi #knowledgegraphs #ontologies #knowledgerepresentation #kr #semanticweb #owl #lecture

In the #ISE2024 lecture today, we have introduced OWL, the Web Ontology Language, and have learned, how to create complex classes with more semantic expressivity.

lecture slides: https://drive.google.com/file/d/1fmo0z7fzc1NFRK6eKpbTzTOV8w5P9QHB/view?usp=drive_link

@fizise @sourisnumerique @enorouzi @shufan #knowledgegraphs #semanticweb #lecture #OWL #ontologies #semantics #knowledgerepresentation #kr

#lispyGopherClimate https://archives.anonradio.net/202406190000_screwtape.mp3 #archived
#climate #haiku by @kentpitman https://climatejustice.social/@kentpitman/112637058010270934
Native mammalian species Just Dying

#unix_surrealism @prahou show stickers https://www.redbubble.com/people/analognowhere/shop

#music @endolexis <3

#GameDev prototypes finding people <#lisp #lambdaMOO> cc @EMR @kashif @vidak @me
Also https://lispy-gopher-show.itch.io/lisp-game-soft-cons classic robots stroke cellular automata-er

#Sandewall #KnowledgeRepresentation

Attached post will discuss LLM discussion w/warning #gopher

In the 2nd tutorial at #ISWS2024, Paul Groth from INDE lab (INtelligent Knowledge Engineering) at University of Amsterdam is pointing out the "Multimodal nature of Knowledge" in his tutorial on knowledge Graph Creation.

First tutorial at #ISWS2024 is presented by Sebastian Rudolph from TU Dresden. Sebastian is talking about "Reasoning over Knowledge Graphs" and starts his tutorial with knowledge representation basics such as #rdf #rdfs #sparql etc.