Information science
Science
Knowledge engineering
Ontology
F-logic
Avro Vulcan
Vulcan
Description logic
Cyc
Semantic Web
Knowledge representation
Information