Jakub Kotowski

Learn More
Traditional wikis excel in collaborative work on emerging content and structure. Semantic Wikis go further by allowing users to expose knowledge in ways suitable for machine processing, e.g. using Semantic Web technologies. The combination of ease of use, support for work in progress and Semantic Web technologies makes Semantic Wikis particularly(More)
We present a novel incremental algorithm to compute changes to materialized views in logic databases like those used by rule-based rea-soners. Such reasoners have to address the problem of changing axioms in the presence of materializations of derived atoms. Existing approaches have drawbacks: some require to generate and evaluate large transformed programs(More)
Reasoning in wikis has focused so far mostly on expressive-ness and tractability and neglected related issues of updates and explanation. In this demo, we show reasoning, explanation, and incremental updates in the KiWi wiki and argue that it is a perfect match for OWL 2 RL reasoning. Explanation nicely complements the " work-in-progress " focus of wikis by(More)
  • 1