The Turing/Church Proofs: How Logicians Created Computer Science
Using SPARQL to Delete Duplicate Instances
Using an LLM to help build ontologies: The Basic Formal Ontology (BFO) Assistant
Puns in the Web Ontology Language (OWL): Why We Need Them and How to Use Them
One Good Hack Deserves Another
The DaanMatch System: A Knowledge Graph linking NGOs with UN Sustainable Development Goals
Using OWL Models to Bring Rigor to the "Soft" Sciences
Creating a Custom Rules View Tab
YouTube Videos for Protégé Tutorial
New Version of Protégé!
Using SKOS to Define Mappings
Synonyms, IRIs, and Labels in OWL and SKOS
IRI Mappings in Protégé and Web Protégé
UN Sustainable Development Goals Ontology
Semantic Web vs. Property Graphs
Knowledge Representation and the Semantic Web
Testing and Debugging Ontologies
Making UUIDs Easier to Use With Prefixes
Using SPARQL to Refactor User Names to UUIDs
Semtech 2021 Workshop