To Be or Not To Be: Vector ontologies as a truly formal ontological framework
Kaspar Rothenfusser

TL;DR
This paper critiques existing formal ontologies against Husserl's criteria, advocates for vector ontologies as truly formal, and explores their potential for scalable, interoperable AI and human-machine understanding.
Contribution
It redefines formal ontology in Husserlian terms, demonstrating vector ontologies as a promising foundational framework for AI and interoperability.
Findings
Vector ontologies can express foundational conceptualizations.
Many AI systems already implicitly use vector ontologies.
Vector ontologies enable scalable and interoperable information structures.
Abstract
Since Edmund Husserl coined the term "Formal Ontologies" in the early 20th century, a field that identifies itself with this particular branch of sciences has gained increasing attention. Many authors, and even Husserl himself have developed what they claim to be formal ontologies. I argue that under close inspection, none of these so claimed formal ontologies are truly formal in the Husserlian sense. More concretely, I demonstrate that they violate the two most important notions of formal ontology as developed in Husserl's Logical Investigations, namely a priori validity independent of perception and formalism as the total absence of content. I hence propose repositioning the work previously understood as formal ontology as the foundational ontology it really is. This is to recognize the potential of a truly formal ontology in the Husserlian sense. Specifically, I argue that formal…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies
MethodsOntology
