Key Issues for Semantic Web Reasoning
- the World Wide Web imposes some constraints
not found in earlier reasoning systems
- scalability
- open world
- just because we can't find something doesn't mean it isn't true,
e.g. North Korea may have nuclear weapons
- generally precludes negation as failure
- no unique names assumption
- a given individual may have multiple identifiers,
e.g. #mike and #michael,
or the various spellings of Osama bin Laden