{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:20:48Z","timestamp":1725733248519},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,17]],"date-time":"2017-08-17T00:00:00Z","timestamp":1502928000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,17]]},"DOI":"10.1145\/3133811.3133830","type":"proceedings-article","created":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T08:48:56Z","timestamp":1506674936000},"page":"77-80","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Introducing Fuzzy Temporal Description Logic"],"prefix":"10.1145","author":[{"given":"Loan T.T","family":"Ho","sequence":"first","affiliation":[{"name":"Dept. Computer Science, Khon Kaen University, Khon Kaen, Thailand"}]},{"given":"Somjit","family":"Arch-int","sequence":"additional","affiliation":[{"name":"Dept. Computer Science, Khon Kaen University, Khon Kaen, Thailand"}]},{"given":"Ngamnij","family":"Arch-int","sequence":"additional","affiliation":[{"name":"Dept. Computer Science, Khon Kaen University, Khon Kaen, Thailand"}]}],"member":"320","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"volume-title":"D. Gabbay, M. Fisher, L. Vila, Handbook of Time and Temporal reasoning in Artificial Intelligence","author":"Artale A.","key":"e_1_3_2_1_1_1","unstructured":"Artale A. , Franconi E. 2001. Temporal description logics , in: D. Gabbay, M. Fisher, L. Vila, Handbook of Time and Temporal reasoning in Artificial Intelligence , MIT Press , Cabridge . Artale A., Franconi E. 2001. Temporal description logics, in: D. Gabbay, M. Fisher, L. Vila, Handbook of Time and Temporal reasoning in Artificial Intelligence, MIT Press, Cabridge."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622797.1622809"},{"key":"e_1_3_2_1_3_1","unstructured":"Artale A. Bresolin D. Montanari A. Sciavicco G. and Ryzhikov V. 2014. DL-Lite and Interval Temporal Logics: A Marriage Proposal (extended version). Artale A. Bresolin D. Montanari A. Sciavicco G. and Ryzhikov V. 2014. DL-Lite and Interval Temporal Logics: A Marriage Proposal (extended version)."},{"key":"e_1_3_2_1_4_1","first-page":"2","volume-title":"Proceedings. Sixth International Workshop on","author":"Artale A.","unstructured":"Artale A. and Franconi E . 1999. Introducing temporal description logics. in Temporal Representation and Reasoning. TIME-99 . Proceedings. Sixth International Workshop on , pp. 2 -- 5 . Artale A. and Franconi E. 1999. Introducing temporal description logics. in Temporal Representation and Reasoning. TIME-99. Proceedings. Sixth International Workshop on, pp. 2--5."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Artale A. Kontchakov R. Ryzhikov V. and Zakharyaschev M. 2015. Tractable interval temporal propo-sitional and description logics. Artale A. Kontchakov R. Ryzhikov V. and Zakharyaschev M. 2015. Tractable interval temporal propo-sitional and description logics.","DOI":"10.1609\/aaai.v29i1.9406"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/21.35337"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(91)90050-Z"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1991-153-403"},{"key":"e_1_3_2_1_9_1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"Baader F.","year":"2003","unstructured":"Baader F. , Calvanese D. , Nardi D. , Schneider D. P. 2003. The Description Logic Handbook: Theory, Implementation and Applications . Cambridge University Press , Cambridge , 2003 . Baader F., Calvanese D., Nardi D., Schneider D. P. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2014.11.008"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.5.809"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(95)00274-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1988.5151"},{"key":"e_1_3_2_1_15_1","first-page":"90","volume-title":"Proc. 4th AAAI Workshop on Uncertainty in Artificial Intelligence","author":"Dutta S.","year":"1988","unstructured":"Dutta S. 1988 . A temporal logic for uncertain events and an outline of a possible implementation in an extension of PROLOG , in: Proc. 4th AAAI Workshop on Uncertainty in Artificial Intelligence , Univ. of Minnesota , 1988, pp. 90 -- 97 . Dutta S. 1988. A temporal logic for uncertain events and an outline of a possible implementation in an extension of PROLOG, in: Proc. 4th AAAI Workshop on Uncertainty in Artificial Intelligence, Univ. of Minnesota, 1988, pp. 90--97."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(97)00335-7"},{"key":"e_1_3_2_1_17_1","volume-title":"On Metric Temporal Description Logics. In: ECAI 2016 - 22nd European Conference on Artificial Intelligence","author":"Guti\u00e9rrez-Basulto V.","year":"2016","unstructured":"Guti\u00e9rrez-Basulto V. , Jung J. C. , and Ozaki A . 2016 . On Metric Temporal Description Logics. In: ECAI 2016 - 22nd European Conference on Artificial Intelligence , 29 August -2 September 2016 . Guti\u00e9rrez-Basulto V., Jung J. C., and Ozaki A. 2016. On Metric Temporal Description Logics. In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016."},{"key":"e_1_3_2_1_18_1","unstructured":"Center for Disease Control and Prevention (CDC) (2016 Apr) Tuberculosis (TB). Available: http:\/\/www.cdc.gov\/tb\/topic\/treatment\/default.htm. Center for Disease Control and Prevention (CDC) (2016 Apr) Tuberculosis (TB). Available: http:\/\/www.cdc.gov\/tb\/topic\/treatment\/default.htm."}],"event":{"name":"ICIBE 2017: 2017 3rd International Conference on Industrial and Business Engineering","sponsor":["Waseda University Waseda University"],"location":"Sapporo Japan","acronym":"ICIBE 2017"},"container-title":["Proceedings of the 3rd International Conference on Industrial and Business Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133811.3133830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T18:10:05Z","timestamp":1674497405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133811.3133830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,17]]},"references-count":18,"alternative-id":["10.1145\/3133811.3133830","10.1145\/3133811"],"URL":"https:\/\/doi.org\/10.1145\/3133811.3133830","relation":{},"subject":[],"published":{"date-parts":[[2017,8,17]]},"assertion":[{"value":"2017-08-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}