{A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic}
| Type of publication: | Article |
| Citation: | CLASSIC |
| Journal: | J. of Artificial Intelligence Research |
| Volume: | 1 |
| Year: | 1994 |
| Pages: | 277-308 |
| Keywords: | |
| Authors | |
| Added by: | [ADM] |
| Total mark: | 0 |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|