{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T15:10:53Z","timestamp":1688656253265},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,11,16]],"date-time":"2013-11-16T00:00:00Z","timestamp":1384560000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Vietnam J Comput Sci"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s40595-013-0009-y","type":"journal-article","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T10:25:48Z","timestamp":1384511148000},"page":"57-69","source":"Crossref","is-referenced-by-count":11,"title":["WORL: a nonmonotonic rule language for the semantic web"],"prefix":"10.1007","volume":"1","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","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"9_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison and Wesley, Reading (1995)"},{"key":"9_CR2","volume-title":"A Semantic Web Primer","author":"G Antoniou","year":"2004","unstructured":"Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of IJCAI\u20192005, pp. 364\u2013369. Morgan-Kaufmann, San Franciso (2005).","DOI":"10.25368\/2022.144"},{"key":"9_CR4","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)"},{"issue":"3","key":"9_CR5","doi-asserted-by":"crossref","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. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Cao, S.T., Nguyen, L.A., Sza\u0142as, A.: On the Web ontology rule language OWL 2 RL. In: Proceedings of ICCCI 2011. LNCS, vol. 6922, pp. 254\u2013264. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-23935-9_25"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Cao, S.T., Nguyen, L.A., Szalas, A.: WORL: a Web ontology rule language. In Proceedings of KSE\u20192011, pp. 32\u201339. IEEE Computer Society (2011)","DOI":"10.1109\/KSE.2011.14"},{"issue":"3","key":"9_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"FM Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and description logics. J. Intell. Inf. Syst. 10(3), 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Drabent, W., Maluszynski, J.: Well-founded semantics for hybrid rules. In: Proceedings of RR\u20192007. LNCS, vol. 4524, pp. 1\u201315. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-72982-2_1"},{"issue":"2","key":"9_CR10","doi-asserted-by":"crossref","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. 12(2), 11 (2011)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"9_CR11","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"9_CR12","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In Proceedings of ICLP\/SLP\u20191988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"9_CR13","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\u20192003, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"issue":"1","key":"9_CR14","doi-asserted-by":"crossref","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. 3(1), 23\u201340 (2005)","journal-title":"J. Web Sem."},{"issue":"3","key":"9_CR15","doi-asserted-by":"crossref","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. Reason. 39(3), 351\u2013384 (2007)","journal-title":"J. Autom. Reason."},{"key":"9_CR16","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded model for hybrid MKNF knowledge bases. In: Proceedings of ECAI\u20192008. Frontiers in Artificial Intelligence and Applications, vol. 178, pp. 99\u2013103. IOS Press, Amsterdam (2008)"},{"issue":"1\u20132","key":"9_CR17","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"AY Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artif. Intell. 104(1\u20132), 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM. 57(5) (2010)","DOI":"10.1145\/1754399.1754403"},{"issue":"1","key":"9_CR19","doi-asserted-by":"crossref","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. 3(1), 41\u201360 (2005)","journal-title":"J. Web Sem."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Nguyen, L.A., Nguyen, T.-B.-L., Sza\u0142as, A.: Horn-DL: an expressive Horn description logic with PTime data complexity. In Proceedings of RR\u20192013. LNCS, vol. 7994, pp. 259\u2013264. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-39666-3_25"},{"key":"9_CR21","unstructured":"Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2. In: Proceedings of KR\u20192010. AAAI Press, Cambridge (2010)"},{"key":"9_CR22","unstructured":"http:\/\/www.w3.org\/TR\/owl2-profiles\/#OWL_2_RL (2009)"},{"issue":"4","key":"9_CR23","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1093\/logcom\/exn042","volume":"19","author":"F Ricca","year":"2009","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. J. Log. Comput. 19(4), 643\u2013670 (2009)","journal-title":"J. Log. Comput."},{"key":"9_CR24","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive Datalog. In: Proceedings of KR\u20192006, pp. 68\u201378. AAAI Press, Cambridge (2006)"}],"container-title":["Vietnam Journal of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-013-0009-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40595-013-0009-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40595-013-0009-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T14:57:18Z","timestamp":1688655438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40595-013-0009-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,16]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["9"],"URL":"https:\/\/doi.org\/10.1007\/s40595-013-0009-y","relation":{},"ISSN":["2196-8888","2196-8896"],"issn-type":[{"value":"2196-8888","type":"print"},{"value":"2196-8896","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,16]]}}}