References & Citations
Computer Science > Logic in Computer Science
Title: Category-theoretical Semantics of the Description Logic ALC (extended version)
(Submitted on 17 Oct 2021 (v1), last revised 18 Apr 2022 (this version, v3))
Abstract: Category theory can be used to state formulas in First-Order Logic without using set membership. Several notable results in logic such as proof of the continuum hypothesis can be elegantly rewritten in category theory. We propose in this paper a reformulation of the usual set-theoretical semantics of the description logic $\mathcal{ALC}$ by using categorical language. In this setting, ALC concepts are represented as objects, concept subsumptions as arrows, and memberships as logical quantifiers over objects and arrows of categories. Such a category-theoretical semantics provides a more modular representation of the semantics of $\mathcal{ALC}$ and a new way to design algorithms for reasoning.
Submission history
From: Chan Le Duc [view email][v1] Sun, 17 Oct 2021 14:47:40 GMT (40kb)
[v2] Sat, 20 Nov 2021 10:32:01 GMT (40kb)
[v3] Mon, 18 Apr 2022 12:38:49 GMT (40kb)
Link back to: arXiv, form interface, contact.