Article in Workshop:
Article in Workshop: |
|
Local tableaux for reasoning in distributed description logics |
| Title: | Local tableaux for reasoning in distributed description logics |
|---|---|
| On-line PDF Version: | 12Serafini-final.pdf |
| Workshop URL: | http://dl.kr.org/dl2004/ |
| Name of Workshop: | International Workshop on Description Logics - DL2004 |
| Editors of Workshop: | Volker Haarslev Ralf Möller |
| is associated with: | Knowledge Web |
| is generated by: | University of Trento |