Mind
Reasoning
Thought
Abox
Tbox
Mathematical optimization
Epistemology
Description logic
Reason
Science
Ontology
Knowledge