Buchumschlag

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)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Álvarez, Lucía Gómez, Rudolph, Sebastian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Extending Defeasibility for Propositional Standpoint Logics
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
von: Tóth, Jan, et al.
Veröffentlicht: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
von: Meng, Qiaolan, et al.
Veröffentlicht: (2026)

A General Automata Model for First-Order Temporal Logics (Extended Version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
von: Kuijer, Louwe, et al.
Veröffentlicht: (2025)

Computational Complexity of Standpoint LTL
von: Demri, Stéphane, et al.
Veröffentlicht: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
von: Wolter, Frank, et al.
Veröffentlicht: (2024)

First-Order LTLf Synthesis with Lookback (Extended Version)
von: Winkler, Sarah
Veröffentlicht: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
von: Gogacz, Tomasz, et al.
Veröffentlicht: (2026)

Fusions of One-Variable First-Order Modal Logics
von: Kontchakov, Roman, et al.
Veröffentlicht: (2026)

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

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
von: Pratt-Hartmann, Ian
Veröffentlicht: (2017)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
von: Olivieri, Pierriccardo, et al.
Veröffentlicht: (2026)

The Complexity and Expressive Power of Second-Order Extended Logic
von: Feng, Shiguang, et al.
Veröffentlicht: (2022)

Learning Concepts Definable in First-Order Logic with Counting
von: van Bergerem, Steffen
Veröffentlicht: (2019)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
von: Wernhard, Christoph
Veröffentlicht: (2017)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
von: Giusti, Giulia, et al.
Veröffentlicht: (2025)

A Two-Watched Literal Scheme for First-Order Logic
von: Briefs, Yasmine, et al.
Veröffentlicht: (2026)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2006)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2026)

Ordered Adjoint Logic (Extended Version)
von: Roshal, Sophia, et al.
Veröffentlicht: (2026)

Wright's First-Order Logic of Strict Finitism
von: Yamada, Takahiro
Veröffentlicht: (2024)

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
von: Bednarczyk, Bartosz, et al.
Veröffentlicht: (2023)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
von: Kuang, Qipeng, et al.
Veröffentlicht: (2025)

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

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
von: Borgwardt, Stefan, et al.
Veröffentlicht: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
von: Cantale, Claudia, et al.
Veröffentlicht: (2017)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
von: Meng, Qiaolan, et al.
Veröffentlicht: (2025)

Finite Variable Counting Logics with Restricted Requantification
von: Raßmann, Simon, et al.
Veröffentlicht: (2024)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2004)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
von: Wei, Jin
Veröffentlicht: (2024)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)