Cover Image

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Prudhomme, Tim, De Colle, Giacomo, Liebers, Austin, Sculley, Alec, Xie, Peihong "Karl", Cohen, Sydney, Beverley, John
Format:	Preprint
Published:	2024
Subjects:	Databases Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Common Core Ontologies
by: Jensen, Mark, et al.
Published: (2024)

My Ontologist: Evaluating BFO-Based AI for Definition Support
by: Benson, Carter, et al.
Published: (2024)

Middle Architecture Criteria
by: Beverley, John, et al.
Published: (2024)

A Fourfold Pathogen Reference Ontology Suite
by: Babcock, Shane, et al.
Published: (2024)

Credentials in the Occupation Ontology
by: Beverley, John, et al.
Published: (2024)

Capabilities: An Ontology
by: Beverley, John, et al.
Published: (2024)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
by: Allemang, Dean, et al.
Published: (2024)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
by: He, Yunjie, et al.
Published: (2024)

Provenance Analysis and Semiring Semantics for First-Order Logic
by: Grädel, Erich, et al.
Published: (2024)

Semiring Provenance for Lightweight Description Logics
by: Bourgaux, Camille, et al.
Published: (2023)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
by: Gerlach, Lukas
Published: (2026)

Integrating Activity Predictions in Knowledge Graphs
by: Hare, Forrest, et al.
Published: (2025)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

Mechanized Analysis of Anselm's Modal Ontological Argument
by: Rushby, John
Published: (2022)

Towards an ontology of state actors in cyberspace
by: De Colle, Giacomo
Published: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Commonsense Ontology Micropatterns
by: Eells, Andrew, et al.
Published: (2024)

Strong Faithfulness for ELH Ontology Embeddings
by: Lacerda, Victor, et al.
Published: (2023)

Database Dependencies and Formal Concept Analysis
by: Baixeries, Jaume
Published: (2024)

Restricted Chase Termination: You Want More than Fairness
by: Carral, David, et al.
Published: (2025)

Properties for Paths in Graph Databases
by: Orejas, Fernando, et al.
Published: (2025)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
by: Figueira, Diego, et al.
Published: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
by: van Bergerem, Steffen, et al.
Published: (2024)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
by: Gatterbauer, Wolfgang
Published: (2024)

Disjunctions of Two Dependence Atoms
by: Fröhlich, Nicolas, et al.
Published: (2025)

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
by: Riveros, Cristian, et al.
Published: (2026)

Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas
by: Riveros, Cristian, et al.
Published: (2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
by: Barkowsky, Matthias, et al.
Published: (2024)

Guarded Negation Transitive Closure Logic
by: Figueira, Diego, et al.
Published: (2025)

Work-Efficient Query Evaluation in Constant Time with PRAMs
by: Keppeler, Jens, et al.
Published: (2023)

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
by: Hannula, Miika, et al.
Published: (2026)

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
by: Mahmood, Yasir, et al.
Published: (2024)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
by: Maluszynski, Jan, et al.
Published: (2010)

Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries
by: Kara, Ahmet, et al.
Published: (2019)

Chase Termination Beyond Polynomial Time
by: Hanisch, Philipp, et al.
Published: (2024)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
by: Chen, Hubie, et al.
Published: (2024)