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

• URL: http://arxiv.org/abs/2505.14940v1
• Date: Tue, 20 May 2025 21:58:38 GMT
• Title: To Be or Not To Be: Vector ontologies as a truly formal ontological framework
• Authors: Kaspar Rothenfusser,
• Abstract summary: Edmund Husserl coined the term "Formal Ontologies" in the early 20th century.<n>Many authors and even Husserl himself have developed what they claim to be formal foundational information.<n>I argue that under inspection, none of these so claimed are truly formal in the Husserlian sense.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• 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 ontology following his conditions, allows us to formulate ontological structures, which could capture what is more objectively without presupposing a particular framework arising from perception. I further argue that the ability to design the formal structure deliberately allows us to create highly scalable and interoperable information artifacts. As concrete evidence, I showcase that a class of formal ontology, which uses the axioms of vector spaces, is able to express most of the conceptualizations found in foundational ontologies. Most importantly, I argue that many information systems, specifically artificial intelligence, are likely already using some type of vector ontologies to represent reality in their internal worldviews and elaborate on the evidence that humans do as well. I hence propose a thorough investigation of the ability of vector ontologies to act as a human-machine interoperable ontological framework that allows us to understand highly sophisticated machines and machines to understand us.

Related papers

• A Theory of Formalisms for Representing Knowledge [6.577225204907418]
  There has been a longstanding dispute over which formalism is the best for representing knowledge in AI.<n>We propose a general framework to capture various knowledge representation formalisms in which we are interested.
  arXiv  Detail & Related papers  (2024-12-16T15:13:30Z)
• A Complexity-Based Theory of Compositionality [53.025566128892066]
  In AI, compositional representations can enable a powerful form of out-of-distribution generalization.<n>Here, we propose a formal definition of compositionality that accounts for and extends our intuitions about compositionality.<n>The definition is conceptually simple, quantitative, grounded in algorithmic information theory, and applicable to any representation.
  arXiv  Detail & Related papers  (2024-10-18T18:37:27Z)
• Semantics, Ontology and Explanation [0.0]
  We discuss the relation between ontological unpacking and other forms of explanation in philosophy and science. We also discuss the relation between ontological unpacking and other forms of explanation in the area of Artificial Intelligence.
  arXiv  Detail & Related papers  (2023-04-21T16:54:34Z)
• MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
  We propose a benchmark to investigate models' logical reasoning capabilities in complex real-life scenarios. Based on the multi-hop chain of reasoning, the explanation form includes three main components. We evaluate the current best models' performance on this new explanation form.
  arXiv  Detail & Related papers  (2022-10-22T16:01:13Z)
• Quantum realism: axiomatization and quantification [77.34726150561087]
  We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory. We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
  arXiv  Detail & Related papers  (2021-10-10T18:08:42Z)
• Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
  We are motivated to cover both commonsense and temporary knowledge clues hierarchically. Specifically, we propose a general formalism of knowledge units by extracting backbone constituents of the sentence. We then construct a supergraph on top of the fact units, allowing for the benefit of sentence-level (relations among fact groups) and entity-level interactions.
  arXiv  Detail & Related papers  (2021-05-21T13:11:13Z)
• Compositional Processing Emerges in Neural Networks Solving Math Problems [100.80518350845668]
  Recent progress in artificial neural networks has shown that when large models are trained on enough linguistic data, grammatical structure emerges in their representations. We extend this work to the domain of mathematical reasoning, where it is possible to formulate precise hypotheses about how meanings should be composed. Our work shows that neural networks are not only able to infer something about the structured relationships implicit in their training data, but can also deploy this knowledge to guide the composition of individual meanings into composite wholes.
  arXiv  Detail & Related papers  (2021-05-19T07:24:42Z)
• A Description Logic for Analogical Reasoning [28.259681405091666]
  We present a mechanism to infer plausible missing knowledge, which relies on reasoning by analogy. This is the first paper that studies analog reasoning within the setting of description logic.
  arXiv  Detail & Related papers  (2021-05-10T19:06:07Z)
• Formalising Concepts as Grounded Abstractions [68.24080871981869]
  This report shows how representation learning can be used to induce concepts from raw data. The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces.
  arXiv  Detail & Related papers  (2021-01-13T15:22:01Z)
• Knowledge Patterns [19.57676317580847]
  This paper describes a new technique, called "knowledge patterns", for helping construct axiom-rich, formal Ontology. Knowledge patterns provide an important insight into the structure of a formal Ontology. We describe the technique and an application built using them, and then critique their strengths and weaknesses.
  arXiv  Detail & Related papers  (2020-05-08T22:33:30Z)
• Overview of chemical ontologies [0.0]
  Ontologies order and interconnect knowledge of a certain field in a formal and semantic way. Ontologies about chemical analytical methods, Ontologies about name reactions and Ontologies about scientific units are described.
  arXiv  Detail & Related papers  (2020-02-07T10:42:22Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.