Our KB Analysis Task
Review KBs that:
- Were developed using differing standards
- May be syntactically but not semantically validated
- May use differing modeling representations
Produce KB logs (in interactive environments)
- Identify provable problems
- Suggest possible problems in style and/or modeling
- Are extensible by being user programmable