{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:58:39Z","timestamp":1725771519500},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642544545"},{"type":"electronic","value":"9783642544552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54455-2_7","type":"book-chapter","created":{"date-parts":[[2014,2,7]],"date-time":"2014-02-07T03:33:45Z","timestamp":1391744025000},"page":"152-175","source":"Crossref","is-referenced-by-count":0,"title":["The Web Ontology Rule Language OWL\u00a02\u00a0RL\u2009+\u2009 and Its Extensions"],"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":"7_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley (1995)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of IJCAI 2005, pp. 364\u2013369. Morgan-Kaufmann Publishers (2005)","DOI":"10.25368\/2022.144"},{"key":"7_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope further. In: Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)"},{"key":"7_CR4","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and - what else? In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proceedings of ECAI 2004, pp. 298\u2013302. IOS Press (2004)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-23935-9_25","volume-title":"Computational Collective Intelligence. Technologies and Applications","author":"S.T. Cao","year":"2011","unstructured":"Cao, S.T., Nguyen, L.A., Sza\u0142as, A.: On the Web ontology rule language OWL\u00a02\u00a0RL. In: J\u0119drzejowicz, P., Nguyen, N.T., Hoang, K. (eds.) ICCCI 2011, Part I. LNCS, vol.\u00a06922, pp. 254\u2013264. Springer, Heidelberg (2011)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Cao, S.T., Nguyen, L.A., Sza\u0142as, A.: WORL: A Web ontology rule language. In: Proceedings of KSE 2011, pp. 32\u201339. IEEE (2011)","DOI":"10.1109\/KSE.2011.14"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Cao, S.T., Nguyen, L.A., Sza\u0142as, A.: WORL: a Nonmonotonic Rule Language for the Semantic Web. Vietnam Journal of Computer Science\u00a01 (2013)","DOI":"10.1007\/s40595-013-0009-y"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and description logics. J. Intell. Inf. Syst.\u00a010(3), 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-72982-2_1","volume-title":"Web Reasoning and Rule Systems","author":"W. Drabent","year":"2007","unstructured":"Drabent, W., Ma\u0142uszy\u0144ski, J.: Well-founded semantics for hybrid rules. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 1\u201315. Springer, Heidelberg (2007)"},{"issue":"3","key":"7_CR11","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":"7_CR12","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"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-40495-5_15","volume-title":"Computational Collective Intelligence. Technologies and Applications","author":"B. Dunin-K\u0119plicz","year":"2013","unstructured":"Dunin-K\u0119plicz, B., Nguyen, L.A., Sza\u0142as, A.: Horn-TeamLog: A Horn fragment of TeamLog with PTime data complexity. In: B\u01cedic\u01ce, C., Nguyen, N.T., Brezovan, M. (eds.) ICCCI 2013. LNCS, vol.\u00a08083, pp. 143\u2013153. Springer, Heidelberg (2013)"},{"issue":"2","key":"7_CR14","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":"7_CR15","unstructured":"Elenius, D.: SWRL-IQ: A prolog-based query tool for OWL and SWRL. In: Proceedings of OWL\u00a0ED Workshop (2012)"},{"key":"7_CR16","unstructured":"Motik, B., et al. (eds), Horrocks, I., et al. (contributors): OWL\u00a02 Web Ontology Language Direct Semantics (2009), http:\/\/www.w3.org\/TR\/2009\/REC-owl2-direct-semantics-20091027"},{"key":"7_CR17","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.2139\/ssrn.460986"},{"key":"7_CR18","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 (2010)"},{"key":"7_CR19","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 (2006)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL rules: A proposal and prototype implementation. J. Web Sem.\u00a03(1), 23\u201340 (2005)","journal-title":"J. Web Sem."},{"issue":"3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive Datalog. J. Autom. Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"7_CR22","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded model for hybrid MKNF knowledge bases. In: Proceedings of ECAI 2008. Frontiers in Artificial Intelligence and Applications, vol.\u00a0178, pp. 99\u2013103. IOS Press (2008)"},{"key":"7_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-75560-9_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A. Krisnadhi","year":"2007","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the EL family of description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 333\u2013347. Springer, Heidelberg (2007)"},{"key":"7_CR24","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: Proceedings of AAAI 2007, pp. 452\u2013457. AAAI Press (2007)"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-76298-0_23","volume-title":"The Semantic Web","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL\u00a01.1. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 310\u2013323. Springer, Heidelberg (2007)"},{"issue":"1-2","key":"7_CR26","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"7_CR27","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/2362355.2362360","volume":"13","author":"E. Madali\u0144ska-Bugaj","year":"2012","unstructured":"Madali\u0144ska-Bugaj, E., Nguyen, L.A.: A generalized QSQR evaluation method for Horn knowledge bases. ACM Trans. Comput. Log.\u00a013(4), 32 (2012)","journal-title":"ACM Trans. Comput. Log."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM\u00a057(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Sem.\u00a03(1), 41\u201360 (2005)","journal-title":"J. Web Sem."},{"key":"7_CR30","unstructured":"Nguyen, L.A.: On the deterministic Horn fragment of test-free PDL. In: Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logic, vol.\u00a06, pp. 373\u2013392. King\u2019s College Publications (2006)"},{"issue":"2","key":"7_CR31","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":"7_CR32","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":"7_CR33","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":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-34630-9_25","volume-title":"Computational Collective Intelligence. Technologies and Applications","author":"L.A. Nguyen","year":"2012","unstructured":"Nguyen, L.A., Cao, S.T.: Query-subquery nets. In: Nguyen, N.-T., Hoang, K., J\u0119drzejowicz, P. (eds.) ICCCI 2012, Part I. LNCS, vol.\u00a07653, pp. 239\u2013248. Springer, Heidelberg (2012)"},{"key":"7_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-39666-3_25","volume-title":"Web Reasoning and Rule Systems","author":"L.A. Nguyen","year":"2013","unstructured":"Nguyen, L.A., Nguyen, T.-B.-L., Sza\u0142as, A.: Horn-DL: An expressive Horn description logic with PTime data complexity. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol.\u00a07994, pp. 259\u2013264. Springer, Heidelberg (2013)"},{"key":"7_CR36","series-title":"AISC","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-02741-8_6","volume-title":"Knowledge and Systems Engineering","author":"L.A. Nguyen","year":"2014","unstructured":"Nguyen, L.A., Nguyen, T.-B.-L., Sza\u0142as, A.: On Horn knowledge bases in regular description logic with inverse. In: Huynh, V.N., Denoeux, T., Tran, D.H., Le, A.C., Pham, B.S. (eds.) KSE 2013, Part I. AISC, vol.\u00a0244, pp. 37\u201350. Springer, Heidelberg (2014)"},{"key":"7_CR37","unstructured":"Nguyen, L.A., Sza\u0142as, A.: On the Horn fragments of serial regular grammar logics with converse. In: Proceedings of KES-AMSTA 2013. Frontiers in Artificial Intelligence and Applications, vol.\u00a0252, pp. 225\u2013234. IOS Press (2013)"},{"key":"7_CR38","unstructured":"Ortiz, M., Rudolph, S., Simkus, M.: Query answering in the Horn fragments of the description logics SHOIQ and SROIQ. In: Walsh, T. (ed.) Proceedings of IJCAI 2011, pp. 1039\u20131044 (2011)"},{"key":"7_CR39","unstructured":"http:\/\/www.w3.org\/TR\/owl2-syntax\/#Datatype_Restrictions"},{"key":"7_CR40","unstructured":"In: Motik, B., et al. (ed.), Calvanese, D., et al. (contributors): OWL 2 Web Ontology Language Profiles (2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/#OWL_2_RL http:\/\/www.w3.org\/TR\/owl2-profiles"},{"key":"7_CR41","unstructured":"Rosati, R.: On conjunctive query answering in $\\mathcal{EL}$ . In: Proceedings of DL 2007, pp. 451\u2013458 (2007)"},{"key":"7_CR42","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive Datalog. In: Proceedings of KR 2006, pp. 68\u201378. AAAI Press (2006)"},{"issue":"2-3","key":"7_CR43","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","Transactions on Computational Intelligence XIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54455-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T09:38:38Z","timestamp":1688981918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54455-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642544545","9783642544552"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54455-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}