2022/06/17 by Tim S. Lyon, Lyon, Tim, Jonas Karge +1
Computer Science · #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.2206.09020
openalex publication_date 2022/06/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.