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