{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:12:55Z","timestamp":1726409575778},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319316758"},{"type":"electronic","value":"9783319316765"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31676-5_19","type":"book-chapter","created":{"date-parts":[[2016,3,19]],"date-time":"2016-03-19T07:58:58Z","timestamp":1458374338000},"page":"271-279","source":"Crossref","is-referenced-by-count":0,"title":["Meta-Level Properties for Reasoning on Dynamic Data"],"prefix":"10.1007","author":[{"given":"Yuting","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Vetere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff Z.","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Faraotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Monti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Honghan","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,20]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Anicic, D., Fodor, P., Rudolph, S., Stojanovic, N.: EP-SPARQL: a unified language for event processing and stream reasoning. In: Proceedings of the 20th International Conference on World Wide Web, pp. 635\u2013644. ACM (2011)","DOI":"10.1145\/1963405.1963495"},{"issue":"2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A Arasu","year":"2006","unstructured":"Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: semantic foundations and query execution. VLDB J. 15(2), 121\u2013142 (2006)","journal-title":"VLDB J."},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"19_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S1793351X10000936","volume":"4","author":"DF Barbieri","year":"2010","unstructured":"Barbieri, D.F., Braga, D., Ceri, S., Valle, E.D., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semant. Comput. 4(1), 3\u201325 (2010)","journal-title":"Int. J. Semant. Comput."},{"issue":"1\u20132","key":"19_CR5","doi-asserted-by":"publisher","first-page":"232","DOI":"10.14778\/1920841.1920874","volume":"3","author":"I Botan","year":"2010","unstructured":"Botan, I., Derakhshan, R., Dindar, N., Haas, L., Miller, R.J., Tatbul, N.: Secret: a model for analysis of the execution semantics of stream processing systems. Proc. VLDB Endow. 3(1\u20132), 232\u2013243 (2010)","journal-title":"Proc. VLDB Endow."},{"issue":"1","key":"19_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.4018\/jswis.2012010103","volume":"8","author":"J-P Calbimonte","year":"2012","unstructured":"Calbimonte, J.-P., Jeung, H.Y., Corcho, O., Aberer, K.: Enabling query technologies for the semantic sensor web. Int. J. Semant. Web Inf. Syst. 8(1), 43\u201363 (2012)","journal-title":"Int. J. Semant. Web Inf. Syst."},{"key":"19_CR7","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proceedings of AAAI 2006, pp. 1295\u20131300 (2006)"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0169-023X(92)90025-7","volume":"8","author":"N Guarino","year":"1992","unstructured":"Guarino, N.: Concepts, attributes, and arbitrary relations - some linguistic and ontological criteria for structuring knowledge bases. Data Knowl. Eng. 8, 249\u2013261 (1992)","journal-title":"Data Knowl. Eng."},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-24750-0_8","volume-title":"Handbook on Ontologies","author":"N Guarino","year":"2004","unstructured":"Guarino, N., Welty, C.: An overview of ontoclean. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 151\u2013159. Springer, Heidelberg (2004)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-39967-4_8","volume-title":"Knowledge Engineering and Knowledge Management. Methods, Models, and Tools","author":"N Guarino","year":"2000","unstructured":"Guarino, N., Welty, C.A.: A formal ontology of properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 97\u2013112. Springer, Heidelberg (2000)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-25073-6_24","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"D Le-Phuoc","year":"2011","unstructured":"Le-Phuoc, D., Dao-Tran, M., Parreira, J.X., Hauswirth, M.: A native and adaptive approach for unified processing of linked streams and linked data. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 370\u2013388. Springer, Heidelberg (2011)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Ren, Y., Pan, J.Z.: Optimising ontology stream reasoning with truth maintenance system. In: Proceedings of the ACM Conference on Information and Knowledge Management (CIKM) (2011)","DOI":"10.1145\/2063576.2063696"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/3-540-45810-7_28","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"VAM Tamma","year":"2002","unstructured":"Tamma, V.A.M., Capon, T.J.M.B.: Attribute meta-properties for formal ontological analysis. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 301\u2013316. Springer, Heidelberg (2002)"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-06826-8_14","volume-title":"Semantic Technology","author":"S Wang","year":"2014","unstructured":"Wang, S., Pan, J.Z., Zhao, Y., Li, W., Han, S., Han, D.: Belief base revision for datalog+\/- ontologies. In: Kim, W., Ding, Y., Kim, H.-G. (eds.) JIST 2013. LNCS, vol. 8388, pp. 175\u2013186. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31676-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T19:41:34Z","timestamp":1559418094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31676-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319316758","9783319316765"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31676-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}