Image de couverture de livre

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

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Álvarez, Lucía Gómez, Rudolph, Sebastian
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
par: Tóth, Jan, et autres
Publié: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

A General Automata Model for First-Order Temporal Logics (Extended Version)
par: Geatti, Luca, et autres
Publié: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
par: Niederhauser, Johannes, et autres
Publié: (2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
par: Kuijer, Louwe, et autres
Publié: (2025)

Computational Complexity of Standpoint LTL
par: Demri, Stéphane, et autres
Publié: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

First-Order LTLf Synthesis with Lookback (Extended Version)
par: Winkler, Sarah
Publié: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
par: Gogacz, Tomasz, et autres
Publié: (2026)

Fusions of One-Variable First-Order Modal Logics
par: Kontchakov, Roman, et autres
Publié: (2026)

Learning Aggregate Queries Defined by First-Order Logic with Counting
par: van Bergerem, Steffen, et autres
Publié: (2024)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
par: Pratt-Hartmann, Ian
Publié: (2017)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
par: Bodirsky, Manuel, et autres
Publié: (2020)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
par: Olivieri, Pierriccardo, et autres
Publié: (2026)

The Complexity and Expressive Power of Second-Order Extended Logic
par: Feng, Shiguang, et autres
Publié: (2022)

Learning Concepts Definable in First-Order Logic with Counting
par: van Bergerem, Steffen
Publié: (2019)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
par: Giusti, Giulia, et autres
Publié: (2025)

A Two-Watched Literal Scheme for First-Order Logic
par: Briefs, Yasmine, et autres
Publié: (2026)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
par: Pratt-Hartmann, Ian
Publié: (2006)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
par: Haselwarter, Philipp G., et autres
Publié: (2026)

Ordered Adjoint Logic (Extended Version)
par: Roshal, Sophia, et autres
Publié: (2026)

Wright's First-Order Logic of Strict Finitism
par: Yamada, Takahiro
Publié: (2024)

Sharing and Linear Logic with Restricted Access (Extended Version)
par: Barenbaum, Pablo, et autres
Publié: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
par: Feller, Thomas, et autres
Publié: (2023)

Distributed First Order Logic
par: Ghidini, Chiara, et autres
Publié: (2015)

Interpolation in First-Order Logic
par: Cate, Balder ten, et autres
Publié: (2025)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
par: Bednarczyk, Bartosz, et autres
Publié: (2023)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
par: Kuang, Qipeng, et autres
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
par: Borgwardt, Stefan, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
par: Cantale, Claudia, et autres
Publié: (2017)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
par: Meng, Qiaolan, et autres
Publié: (2025)

Finite Variable Counting Logics with Restricted Requantification
par: Raßmann, Simon, et autres
Publié: (2024)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
par: Pratt-Hartmann, Ian
Publié: (2004)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
par: Wei, Jin
Publié: (2024)

First-Order Modal Logic via Logical Categories
par: Ghilardi, Silvio, et autres
Publié: (2025)