{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,8]],"date-time":"2022-07-08T00:10:22Z","timestamp":1657239022218},"reference-count":47,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Computer Journal"],"DOI":"10.1093\/comjnl\/bxw048","type":"journal-article","created":{"date-parts":[[2016,9,9]],"date-time":"2016-09-09T01:33:49Z","timestamp":1473384829000},"source":"Crossref","is-referenced-by-count":1,"title":["Transactional and Incremental Type Inference from Data Updates"],"prefix":"10.1093","author":[{"given":"Yu","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"McBrien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,9,8]]},"reference":[{"key":"2016090818334001000_bxw048v1.1","doi-asserted-by":"crossref","unstructured":"Bagosi, T. , Calvanese, D. , Hardi, J. , Komla-Ebri, S. , Lanti, D. , Rezk, M. , Rodrguez-Muro, M. , Slusnys, M. and Xiao, G. (2014) The Ontop Framework for Ontology Based Data Access. In Proc. CSWS 2014, Wuhan, China, August 8\u201312, pp. 67\u201377. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/978-3-662-45495-4_6"},{"key":"2016090818334001000_bxw048v1.2","unstructured":"P\u00e9rez-Urbina, H. , Rodr\u00edguez-D\u00edaz, E. , Grove, M. , Konstantinidis, G. and Sirin, E. (2012) Evaluation of Query Rewriting Approaches for OWL 2. In Proc. SSWS+HPCSW, Boston, USA, November 11, pp. 32\u201344. CEUR-WS.org."},{"key":"2016090818334001000_bxw048v1.3","doi-asserted-by":"crossref","unstructured":"Pan, Z. , Zhang, X. and Heflin, J. (2008) DLDB2: A Scalable Multi-perspective Semantic Web Repository. In Proc. WI-IAT'08, Sydney, NSW, Australia, December 9\u201312, pp. 489\u2013495. IEEE, New York.","DOI":"10.1109\/WIIAT.2008.290"},{"key":"2016090818334001000_bxw048v1.4","doi-asserted-by":"crossref","unstructured":"Kiryakov, A. , Ognyanov, D. and Manov, D. (2005) OWLIM\u2013A Pragmatic Semantic Repository for OWL. In Proc. WISE Workshops 2005, New York, NY, November 20\u201322, pp. 182\u2013192. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/11581116_19"},{"key":"2016090818334001000_bxw048v1.5","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.05.004"},{"key":"2016090818334001000_bxw048v1.6","doi-asserted-by":"crossref","unstructured":"Motik, B. , Nenov, Y. , Piro, R. , Horrocks, I. and Olteanu, D. (2014) Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. In Proc. AAAI 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, July 27\u201331, pp. 129\u2013137. AAAI Press, Palo Alto, California.","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"2016090818334001000_bxw048v1.7","doi-asserted-by":"crossref","unstructured":"Wu, Z. , Eadon, G. , Das, S. , Chong, E.I. , Kolovski, V. , Annamalai, M. and Srinivasan, J. (2008) Implementing an Inference Engine for RDFS\/OWL Constructs and User-Defined Rules in Oracle. In Proc. ICDE 2008, Canc\u00fan, M\u00e9xico, April 7\u201312, pp. 1239\u20131248. IEEE, New York.","DOI":"10.1109\/ICDE.2008.4497533"},{"key":"2016090818334001000_bxw048v1.8","doi-asserted-by":"crossref","unstructured":"Zhou, J. , Ma, L. , Liu, Q. , Zhang, L. , Yu, Y. and Pan, Y. (2006) Minerva: A Scalable OWL Ontology Storage and Inference System. In Proc. ASWC 2006, Beijing, China, September 3\u20137, pp. 429\u2013443. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/11836025_42"},{"key":"2016090818334001000_bxw048v1.9","unstructured":"Liu, Y. and McBrien, P. (2013) SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMS. Informal Proc. DL 2013, Ulm, Germany, July 23\u201326, pp. 779\u2013790. CEUR-WS.org."},{"key":"2016090818334001000_bxw048v1.10","doi-asserted-by":"publisher","DOI":"10.1145\/289.291"},{"key":"2016090818334001000_bxw048v1.11","unstructured":"Motik, B. , Grau, B.C. , Horrocks, I. , Wu, Z. , Fokoue, A. and Lutz, C. (eds.) (2012) OWL 2 Web Ontology Language: Profiles (Second Edition). W3C Recommendation. Latest version available at http:\/\/www.w3.org\/TR\/owl2-profiles\/."},{"key":"2016090818334001000_bxw048v1.12","unstructured":"McGuinness, D.L. and Van Harmelen, F. (eds.) (2004) OWL Web Ontology Language Overview. W3C Recommendation. Latest version available at https:\/\/www.w3.org\/TR\/owl-features\/."},{"key":"2016090818334001000_bxw048v1.13","doi-asserted-by":"crossref","unstructured":"Gupta, A. , Mumick, I.S. and Subrahmanian, V.S. (1993) Maintaining Views Incrementally. In Proc. ACM SIGMOD 93, Washington, D.C., USA, May 26\u201328, pp. 157\u2013166. ACM Press, New York, USA.","DOI":"10.1145\/170035.170066"},{"key":"2016090818334001000_bxw048v1.14","doi-asserted-by":"crossref","unstructured":"Motik, B. , Nenov, Y. , Piro, R. and Horrocks, I. (2015) Incremental Update of Datalog Materialisation: the Backward\/Forward Algorithm. In Proc. AAAI 2015, Austin, Texas, USA, January 25\u201330, pp. 1560\u20131568. AAAI Press, Palo Alto, California.","DOI":"10.1609\/aaai.v29i1.9409"},{"key":"2016090818334001000_bxw048v1.15","doi-asserted-by":"crossref","unstructured":"McBrien, P. , Rizopoulos, N. and Smith, A.C. (2010) SQOWL: Type Inference in an RDBMS. In Proc. ER 2010, Vancouver, BC, Canada, November 1\u20134, pp. 362\u2013376. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/978-3-642-16373-9_26"},{"key":"2016090818334001000_bxw048v1.16","doi-asserted-by":"crossref","unstructured":"Liu, Y. and McBrien, P. (2015) Transactional and Incremental Type Inference from Data Updates. In Proc. BICOD 2015, Edinburgh, UK, July 6\u20138, pp. 206\u2013219. Springer\u2013Verlag, Berlin Heidelberg.","DOI":"10.1007\/978-3-319-20424-6_20"},{"key":"2016090818334001000_bxw048v1.17","unstructured":"Sowa, J.F. (2000) Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co."},{"key":"2016090818334001000_bxw048v1.18","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.05.001"},{"key":"2016090818334001000_bxw048v1.19","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M. (2012) OWL 2 Profiles: An Introduction to Lightweight Ontology Languages. In Proc. Reasoning Web \u2013 Semantic Technologies for Advanced Query Answering \u2013 8th Int. Summer School 2012, Vienna, Austria, September 3\u20138, Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/978-3-642-33158-9_4"},{"key":"2016090818334001000_bxw048v1.20","unstructured":"Baader, F. , Calvanese, D. , McGuinness, D.L. , Nardi, D. and Patel-Schneider, P.F. (2010) The Description Logic Handbook: Theory, Implementation, and Applications (Second Edition). Cambridge University Press."},{"key":"2016090818334001000_bxw048v1.21","unstructured":"Motik, B. , Patel-Schneider, P.F. and Grau, B.C. (eds.) (2012) OWL 2 Web Ontology Language: Direct Semantics (Second Edition). W3C Recommendation. Latest version available at http:\/\/www.w3.org\/TR\/owl2-direct-semantics\/"},{"key":"2016090818334001000_bxw048v1.22","unstructured":"Schneider, M. (ed.) (2012) OWL 2 Web Ontology Language: RDF-Based Semantics (Second Edition). W3C Recommendation. Latest version available at http:\/\/www.w3.org\/TR\/owl2-rdf-based-semantics\/"},{"key":"2016090818334001000_bxw048v1.23","doi-asserted-by":"crossref","unstructured":"Grosof, B.N. , Horrocks, I. , Volz, R. and Decker, S. (2003) Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. WWW 2003, Budapest, Hungary, May 20\u201324, pp. 48\u201357. ACM Press, New York, USA.","DOI":"10.2139\/ssrn.460986"},{"key":"2016090818334001000_bxw048v1.24","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.001"},{"key":"2016090818334001000_bxw048v1.25","unstructured":"Nicolas, J. and Yazdanian, K. (1983) An Outline of BDGEN: A Deductive DBMS. In Proc. IFIP Congress, Paris, France, September 19\u201323, pp. 711\u2013717. Springer\u2013Verlag, Berlin Heidelberg."},{"key":"2016090818334001000_bxw048v1.26","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M. (2012) The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. In Proc. ISWC 2012, Boston, MA, November 11\u201315, pp. 279\u2013294. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/978-3-642-35176-1_18"},{"key":"2016090818334001000_bxw048v1.27","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"2016090818334001000_bxw048v1.28","doi-asserted-by":"crossref","unstructured":"Tsarkov, D. and Horrocks, I. (2006) FaCT++ Description Logic Reasoner: System Description. In Proc. IJCAR 2006, Seattle, WA, August 17\u201320, pp. 292\u2013297. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/11814771_26"},{"key":"2016090818334001000_bxw048v1.29","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-014-9305-1"},{"key":"2016090818334001000_bxw048v1.30","first-page":"279","article-title":"SNOMED-CT: The advanced terminology and coding system for eHealth","volume":"121","author":"Donnelly","year":"2006","journal-title":"Studies in Health Technology and Informatics"},{"key":"2016090818334001000_bxw048v1.31","unstructured":"Delaitre, V. and Kazakov, Y. (2009) Classifying ELH Ontologies In SQL Databases. In Proc. OWLED 2009, Chantilly, VA, October 23\u201324. CEUR-WS.org."},{"key":"2016090818334001000_bxw048v1.32","unstructured":"Date, C.J. (2000) An Introduction to Database Systems (Seventh edition). Addison-Wesley-Longman."},{"key":"2016090818334001000_bxw048v1.33","unstructured":"Stoilos, G. , Grau, B.C. and Horrocks, I. (2010) How Incomplete is Your Semantic Web Reasoner? In Proc. AAAI 2010, Atlanta, Georgia, USA, July 11\u201315. AAAI Press, Palo Alto, California."},{"key":"2016090818334001000_bxw048v1.34","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2009.11.001"},{"key":"2016090818334001000_bxw048v1.35","doi-asserted-by":"crossref","unstructured":"Meditskos, G. and Bassiliades, N. (2008) Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. In Proc. ISWC 2008, Karlsruhe, Germany, October 26\u201330, pp. 277\u2013292. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/978-3-540-88564-1_18"},{"key":"2016090818334001000_bxw048v1.36","first-page":"11","volume-title":"Semantic Web","volume":"2","author":"Horridge","year":"2011"},{"key":"2016090818334001000_bxw048v1.37","unstructured":"Momjian, B. (2001) PostgreSQL: Introduction and Concepts. Addison-Wesley."},{"key":"2016090818334001000_bxw048v1.38","unstructured":"Kline, K. , Gould, L. and Zanevsky, A. (1999) Transact-SQL Programming: Covers Microsoft SQL Server 6.5\/7.0 and Sybase Adaptive Server 11.5. O'Reilly Media."},{"key":"2016090818334001000_bxw048v1.39","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"2016090818334001000_bxw048v1.40","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1613\/jair.3470","article-title":"Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice","volume":"43","author":"Grau","year":"2012","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"2016090818334001000_bxw048v1.41","unstructured":"Lutz, C. , Toman, D. and Wolter, F. (2009) Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. In Proc. IJCAI 2009, Pasadena, California, July 11\u201317, pp. 2070\u20132075. AAAI Press, Palo Alto, California."},{"key":"2016090818334001000_bxw048v1.42","doi-asserted-by":"crossref","unstructured":"McBrien, P. , Rizopoulos, N. and Smith, A.C. (2012) Type Inference Methods and Performance for Data in an RDBMS. In Proc. SWIM 2012, Scottsdale, AZ, USA, 20 May 6. ACM Press, New York, USA.","DOI":"10.1145\/2237867.2237873"},{"key":"2016090818334001000_bxw048v1.43","unstructured":"Hayes, P. and Patel-Schneider, P. (2014) RDF 1.1 Semantics. W3C Recommendation. Latest version available at http:\/\/www.w3.org\/TR\/rdf11-mt\/."},{"key":"2016090818334001000_bxw048v1.44","unstructured":"White, T. (2015) Hadoop - The Definitive Guide: Storage and Analysis at Internet Scale (Fourth edition revised & updated). O'Reilly Media."},{"key":"2016090818334001000_bxw048v1.45","doi-asserted-by":"crossref","unstructured":"Urbani, J. , Margara, A. , Jacobs, C.J.H. , van Harmelen, F. and Bal, H.E. (2013) DynamiTE: Parallel Materialization of Dynamic RDF Data. In Proc. ISWC 2013, Sydney, NSW, Australia, October 21\u201325, pp. 657\u2013672. Springer-Verlag, Berlin Heidelberg.","DOI":"10.1007\/978-3-642-41335-3_41"},{"key":"2016090818334001000_bxw048v1.46","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2009.07.003"},{"key":"2016090818334001000_bxw048v1.47","unstructured":"Kr\u00f6tzsch, M. , Mehdi, A. and Rudolph, S. (2010) Orel: Database-Driven Reasoning for OWL 2 Profiles. In Proc. DL 2010, Waterloo, Ontario, Canada, May 4\u20137, pp. 114. CEUR-WS.org."}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/60\/3\/347\/10877175\/bxw048.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T23:46:36Z","timestamp":1657237596000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article-lookup\/doi\/10.1093\/comjnl\/bxw048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,8]]},"references-count":47,"alternative-id":["10.1093\/comjnl\/bxw048"],"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxw048","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,8]]}}}