|
|
Borgida, Alex and Patel-Schneider, Peter F. (1994): A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
| Title: |
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic |
| Author(s): |
Borgida, Alex and Patel-Schneider, Peter F. |
| Year: |
1994 |
| Journal: |
J. of Artificial Intelligence Research |
| Volume: |
1 |
Concepts
|
|
