Published: 2006 Dezember
Institution: AIFB, University of Karlsruhe
Bemerkung: KnowledgeWeb Deliverable D220.127.116.11v2
We report on the progress we have made in KnowledgeWeb on the topic of scalable ontology reasoning. This deliverable contains contributions which advance the state of the art on a broad front, covering query approximation, ABox reasoning and TBox reasoning. It also covers approximation for uncertainty handling and for multi-perspective reasoning.