Jakub Kotowski

Learn 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)
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)
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)
This presentation outlines requirements for querying and reasoning in a Social Semantic software context. A unified approach which tightly connects the two technologies is sketched. Introduction. Social Semantic software, for example Semantik Wikis, combines collaborative work and social interaction between users with Semantic Web technologies. Reasoning,(More)
We present novel methods to compute changes to materialized views in logic databases like those used by rule-based reasoners. 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 that are in(More)