FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Category-based Semantics for the Description Logic ALC and Reasoning

Authors: Ludovic Brieulle, Chan Le Duc and Pascal Vaillant

Paper Information

Title:Category-based Semantics for the Description Logic ALC and Reasoning
Authors:Ludovic Brieulle, Chan Le Duc and Pascal Vaillant
Proceedings:DL Proceedings
Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier
Keywords:Category theory, Semantics, Reasoning, Complexity
Pages:1
Talk:Aug 10 12:15 (Session 112C: Referring Expressions & Information Extraction)
Paper: