Unreal Patterns

2025-04-28

AI Summary

This paper addresses the ontological representation challenge posed by non-actual entities—such as fictional characters, blueprints, simulated scenarios, and future hypotheses—where conventional approaches relying on “virtual individuals” or modal logic incur excessive metaphysical commitments and poor computational tractability. We propose a novel modeling paradigm grounded in type intersection, operating within the Basic Formal Ontology (BFO) framework: rather than positing non-existent individuals, we characterize non-actuality solely through logical intersections of existing, real-world types. This approach ensures metaphysical parsimony and computational feasibility, yielding a lightweight, scalable ontological formalism. Empirical evaluation in knowledge graph and simulation system applications demonstrates that our method surpasses state-of-the-art alternatives in both expressive power and reasoning efficiency.

Technology Category

• Knowledge Representation and Reasoning: Ontologies
• Constraint Satisfaction and Optimization: Satisfiability Modulo Theories
• Reasoning under Uncertainty: Other Foundations of Reasoning under Uncertainty

Application Category

• Semantics and Knowledge: Scalable techniques for the creation, curation, publication, maintenance, and consumption of large, Web-based, structured, reusable, knowledge graphs and ontologies
• Graph Algorithms and Modeling for the Web: Foundation models and LLMs for Web-related graphs
• User Modeling, Personalization and Recommendation: User modeling and simulation for interactive and conversational systems

Abstract

This paper introduces a framework for representing information about entities that do not exist or may never exist, such as those involving fictional entities, blueprints, simulations, and future scenarios. Traditional approaches that introduce"dummy instances"or rely on modal logic are criticized, and a proposal is defended in which such cases are modeled using the intersections of actual types rather than specific non existent tokens. The paper positions itself within the Basic Formal Ontology and its realist commitments, emphasizing the importance of practical, implementable solutions over purely metaphysical or philosophical proposals, arguing that existing approaches to non existent entities either overcommit to metaphysical assumptions or introduce computational inefficiencies that hinder applications. By developing a structured ontology driven approach to unreal patterns, the paper aims to provide a useful and computationally viable means of handling references to hypothetical or non existent entities.

Problem

• Modeling non-existent entities without dummy instances
• Addressing computational inefficiencies in ontology approaches
• Providing practical solutions for fictional and hypothetical entities

Innovation

• Models unreal entities via type intersections
• Integrates with Basic Formal Ontology
• Ensures computational efficiency and practicality