Using Tableau to Decide Expressive Description Logics with Role Negation
The event is related to the following document: Using Tableau to Decide Expressive Description Logics with Role Negation
Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc-aswc/2007/tracks/research/talks/435
Explore this resource elsewhere: