Michael DeBellisJul 119 min readThe 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 min readUsing 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 min readUsing 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 min readUniversal 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 min readWhat's It Like to Be a Computer?A critique of Nagel's famous "What's It Like to be a Bat" paper