- Description Logics (DL) - tractable logics
- Limited expressive Power
- Eg OIL is recent exaqmple
- Non-momotnic logics
- Syste,ms like Cyc (Doug Lenart)
- Attempt to capture all of common sense
- High performance Knowledge Bases
- HPKB, Shoe
- Scale very large, database based.
Meanswhile, web has a lot of syntax but no semantics...
Lyn and otehrs asked to put together the core of common model for all of KR
systems, and this quite close to RDFS.
