Class: Description_Logic
http://cui.unige.ch/isi/onto/tok/TOK.owl#Description_Logic
Superclasses (1)
Logical_Approach
Usage (1)
Class
:
Description_Logic