Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author/Editor | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Kazakov, Yevgeny de Nivelle, Hans | 2003 | Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete In: 2003 International Workshop on Description Logics (DL-03), 56-64 | Proceedings Article | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|