Technology Category
Knowledge Representation and Reasoning: OntologiesConstraint Satisfaction and Optimization: Satisfiability Modulo TheoriesReasoning under Uncertainty: Other Foundations of Reasoning under Uncertainty
Unreal Patterns
🤖 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
Application Category
📝 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
Research questions and friction points this paper is trying to address.
Modeling non-existent entities without dummy instances
Addressing computational inefficiencies in ontology approaches
Providing practical solutions for fictional and hypothetical entities
Innovation
Methods, ideas, or system contributions that make the work stand out.
Models unreal entities via type intersections
Integrates with Basic Formal Ontology
Ensures computational efficiency and practicality
🔎 Similar Papers
No similar papers found.
