{"type":"ScholarlyArticle","title":"Embracing Change by Abstraction Materialization Maintenance for Large ABoxes","authors":[{"name":"Markus Brenner","slug":"markus-brenner","given":"Markus","family":"Brenner","affiliation":"University of Ulm , Germany"},{"name":"Birte Glimm","slug":"birte-glimm","given":"Birte","family":"Glimm","affiliation":"University of Ulm , Germany"}],"abstract":"Abstraction Refinement is a recently introduced technique which allows for reducing materialization of an ontology with a large ABox to materialization of a smaller (compressed) `abstraction' of this ontology.  In this paper, we show how Abstraction Refinement can be adopted for incremental ABox materialization by combining it with the well-known DRed algorithm for materialization maintenance. Such a combination is non-trivial and to preserve soundness and completeness, already Horn ALCHI requires more complex abstractions. Nevertheless, we show that significant benefits can be obtained for synthetic and real-world ontologies.","doi":"10.24963/ijcai.2018/244","url":"https://ijcai.org/proceedings/2018/244","pdf":"https://ijcai.org/proceedings/2018/0244.pdf","markdown":"https://ijcai.org/proceedings/2018/244.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/244","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":244,"pages":{"first":1767,"last":1773},"keywords":["Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Barbieri et al., 2010] Davide Francesco Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, and Michael Grossniklaus. Incremental reasoning on streams and rich background knowledge. In Extended Semantic Web Con- ference, pages 1-15. Springer, 2010.","title":"Incremental reasoning on streams and rich background knowledge","authors":"Davide Francesco Barbieri, Daniele Braga, Stefano Ceri, Emanuele Della Valle, Michael Grossniklaus","year":"2010","venue":"Extended Semantic Web Conference","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Dolby et al., 2009] Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, and Kavitha Srinivas. Scal- able Highly Expressive Reasoner (SHER). J. of Web Se- mantics, 7(4):357-361, 2009.","title":"Scalable Highly Expressive Reasoner (SHER)","authors":"Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas","year":"2009","venue":"J. of Web Semantics","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Glimm and Brenner, 2018] Birte Glimm and Markus Brenner. Dataset and Software for Abstraction Materialization Maintenance, April 2018. Zenodo. https://doi.org/10.5281/zenodo.1229328.","title":"Dataset and Software for Abstraction Materialization Maintenance","authors":"Brenner Glimm, Birte Glimm, Markus Brenner","year":"2018","venue":null,"doi":"10.5281/zenodo.1229328","url":"https://doi.org/10.5281/zenodo.1229328","internal_url":null},{"position":4,"raw":"[Glimm et al., 2014] Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, and Vincent Vialard. Abstraction refinement for ontology materialization. In Proc. of the 13th Int. Semantic Web Conference, ISWC 2014, pages 180-195, 2014.","title":"Abstraction refinement for ontology materialization","authors":"Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard","year":"2014","venue":"Proc. of the 13th Int. Semantic Web Conference, ISWC 2014","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Glimm et al., 2017] Birte Glimm, Yevgeny Kazakov, and Trung-Kien Tran. Ontology materialization by abstrac- tion refinement in horn SHOIF. In Proceedings of the 31st AAAI Conference on Artificial Intelligence, pages 1114- 1120. AAAI Press, 2017.","title":"Ontology materialization by abstraction refinement in horn SHOIF","authors":"Glimm","year":"2017","venue":"Proceedings of the 31st AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gupta et al., 1993] Ashish Gupta, Inderpal Singh Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, SIGMOD '93, pages 157-166. ACM, 1993.","title":"Maintaining views incrementally","authors":"Ashish Gupta, Inderpal Singh Mumick, V S Subrahmanian","year":"1993","venue":"Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, SIGMOD '93","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Kazakov and Klinov, 2013] Yevgeny Kazakov and Pavel Klinov. Incremental reasoning in OWL EL without book- keeping. In Proceedings of the 12th International Seman- tic Web Conference (ISWC 2013), volume 8218 of Lec- ture Notes in Computer Science, pages 232-247. Springer, 2013.","title":"Incremental reasoning in OWL EL without bookkeeping","authors":"Klinov Kazakov, Yevgeny Kazakov, Pavel Klinov","year":"2013","venue":"Proceedings of the 12th International Semantic Web Conference (ISWC 2013)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Kazakov, 2009] Yevgeny Kazakov. Consequence-Driven Reasoning for Horn SHIQ Ontologies. In Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI 2009, pages 2040-2045, 2009.","title":"Consequence-Driven Reasoning for Horn SHIQ Ontologies","authors":"Yevgeny Kazakov","year":"2009","venue":"Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI 2009","doi":null,"url":null,"internal_url":"/proceedings/2009/336"},{"position":9,"raw":"[Krötzsch et al., 2013] Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Complexities of Horn Description Logics. ACM Trans. Comput. Log., 14(1), 2013.","title":"Complexities of Horn Description Logics","authors":"Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler","year":"2013","venue":"ACM Trans. Comput. Log","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Ma et al., 2006] Li Ma, Yang Yang, Zhaoming Qiu, Guo- tong Xie, Yue Pan, and Shengping Liu. Towards a com- plete owl ontology benchmark. The Semantic Web: Re- search and Applications, pages 125-139, 2006.","title":"Towards a complete owl ontology benchmark","authors":"Li Ma, Yang Yang, Zhaoming Qiu, Guotong Xie, Yue Pan, Shengping Liu","year":"2006","venue":"The Semantic Web: Research and Applications","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Motik et al., 2014] Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, and Dan Olteanu. Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. In Proc. of the Twenty-Eighth AAAI Confer- ence on Artificial Intelligence, AAAI 2014, pages 129-137, 2014.","title":"Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems","authors":"Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu","year":"2014","venue":"Proc. of the Twenty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2014","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Motik et al., 2015] Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, and Ian Horrocks. Incremental update of datalog materialisation: the backward/forward algorithm. In Proceedings of the 29th AAAI Conference on Artificial Intelligence, pages 1560-1568. AAAI Press, 2015.","title":"Incremental update of datalog materialisation: the backward/forward algorithm","authors":"Boris Motik, Yavor Nenov, Robert Edgar, Felix Piro, Ian Horrocks","year":"2015","venue":"Proceedings of the 29th AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Staudt and Jarke, 1996] Martin Staudt and Matthias Jarke. Incremental maintenance of externally materialized views. In Proceedings of the 22th International Conference on Very Large Data Bases, VLDB '96, pages 75-86.","title":"Incremental maintenance of externally materialized views","authors":"Jarke Staudt, Martin Staudt, Matthias Jarke","year":"1996","venue":"Proceedings of the 22th International Conference on Very Large Data Bases, VLDB '96","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Steigmiller et al., 2015] Andreas Steigmiller, Birte Glimm, and Thorsten Liebig. Completion graph caching for ex- pressive description logics. In Proceedings of the 28th In- ternational Workshop on Description Logics, volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org, 2015.","title":"Completion graph caching for expressive description logics","authors":"Andreas Steigmiller, Birte Glimm, Thorsten Liebig","year":"2015","venue":"Proceedings of the 28th International Workshop on Description Logics","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Volz et al., 2003] Raphael Volz, Steffen Staab, and Boris Motik. Incremental maintenance of materialized ontolo- gies. In On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE -OTM Confederated International Conferences, CoopIS, DOA, and ODBASE, volume 2888 of Lecture Notes in Computer Science, pages 707-724. Springer, 2003.","title":"Incremental maintenance of materialized ontologies","authors":"Raphael Volz, Steffen Staab, Boris Motik","year":"2003","venue":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE -OTM Confederated International Conferences, CoopIS, DOA, and ODBASE","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Volz et al., 2005] Raphael Volz, Steffen Staab, and Boris Motik. Incrementally maintaining materializations of on- tologies stored in logic databases. Journal on Data Seman- tics II, pages 1-34, 2005.","title":"Incrementally maintaining materializations of ontologies stored in logic databases","authors":"Volz","year":"2005","venue":"Journal on Data Semantics II","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Wandelt and Möller, 2012] Sebastian Wandelt and Ralf Möller. Towards ABox Modularization of Semi- Expressive Description Logics. J. of Applied Ontology, 7(2):133-167, 2012.","title":"Towards ABox Modularization of Semi-Expressive Description Logics","authors":"Möller Wandelt, Sebastian Wandelt, Ralf Möller","year":"2012","venue":"J. of Applied Ontology","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}