Future Work
By increasing scope and difficulty:
Deduction of attributes implicit in MARC
Stability and scalability of the representation and reasoning tool
Significant user contributions to the knowledge-base with real-time reasoning
Formal reasoning under uncertainty, with adequate expressiveness and tractability