Towards Incremental Reasoning Through Updates in OWL-DL


In this paper, we investigate incrementally updating classifications of ontologies encoded in the expressive description logic SHOIN (D), which also corresponds to the W3C standard Web Ontology Language, OWL-DL. In particular we present various optimizations for incremental classification under both axiom addition and removal. Several of the optimizations are independent of the logic and proof theory as long as classification can be reduced to satisfiability testing. Additionally, we provide an empirical analysis of the optimizations through an experimental implementation in the Pellet OWL-DL reasoner.

6 Figures and Tables


Citations per Year

51 Citations

Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Parsia2006TowardsIR, title={Towards Incremental Reasoning Through Updates in OWL-DL}, author={Bijan Parsia and Christian Halaschek-Wiener and Evren Sirin}, year={2006} }