Reasoning with Individuals for the Description Logic SHIQ +,
Optimisation of Terminological Reasoning +,
Reasoning with Axioms: Theory and Practice +,
…
Has author
Stephan Tobies + Has identifier
| Stephan Tobies |
Foaf:firstName
Stephan
Foaf:name
Stephan Tobies
Foaf:surname
Tobies
Foaf:depiction
Anonymous.png +
Has identifier
Stephan Tobies +
Categories Person +
|
