Reasoning
Science
Knowledge
RDF
Logic programming
Web Ontology Language
SPARQL
Semantic reasoner
Defeasible reasoning
Semantic Web
Computing
Knowledge representation