Ontologies, Rules, Logics
Large established fields
Existing community participating
DAML: DARPA Agent Markup Language
DAML+OIL
Semantic Web Mining
Dave Beckett
Slide 23.