Imagen de Portada

Strong Faithfulness for ELH Ontology Embeddings

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lacerda, Victor, Ozaki, Ana, Guimarães, Ricardo
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Knowledge Base Embeddings: Semantics and Theoretical Properties
por: Bourgaux, Camille, et al.
Publicado: (2024)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
por: Lourenço, Bruno F., et al.
Publicado: (2026)

On Middle Grounds for Preference Statements
por: George, Anne-Marie, et al.
Publicado: (2025)

Model Change for Description Logic Concepts
por: Ozaki, Ana, et al.
Publicado: (2026)

Strong negation in the theory of computable functionals TCF
por: Köpp, Nils, et al.
Publicado: (2022)

Effective Versions of Strong Measure Zero
por: Rayman, Matthew
Publicado: (2025)

Universal Horn Sentences and the Joint Embedding Property
por: Bodirsky, Manuel, et al.
Publicado: (2021)

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

Embedded Finite Models Beyond Restricted Quantifier Collapse
por: Benedikt, Michael, et al.
Publicado: (2023)

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

Capabilities: An Ontology
por: Beverley, John, et al.
Publicado: (2024)

ChemLog: Making MSOL Viable for Ontological Classification and Learning
por: Flügel, Simon, et al.
Publicado: (2025)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
por: Santo, José Espírito, et al.
Publicado: (2022)

Commonsense Ontology Micropatterns
por: Eells, Andrew, et al.
Publicado: (2024)

Bilateral base-extension semantics
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

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

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

The Common Core Ontologies
por: Jensen, Mark, et al.
Publicado: (2024)

Convex algebras on an interval with semicontinuous monotone operations
por: Sokolova, Ana, et al.
Publicado: (2026)

Strong Nominal Semantics for Fixed-Point Constraints
por: Caires-Santos, Ali K., et al.
Publicado: (2024)

A Strong Bisimulation for a Classical Term Calculus
por: Bonelli, Eduardo, et al.
Publicado: (2021)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
por: Oudshoorn, Anouk, et al.
Publicado: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
por: Hinnerichs, Tilman, et al.
Publicado: (2022)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
por: Majkic, Zoran
Publicado: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
por: Charalambidis, Angelos, et al.
Publicado: (2026)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
por: Haar, Stefan, et al.
Publicado: (2025)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
por: Cabral, Rafael, et al.
Publicado: (2025)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
por: Bella, Giampaolo, et al.
Publicado: (2023)

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

Strong normalization through idempotent intersection types: a new syntactical approach
por: Barenbaum, Pablo, et al.
Publicado: (2025)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
por: Genco, Francesco A.
Publicado: (2024)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
por: Cantale, Claudia, et al.
Publicado: (2017)

Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)
por: Álvarez, Lucía Gómez, et al.
Publicado: (2025)

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
por: Rosain, Johann, et al.
Publicado: (2026)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
por: Case, Denise M.
Publicado: (2026)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
por: Kassing, Jan-Christoph, et al.
Publicado: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
por: Benzmüller, Christoph
Publicado: (2025)

Parametric equations for temporal style assertions
por: Yodaiken, Victor
Publicado: (2016)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
por: Li, Ying, et al.
Publicado: (2024)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
por: Heuer, Jan, et al.
Publicado: (2024)