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