| Reading About Description Logic | |
| type | Activity Instance |
| Description | |
| ID | |
| Actor | Stuart Aitken |
| Relevant Input | |
| Main Research Area | Ontologies |
| Relevant Research Area | SAT (Satisfiability Checking) |
| Start Time | 2002 |
| Current Status | on-going |
| Source Provider(real world) | Stuart Aitken |
| Cross References | |