- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Deduction - CADE-17
Reasoning with Individuals for the Description Logic $\mathcal{SHIQ}$
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references8
- Record: found
- Abstract: not found
- Article: not found
Attributive concept descriptions with complements
Manfred Schmidt-Schauß, Gert Smolka (1991)
- Record: found
- Abstract: not found
- Book Chapter: not found
Practical Reasoning for Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies (1999)
- Record: found
- Abstract: not found
- Conference Proceedings: not found