Scientific modeling
LOOM
Computing
Semantic Web
Computer programming
Science
Ontology
Knowledge representation and reasoning
Reasoning