Browse wiki
From semanticweb.org
| Using Tableau to Decide Expressive Description Logics with Role Negation |
| Accepted by | ISWC2007+ASWC2007 + |
|---|---|
| Author | Dmitry Tishkovsky +, Renate Schmidt + |
| Modification dateThis property is a special property in this wiki. | 07 September 2007 12:12:32 + |
| Categories | Paper + |
| hide properties that link here |
| No properties link to this page. |
