KR Resources
Directory of Knowledge Representation Resources
W3C: Collaboration, Knowledge Representation and Automatability
What is a Knowledge Representation?
Satisfiability