Copertina

Query Answering in Lattice-based Description Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Manoorkar, Krishna, Wang, Ruoding
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)

Defeasible Reasoning on Concepts
di: Ding, Yiwen, et al.
Pubblicazione: (2024)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Game semantics for lattice-based modal μ-calculus
di: Ding, Yiwen, et al.
Pubblicazione: (2023)

Knowledge on a Budget
di: Majer, Ondrej, et al.
Pubblicazione: (2026)

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

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
di: Zhang, Chongzhi, et al.
Pubblicazione: (2024)

Questions as cognitive filters
di: Conradie, Willem, et al.
Pubblicazione: (2025)

Obligations and permissions on selfextensional logics
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
di: Zese, Riccardo, et al.
Pubblicazione: (2023)

Normalisation for Negative Free Logics without and with Definite Descriptions
di: Kürbis, Nils
Pubblicazione: (2024)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
di: Manière, Quentin, et al.
Pubblicazione: (2024)

Tighter Bounds for Query Answering with Guarded TGDs
di: Amarilli, Antoine, et al.
Pubblicazione: (2022)

Conditional Logical Message Passing Transformer for Complex Query Answering
di: Zhang, Chongzhi, et al.
Pubblicazione: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Computation of Interpolants for Description Logic Concepts in Hard Cases
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
di: Petrukhin, Yaroslav
Pubblicazione: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
di: Gogacz, Tomasz, et al.
Pubblicazione: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
di: Zafar, Aizan, et al.
Pubblicazione: (2024)

A Simple Algorithm for Consistent Query Answering under Primary Keys
di: Figueira, Diego, et al.
Pubblicazione: (2023)

Logic-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

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

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

Definite Descriptions and Hybrid Tense Logic
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)

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

Fitting Description Logic Ontologies to ABox and Query Examples
di: Funk, Maurice, et al.
Pubblicazione: (2025)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
di: Baader, Franz, et al.
Pubblicazione: (2025)

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

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)