Copertina

The Common Core Ontologies

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jensen, Mark, De Colle, Giacomo, Kindya, Sean, More, Cameron, Cox, Alexander P., Beverley, John
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Databases Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Middle Architecture Criteria
di: Beverley, John, et al.
Pubblicazione: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
di: Prudhomme, Tim, et al.
Pubblicazione: (2024)

Capabilities: An Ontology
di: Beverley, John, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
di: Seifer, Philipp, et al.
Pubblicazione: (2024)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

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

Database Querying under Missing Values Governed by Missingness Mechanisms
di: Bertossi, Leopoldo, et al.
Pubblicazione: (2026)

A Horn extension of DL-Lite with NL data complexity
di: Arpasi, Janos, et al.
Pubblicazione: (2026)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
di: Bertossi, Leopoldo
Pubblicazione: (2026)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2020)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Inconsistency Handling in DatalogMTL
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2023)

Query Languages for Machine-Learning Models
di: Grohe, Martin
Pubblicazione: (2026)

Recursive querying of neural networks via weighted structures
di: Grohe, Martin, et al.
Pubblicazione: (2026)

Using ASP(Q) to Handle Inconsistent Prioritized Data
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2026)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2022)

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

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

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
di: Li, Fangjun, et al.
Pubblicazione: (2024)

Common Foundations for Recursive Shape Languages
di: Ahmetaj, Shqiponja, et al.
Pubblicazione: (2026)

Expressive Power of Deep Homomorphism Networks over Relational Databases
di: Schönherr, Moritz, et al.
Pubblicazione: (2026)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
di: Yin, Hang, et al.
Pubblicazione: (2023)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
di: Tremante, Andrew, et al.
Pubblicazione: (2026)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
di: Ho, Loan, et al.
Pubblicazione: (2025)

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

Commonsense Ontology Micropatterns
di: Eells, Andrew, et al.
Pubblicazione: (2024)

Enriching Ontologies with Disjointness Axioms using Large Language Models
di: Crum, Elias, et al.
Pubblicazione: (2024)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
di: Boldachev, Alexander
Pubblicazione: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
di: Mantenoglou, Periklis
Pubblicazione: (2026)

Sufficient Explanations in Databases and their Connections to Database Repairs
di: Bertossi, Leopoldo, et al.
Pubblicazione: (2025)

Credentials in the Occupation Ontology
di: Beverley, John, et al.
Pubblicazione: (2024)