{The Instance Store: DL Reasoning with Large Numbers of Individuals}
| Type of publication: | Inproceedings |
| Citation: | HLTB2004 |
| Booktitle: | Description Logics |
| Series: | CEUR Workshop Proceedings |
| Volume: | 104 |
| Year: | 2004 |
| Publisher: | CEUR-WS.org |
| Crossref: | DBLP:conf/dlog/2004 |
| Userfields: | bibsource={DBLP, http://dblp.uni-trier.de}, |
| Keywords: | |
| Authors | |
| Editors | |
| Added by: | [ADM] |
| Total mark: | 0 |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|