{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T04:22:20Z","timestamp":1777695740245,"version":"3.51.4"},"reference-count":76,"publisher":"SAGE Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IDA"],"published-print":{"date-parts":[[2019,6,27]]},"DOI":"10.3233\/ida-192847","type":"journal-article","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T10:42:21Z","timestamp":1562064141000},"page":"113-132","source":"Crossref","is-referenced-by-count":5,"title":["Representing and reasoning fuzzy spatio- temporal knowledge with description logics: A survey"],"prefix":"10.1177","volume":"23","author":[{"given":"Haitao","family":"Cheng","sequence":"first","affiliation":[{"name":"School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, Jiangsu 210023, China"},{"name":"Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks, Nanjing, Jiangsu 210003, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruchuan","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, Jiangsu 210023, China"},{"name":"Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks, Nanjing, Jiangsu 210003, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, Jiangsu 210023, China"},{"name":"Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks, Nanjing, Jiangsu 210003, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Computer Science, Nanjing University of Posts and Telecommunications, Nanjing, Jiangsu 210023, China"},{"name":"Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks, Nanjing, Jiangsu 210003, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"issue":"11","key":"10.3233\/IDA-192847_ref1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Communications of the ACM"},{"key":"10.3233\/IDA-192847_ref2","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","article-title":"A temporal description logic for reasoning about actions and plans","volume":"9","author":"Artale","year":"1998","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/IDA-192847_ref4","doi-asserted-by":"crossref","unstructured":"F. Baader, L. Carsten, M. Maja, U. Sattler and F. Wolter, Integrating description logics and action formalisms: First results, in: Proceedings of the 20th National Conference on Artificial Intelligence, 2005, pp. 572\u2013577.","DOI":"10.25368\/2010.145"},{"issue":"3","key":"10.3233\/IDA-192847_ref5","first-page":"260","article-title":"Ltl over description logic axioms","volume":"13","author":"Baader","year":"2008","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.3233\/IDA-192847_ref6","unstructured":"F. Baader and P. Hanschke, A scheme for integrating concrete domains into concept languages, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991, pp. 452\u2013457."},{"issue":"1","key":"10.3233\/IDA-192847_ref7","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/s10489-016-0888-6","article-title":"Fixing inconsistencies of fuzzy spatiotemporal xml data","volume":"47","author":"Bai","year":"2017","journal-title":"Applied Intelligence"},{"issue":"3","key":"10.3233\/IDA-192847_ref8","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1080\/08839514.2015.1004615","article-title":"Fuzzy spatiotemporal data modeling and operations in xml","volume":"29","author":"Bai","year":"2015","journal-title":"Applied Artificial Intelligence"},{"key":"10.3233\/IDA-192847_ref9","unstructured":"L. Bai, L. Yan and Z.M. Ma, Modeling topological relations between fuzzy spatiotemporal regions over time, in: 2012 IEEE International Conference on Fuzzy Systems, 2012, pp. 1\u20138."},{"key":"10.3233\/IDA-192847_ref10","doi-asserted-by":"crossref","unstructured":"L. Bao, X.-L. Qin, J. Zhang and Q.-Y. Li, Reasoning the spatiotemporal relations between time evolving indeterminate regions, in: Advances in Machine Learning and Cybernetics, 2006, pp. 448\u2013458.","DOI":"10.1007\/11739685_47"},{"issue":"B2","key":"10.3233\/IDA-192847_ref11","first-page":"131","article-title":"Spatio-temporal object modeling in fuzzy topological space","volume":"37","author":"Bassiri","year":"2008","journal-title":"The International Archives of the Photogrammetric, Remote Sensing and Spatial Information Sciences"},{"key":"10.3233\/IDA-192847_ref12","doi-asserted-by":"crossref","unstructured":"A. Bassiri and A.A. Alesheikh, Spatio-temporal topological relationships based on rough set, in: Proceedings of the 7th IEEE International Conference on Cognitive Informatics (ICCI 2008), 2008, pp. 175\u2013180.","DOI":"10.1109\/COGINF.2008.4639166"},{"key":"10.3233\/IDA-192847_ref13","doi-asserted-by":"crossref","unstructured":"S. Batsakis and E.G.M. Petrakis, Sowl: spatio-temporal representation, reasoning and querying over the semantic web, in: Proceedings of the 6th International Conference on Semantic Systems, 2010.","DOI":"10.1145\/1839707.1839726"},{"key":"10.3233\/IDA-192847_ref14","unstructured":"S. Batsakis and E.G.M. Petrakis, Sowl: A framework for handling spatio-temporal information in owl 2.0, in: International Symposium on Rules and Rule Markup Languages for the Semantic Web, 2011, pp. 242\u2013249."},{"key":"10.3233\/IDA-192847_ref15","doi-asserted-by":"crossref","unstructured":"B. Bennett, Spatial reasoning with propositional logic, in: Proceedings of the 4th International Conference on Know ledge Representation and Reasoning, 1994, pp. 51\u201362.","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"issue":"6","key":"10.3233\/IDA-192847_ref16","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1080\/13658810701776767","article-title":"A spatio-temporal ontology for geographic information integration","volume":"23","author":"Bittner","year":"2009","journal-title":"International Journal of Geographical Information Science"},{"key":"10.3233\/IDA-192847_ref18","doi-asserted-by":"crossref","unstructured":"C.E.C. Campelo, B. Bennett and V. Dimitrova, From polygons and timestamps to dynamic geographic features: grounding a spatio-temporal geo-ontology, in: International Conference on Advances in Conceptual Modeling, 2012, pp. 251\u2013260.","DOI":"10.1007\/978-3-642-33999-8_31"},{"issue":"1","key":"10.3233\/IDA-192847_ref19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10817-010-9210-1","article-title":"A family of dynamic description logics for representing and reasoning about actions","volume":"49","author":"Chang","year":"2012","journal-title":"Journal of Automated Reasoning"},{"key":"10.3233\/IDA-192847_ref20","unstructured":"L. Chang, Z. Shi, L. Qiu and F. Lin, Dynamic description logic: Embracing actions into description logic, in: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), 2007."},{"issue":"6","key":"10.3233\/IDA-192847_ref21","doi-asserted-by":"crossref","first-page":"2851","DOI":"10.3233\/JIFS-169167","article-title":"Modeling and querying fuzzy spatiotemporal objects","volume":"31","author":"Cheng","year":"2016","journal-title":"Journal of Intelligent & Fuzzy Systems"},{"key":"10.3233\/IDA-192847_ref22","doi-asserted-by":"crossref","unstructured":"H. Cheng and Z. Ma, f-alc(d)-ltl: A fuzzy spatio-temporal description logic, in: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017), 2017, pp. 93\u2013105.","DOI":"10.1007\/978-3-319-63558-3_8"},{"issue":"4","key":"10.3233\/IDA-192847_ref23","doi-asserted-by":"crossref","first-page":"323","DOI":"10.20532\/cit.2016.1002889","article-title":"Modeling topological relationships between fuzzy spatio-temporal objects","volume":"24","author":"Cheng","year":"2016","journal-title":"Journal of Computing and Information Technology"},{"key":"10.3233\/IDA-192847_ref24","doi-asserted-by":"crossref","unstructured":"R. Christensen, L. Wang, F. Li, K. Yi, J. Tang and N. Villa, Storm: Spatio-temporal online reasoning and management of large spatio-temporal data\u00ef\u00bc\u008c in: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, 2015, pp. 1111\u20131116.","DOI":"10.1145\/2723372.2735373"},{"key":"10.3233\/IDA-192847_ref25","unstructured":"M. Cristani and N. Gabrielli, Practical issues of description logics for spatial reasoning, in: Proceedings of the 2009 AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009, pp. 5\u201310."},{"issue":"1","key":"10.3233\/IDA-192847_ref26","first-page":"17","article-title":"What is a knowledge representation","volume":"14","author":"Davis","year":"1993","journal-title":"AI Magazine"},{"key":"10.3233\/IDA-192847_ref27","doi-asserted-by":"crossref","unstructured":"A. Emerson, Temporal and modal logic, in: J. van Leeuwen, ed, Handbook of Theoretical Computer Science, MIT Press Cambridge, 1990, pp. 995\u20131072.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"246","key":"10.3233\/IDA-192847_ref28","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.entcs.2009.07.016","article-title":"On metric temporal \u0142ukasiewicz logic","author":"Flaminio","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"10.3233\/IDA-192847_ref29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2629606","article-title":"Fuzzy time in linear temporal logic","volume":"15","author":"Frigeri","year":"2014","journal-title":"ACM Transactions on Computational Logic"},{"issue":"2","key":"10.3233\/IDA-192847_ref30","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s12145-009-0027-6","article-title":"Spatial and temporal knowledge representation","volume":"3","author":"Galton","year":"2009","journal-title":"Earth Science Informatics"},{"issue":"3","key":"10.3233\/IDA-192847_ref32","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1093\/logcom\/9.3.351","article-title":"A description logic with concrete domains and a role-forming predicate operator","volume":"9","author":"Haarslev","year":"1999","journal-title":"Journal of Logic and Computation"},{"key":"10.3233\/IDA-192847_ref34","doi-asserted-by":"crossref","unstructured":"P. Hanschke, A. Abecker and D. Drollinger, Taxon: A concept language with concrete domains, in: Proceedings of the International Workshop on Processing Declarative Knowledge, PDK \u201991, 1991, pp. 411\u2013413.","DOI":"10.1007\/BFb0013550"},{"key":"10.3233\/IDA-192847_ref35","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1613\/jair.3826","article-title":"Description logic knowledge and action bases","volume":"46","author":"Hariri","year":"2013","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/IDA-192847_ref37","unstructured":"L.T. Ho, S. Arch-int and N. Arch-int, Introducing fuzzy temporal description logic, in: Proceedings of the 3rd International Conference on Industrial and Business Engineering, 2017, pp. 77\u201380."},{"key":"10.3233\/IDA-192847_ref38","doi-asserted-by":"crossref","unstructured":"K. Hu, X. Yu, Z. Li and H. Zhu, The temporal description logic tl-si and its decidability algorithm, in: 2010 International Conference on Computational Aspects of Social Networks (CASoN), 2010, pp. 575\u2013578.","DOI":"10.1109\/CASoN.2010.133"},{"key":"10.3233\/IDA-192847_ref39","unstructured":"C. Hudelot, J. Atif and I. Bloch, Integrating bipolar fuzzy mathematical morphology in description logics for spatial reasoning, in: Proceedings of 19th European Conference on Artificial Intelligence, Lisbon, 2010, pp. 497\u2013502."},{"key":"10.3233\/IDA-192847_ref40","doi-asserted-by":"crossref","unstructured":"C. Hudelot, J. Atif and I. Bloch, Alc(f): a new description logic for spatial reasoning in images, in: Proceedings of the13th European Conference on Computer Vision (ECCV Workshop 2014), 2014, pp. 370\u2013384.","DOI":"10.1007\/978-3-319-16181-5_26"},{"key":"10.3233\/IDA-192847_ref41","doi-asserted-by":"crossref","unstructured":"Z.M. Ibrahim and A.Y. Tawfik, Spatio-temporal reasoning for vague regions, in: Conference of the Canadian Society for Computational Studies of Intelligence, Springer, 2004, pp. 308\u2013321.","DOI":"10.1007\/978-3-540-24840-8_22"},{"issue":"3","key":"10.3233\/IDA-192847_ref42","first-page":"40","article-title":"Definitions of line-line relations for geographic databases","volume":"16","author":"Egenhofer","year":"1993","journal-title":"IEEE Data Engineering Bulletin"},{"issue":"2","key":"10.3233\/IDA-192847_ref43","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","article-title":"Point-set topological spatial relations","volume":"5","author":"Egenhofer","year":"1991","journal-title":"International Journal of Geographical Information Systems"},{"issue":"2","key":"10.3233\/IDA-192847_ref44","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1080\/02693799508902030","article-title":"Modelling conceptual neighbourhoods of toplogical line-region relations","volume":"9","author":"Egenhofer","year":"1995","journal-title":"International Journal of Geographical Information Systems"},{"key":"10.3233\/IDA-192847_ref45","unstructured":"A. Kaplunova, V. Haarslev and R. Moller, Adding ternary complex roles to alcrp(d), in: Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, 2002, pp. 45\u201352."},{"issue":"3","key":"10.3233\/IDA-192847_ref49","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/176584.176585","article-title":"On binary constraint problems","volume":"41","author":"Ladkin","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.3233\/IDA-192847_ref50","doi-asserted-by":"crossref","unstructured":"J.-M. Le Yaouanc and J.-P. Poli, A fuzzy spatio-temporal-based approach for activity recognition, in: S. Castano, P. Vassiliadis, L.V. Lakshmanan and M.L. Lee, eds, Advances in Conceptual Modeling, Springer Berlin Heidelberg, 2012, pp. 314\u2013323.","DOI":"10.1007\/978-3-642-33999-8_37"},{"key":"10.3233\/IDA-192847_ref51","unstructured":"S. Li, Combining topological and directional information for spatial reasoning, in: Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI 2007), 2007, pp. 435\u2013440."},{"issue":"9","key":"10.3233\/IDA-192847_ref52","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.3923\/itj.2012.1211.1218","article-title":"A temporal description logic for reasoning about action in event","volume":"11","author":"Liu","year":"2012","journal-title":"Information Technology Journal"},{"key":"10.3233\/IDA-192847_ref54","unstructured":"C. Lutz, Description logics with concrete domains \u2013 a survey, in: Proceedings of the Fourth Conference on Advances in Modal Logic, 2002, pp. 265\u2013296."},{"issue":"1","key":"10.3233\/IDA-192847_ref55","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10817-006-9049-7","article-title":"A tableau algorithm for description logics with concrete domains and general tboxes","volume":"38","author":"Lutz","year":"2007","journal-title":"Journal of Automated Reasoning"},{"key":"10.3233\/IDA-192847_ref56","doi-asserted-by":"crossref","unstructured":"C. Lutz and F. Wolter, Temporal description logics: A survey, in: 15th International Symposium on Temporal Representation and Reasoning, 2008, pp. 3\u201314.","DOI":"10.1109\/TIME.2008.14"},{"issue":"2","key":"10.3233\/IDA-192847_ref57","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1109\/TSMCB.2003.819485","article-title":"Fuzzy branching temporal logic","volume":"34","author":"Moon","year":"2004","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)"},{"issue":"7","key":"10.3233\/IDA-192847_ref58","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1002\/int.20153","article-title":"Multimedia information retrieval based on spatiotemporal relationships using description logics for the semantic web","volume":"21","author":"Na","year":"2006","journal-title":"International Journal of Intelligent Systems"},{"issue":"1","key":"10.3233\/IDA-192847_ref59","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/200836.200848","article-title":"Reasoning about temporal relations: a maximal tractable subclass of allen\u2019s interval algebra","volume":"42","author":"Nebel","year":"1995","journal-title":"Journal of the ACM"},{"issue":"2","key":"10.3233\/IDA-192847_ref60","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1080\/136588197242428","article-title":"Spatial relations, minimum bounding rectangles, and spatial data structures","volume":"11","author":"Papadias","year":"1997","journal-title":"International Journal on Geographic Information Systems"},{"key":"10.3233\/IDA-192847_ref61","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1613\/jair.4883","article-title":"Knowledge representation in probabilistic spatio-temporal knowledge bases","volume":"55","author":"Parisi","year":"2016","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/IDA-192847_ref62","doi-asserted-by":"crossref","unstructured":"D. Pfoser and C.S. Jensen, Capturing the uncertainty of moving-object representations, in: Proceedings of the 6th International Symposium on the Advances in Spatial Databases, 1999, pp. 111\u2013132.","DOI":"10.1007\/3-540-48482-5_9"},{"key":"10.3233\/IDA-192847_ref63","doi-asserted-by":"crossref","unstructured":"D. Pfoser and N. Tryfona, Capturing fuzziness and uncertainty of spatiotemporal objects, in: East European Conference on Advances in Databases and Information Systems, Springer, 2001, pp. 112\u2013126.","DOI":"10.1007\/3-540-44803-9_10"},{"issue":"7","key":"10.3233\/IDA-192847_ref64","first-page":"77","article-title":"Formalizing spatiotemporal knowledge in remote sensing applications to improve image interpretation","volume":"2013","author":"Pierkot","year":"2013","journal-title":"Journal of Spatial Information Science"},{"key":"10.3233\/IDA-192847_ref65","unstructured":"D.A. Randell, Z. Cui and A.G. Cohn, A spatial logic based on regions and connection, in: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning (KR-92), 1992, pp. 165\u2013176."},{"key":"10.3233\/IDA-192847_ref66","doi-asserted-by":"crossref","unstructured":"J. Ren, X. Wang, X. Lu and W. Song, An approach to representing spatio-temporal ontology in the geospatial semantic web, in: 12th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, 2016, pp. 2093\u20132097.","DOI":"10.1109\/FSKD.2016.7603504"},{"issue":"1","key":"10.3233\/IDA-192847_ref67","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","article-title":"On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus","volume":"108","author":"Renz","year":"1999","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.3233\/IDA-192847_ref68","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1016\/j.is.2011.09.010","article-title":"A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level petri nets","volume":"37","author":"Ribaric","year":"2012","journal-title":"Information Systems"},{"key":"10.3233\/IDA-192847_ref69","doi-asserted-by":"crossref","unstructured":"K. Schild, Combining terminological logics with tense logic, in: Proceedings of the 6th Portuguese Conference on AI (EPIA \u201993), 1993, pp. 105\u2013120.","DOI":"10.1007\/3-540-57287-2_41"},{"issue":"1","key":"10.3233\/IDA-192847_ref70","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u00df","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.3233\/IDA-192847_ref71","unstructured":"A. Schmiedel, A temporal terminological logic, in: Proceedings of the eighth National Conference on Artificial Intelligence, 1990, pp. 640\u2013645."},{"key":"10.3233\/IDA-192847_ref72","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1016\/j.ijar.2007.10.002","article-title":"Fuzzy region connection calculus: an interpretation based on closeness","volume":"48","author":"Schockaert","year":"2008","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.3233\/IDA-192847_ref73","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1016\/j.ijar.2007.10.001","article-title":"Fuzzy region connection calculus: representing vague topological information","volume":"48","author":"Schockaert","year":"2008","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.3233\/IDA-192847_ref74","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/j.artint.2008.10.009","article-title":"Spatial reasoning in a fuzzy region connection calculus","volume":"173","author":"Schockaert","year":"2009","journal-title":"Artificial Intelligence"},{"issue":"19","key":"10.3233\/IDA-192847_ref75","doi-asserted-by":"crossref","first-page":"3665","DOI":"10.1016\/j.ins.2008.05.034","article-title":"Modeling and querying fuzzy spatiotemporal databases","volume":"178","author":"S\u00f6zer","year":"2008","journal-title":"Information Sciences"},{"key":"10.3233\/IDA-192847_ref76","doi-asserted-by":"crossref","unstructured":"U. Straccia, A fuzzy description logic for the semantic web, in: Capturing Intelligence: Fuzzy Logic and the Semantic Web, Elsevier, 2006, pp. 73\u201390.","DOI":"10.1016\/S1574-9576(06)80006-7"},{"key":"10.3233\/IDA-192847_ref77","doi-asserted-by":"crossref","unstructured":"U. Straccia, Towards spatial reasoning in fuzzy description logics, in: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2009), 2009, pp. 512\u2013517.","DOI":"10.1109\/FUZZY.2009.5277056"},{"key":"10.3233\/IDA-192847_ref78","doi-asserted-by":"crossref","unstructured":"Y. Sun and X. Zhao, Dynamic linear time temporal description logics, in: 2010 Second WRI Global Congress on Intelligent Systems, 2010, pp. 383\u2013391.","DOI":"10.1109\/GCIS.2010.132"},{"key":"10.3233\/IDA-192847_ref79","doi-asserted-by":"crossref","unstructured":"K. Thatipamula, S. Chaudhury and H. Ghosh, Specifying spatio temporal relations for multimedia ontologies, in: Proceedings of the First International Conference on Pattern Recognition and Machine Intelligence, 2005, pp. 527\u2013532.","DOI":"10.1007\/11590316_83"},{"key":"10.3233\/IDA-192847_ref80","doi-asserted-by":"crossref","unstructured":"S.-S. Wang and D.-Y. Liuv, Spatial description logic and its application in geospatial semantic web, in: Proceedings of the 2008 International Multi-symposiums on Computer and Computational Sciences, Shanghai, 2008, pp. 214\u2013221.","DOI":"10.1109\/IMSCCS.2008.20"},{"key":"10.3233\/IDA-192847_ref81","doi-asserted-by":"crossref","unstructured":"F. Weitl, S. Nakajima and B. Freitag, Structured counterexamples for the temporal description logic alcctl, in: Proceddings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, pp. 232\u2013243.","DOI":"10.1109\/SEFM.2010.36"},{"key":"10.3233\/IDA-192847_ref82","unstructured":"M. Wessel, On spatial reasoning with description logics \u2013 position paper, in: Proceedings of the 2002 International Workshop on Description Logics (DL 2002), 2002, pp. 156\u2013163."},{"key":"10.3233\/IDA-192847_ref83","first-page":"379","article-title":"Temporalizing description logics","volume":"2","author":"Wolter","year":"1999","journal-title":"Frontier of Combining Systems"},{"key":"10.3233\/IDA-192847_ref84","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1093\/logcom\/12.5.809","article-title":"A tableau calculus for temporal description logic: the expanding domain case","volume":"12","author":"Wolter","year":"2002","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"10.3233\/IDA-192847_ref85","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"8","author":"Zadeh","year":"1965","journal-title":"Information Control"}],"container-title":["Intelligent Data Analysis"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IDA-192847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T09:18:19Z","timestamp":1777454299000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/IDA-192847"}},"subtitle":[],"editor":[{"given":"Newton","family":"Spola\u00f4r","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Huei Diana","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Feng Chung","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Sotiris","family":"Kotsiantis","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2019,6,27]]},"references-count":76,"URL":"https:\/\/doi.org\/10.3233\/ida-192847","relation":{},"ISSN":["1088-467X","1571-4128"],"issn-type":[{"value":"1088-467X","type":"print"},{"value":"1571-4128","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,27]]}}}