Michael DeBellisJul 119 minThe Turing/Church Proofs: How Logicians Created Computer ScienceI try to focus most of my posts on practical topics that will help people developing ontologies and knowledge graphs. However, every once...
Michael DeBellisFeb 11 minUsing an LLM to help build ontologies: The Basic Formal Ontology (BFO) AssistantUsing the Open AI Assistant tool to create an LLM enabled assistant to using the Basic Formal Ontology (BFO)
Michael DeBellisOct 24, 20234 minUsing OWL Models to Bring Rigor to the "Soft" SciencesExamples of using the Web Ontology Language to rigorously define theories in the social sciences
Michael DeBellisJul 23, 20192 minUniversal Moral Grammar (UMG) OntologyDescribes an ontology I presented at Semantics 2018 based on Hauser's concept of a Universal Moral Grammar (UMG)
Michael DeBellisJul 20, 20185 minWhat's It Like to Be a Computer?A critique of Nagel's famous "What's It Like to be a Bat" paper