{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T06:50:25Z","timestamp":1772607025215,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642239342","type":"print"},{"value":"9783642239359","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23935-9_25","type":"book-chapter","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T11:31:55Z","timestamp":1315827115000},"page":"254-264","source":"Crossref","is-referenced-by-count":7,"title":["On the Web Ontology Rule Language OWL\u00a02\u00a0RL"],"prefix":"10.1007","author":[{"given":"Son Thanh","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linh Anh","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Sza\u0142as","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Cao, S.T., Nguyen, L.A., Sza\u0142as, A.: The long version of this paper (2011), Available at http:\/\/www.mimuw.edu.pl\/~nguyen\/owl2rl-long.pdf"},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"617","DOI":"10.2298\/CSIS100209015D","volume":"7","author":"B. Dunin-K\u0119plicz","year":"2010","unstructured":"Dunin-K\u0119plicz, B., Nguyen, L.A., Sza\u0142as, A.: A layered rule-based architecture for approximate knowledge fusion. Computer Science and Information Systems\u00a07(3), 617\u2013642 (2010)","journal-title":"Computer Science and Information Systems"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Dunin-K\u0119plicz, B., Nguyen, L.A., Sza\u0142as, A.: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reasoning\u00a051(3) (2010)","DOI":"10.1016\/j.ijar.2009.11.002"},{"issue":"2","key":"25_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1877714.1877717","volume":"12","author":"T. Eiter","year":"2011","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the Semantic Web. ACM Trans. Comput. Log.\u00a012(2), 11 (2011)","journal-title":"ACM Trans. Comput. Log."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of WWW 2003, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"key":"25_CR6","first-page":"35","volume-title":"Proceedings of ECAI 2010","author":"S. Heymans","year":"2010","unstructured":"Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with DL-programs over Datalog-rewritable description logics. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of ECAI 2010, pp. 35\u201340. IOS Press, Amsterdam (2010)"},{"key":"25_CR7","first-page":"57","volume-title":"Proceedings of KR 2006","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of KR 2006, pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"key":"25_CR8","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-79355-7_14","volume-title":"New Challenges in Applied Intelligence Technologies","author":"E. Madali\u0144ska-Bugaj","year":"2008","unstructured":"Madali\u0144ska-Bugaj, E., Nguyen, L.A.: Generalizing the QSQR evaluation method for Horn knowledge bases. In: Nguyen, N.T., Katarzyniak, R. (eds.) New Challenges in Applied Intelligence Technologies. Studies in Computational Intelligence, vol.\u00a0134, pp. 145\u2013154. Springer, Heidelberg (2008)"},{"key":"25_CR9","unstructured":"Nguyen, L.A.: On the deterministic Horn fragment of test-free PDL. In: Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logic, pp. 373\u2013392. King\u2019s College Publications (2006)"},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1093\/jigpal\/jzm059","volume":"16","author":"L.A. Nguyen","year":"2008","unstructured":"Nguyen, L.A.: Constructing finite least Kripke models for positive logic programs in serial regular grammar logics. Logic Journal of the IGPL\u00a016(2), 175\u2013193 (2008)","journal-title":"Logic Journal of the IGPL"},{"key":"25_CR11","unstructured":"Nguyen, L.A.: Extending the description Horn logic DHL. In: Czaja, L., Szczuka, M. (eds.) Proceedings of CS&P 2009, pp. 419\u2013430 (2009)"},{"issue":"4","key":"25_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3233\/FI-2010-353","volume":"104","author":"L.A. Nguyen","year":"2010","unstructured":"Nguyen, L.A.: Horn knowledge bases in regular description logics with PTime data complexity. Fundamenta Informaticae\u00a0104(4), 349\u2013384 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"25_CR13","unstructured":"OWL\u00a02\u00a0RL (2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/#OWL_2_RL"},{"issue":"2-3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Sem.\u00a03(2-3), 79\u2013115 (2005)","journal-title":"J. Web Sem."}],"container-title":["Lecture Notes in Computer Science","Computational Collective Intelligence. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23935-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T17:15:14Z","timestamp":1592932514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23935-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239342","9783642239359"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23935-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}