@Labonitamascota ∃c:B(c)

#FirstOrderLogic 🥳

Finished week 4 of the course Knowledge Graphs – Foundations and Applications about formal and machine understandable representations of knowledge with Propositional Logic, First Order Logic, Description Logics, ALC, OWL and possible logical deductions from statements about graphs.

Video lecture: https://open.hpi.de/courses/knowledgegraphs2023/items/1wEImhMn0LlkY9XxeASC9R

#kg2023 #KnowledgeGraphs #SemanticWeb #LinkedData #PropositionalLogic #FirstOrderLogic #DescriptionLogics #AttributeLanguageWithComplement #WebOntologyLanguage #OWL #MrSpock