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: |