Our KB Analysis Task
uReview KBs
that:
u Were developed using differing standards
u May be syntactically but not semantically
validated
u May use
differing modeling representations
uProduce KB logs (in interactive environments)
uIdentify provable problems
uSuggest possible problems in style and/or
modeling
uAre extensible by being user programmable