An upper ontology based upon set theory would primarily be concerned with set systems like these and their relations to one another. I have concluded, however, that categorical logic and topos theory provide a better foundation for mathematical ontologies.
Thursday, April 28, 2022
Displaying the Locus ontology with Protege
An ontology of set systems with hundreds of computable classes and their inclusions is available on github. It looks like this when seen in Protege:
An upper ontology based upon set theory would primarily be concerned with set systems like these and their relations to one another. I have concluded, however, that categorical logic and topos theory provide a better foundation for mathematical ontologies.
An upper ontology based upon set theory would primarily be concerned with set systems like these and their relations to one another. I have concluded, however, that categorical logic and topos theory provide a better foundation for mathematical ontologies.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment