{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T20:26:30Z","timestamp":1770582390117,"version":"3.49.0"},"reference-count":40,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1093\/logcom\/exv014","type":"journal-article","created":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:01:59Z","timestamp":1428969719000},"page":"261-297","source":"Crossref","is-referenced-by-count":19,"title":["Min-based possibilistic<i>DL-Lite<\/i>"],"prefix":"10.1093","volume":"27","author":[{"given":"Salem","family":"Benferhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zied","family":"Bouraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,4,12]]},"reference":[{"key":"2017012307250553000_27.1.261.1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","article-title":"The DL-Lite family and relations","volume":"36","author":"Artale","year":"2009","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"2017012307250553000_27.1.261.2","unstructured":"A. Artale, R. Kontchakov, F. Wolter and M. Zakharyaschev. Temporal description logic for Ontology-Based Data Access. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 3\u20139 August 2013, F. Rossi, (ed.), IJCAI\/AAAI, 2013."},{"key":"2017012307250553000_27.1.261.3","unstructured":"Baader F. Calvanese D. McGuinness D. L. Nardi D. Patel-Schneider P. F. The Description Logic Handbook: Theory, Implementation and Applications. 2nd. Cambridge University Press; 2010."},{"key":"2017012307250553000_27.1.261.4","doi-asserted-by":"crossref","unstructured":"Baader F. Horrocks I. Sattler U. Description logics as ontology languages for the semantic web. In: Hutter D. Stephan W. , editors. Mechanizing Mathematical Reasoning. Springer; 2005. p. 228-248. vol. 2605 of Lecture Notes in Computer Science .","DOI":"10.1007\/978-3-540-32254-2_14"},{"key":"2017012307250553000_27.1.261.5","unstructured":"S. Benferhat and Z. Bouraoui. Possibilistic DL-Lite. In Scalable Uncertainty Management - 7th International Conference, SUM 2013, Washington, DC, USA, 16\u201318 September 2013, vol. 8078 of Lecture Notes in Computer Science, W. Liu, V. S. Subrahmanian and J. Wijsen, eds, pp. 346\u2013359. Springer, 2013."},{"key":"2017012307250553000_27.1.261.6","unstructured":"S. Benferhat, Z. Bouraoui, S. Lagrue and J. Rossit. Min-based assertional merging approach for prioritized DL-Lite knowledge bases. In Scalable Uncertainty Management - 8th International Conference, SUM 2014, Oxford, UK, 15\u201317 September 2014, vol. 8720 of Lecture Notes in Computer Science, U. Straccia and A. Cal\u00ec, eds, pp. 8\u201321. Springer, 2014."},{"key":"2017012307250553000_27.1.261.7","doi-asserted-by":"crossref","unstructured":"S. Benferhat, Z. Bouraoui and Z. Loukil. Min-based fusion of possibilistic DL-Lite knowledge bases. In 2013 IEEE\/WIC\/ACM International Conferences on Web Intelligence, WI 2013, Atlanta, GA, USA, 17\u201320 November 2013, pp. 23\u201328. IEEE Computer Society, 2013.","DOI":"10.1109\/WI-IAT.2013.4"},{"key":"2017012307250553000_27.1.261.8","unstructured":"S. Benferhat, Z. Bouraoui and K. Tabia. On the revision of prioritized DL-Lite knowledge bases. In Scalable Uncertainty Management - 8th International Conference, SUM 2014, Oxford, UK, 15\u201317 September 2014, vol. 8720 of Lecture Notes in Computer Science, U. Straccia and A. Cal\u00ec, eds, pp. 22\u201336. Springer, 2014."},{"key":"2017012307250553000_27.1.261.9","unstructured":"S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade. Inconsistency management and prioritized syntax-based entailment. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). Chamb\u00e9ry, France 28 August \u2013 3 September 1993, R. Bajcsy, (ed.), pp. 640\u2013647. Morgan Kaufmann, 1993."},{"key":"2017012307250553000_27.1.261.10","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.07.016"},{"key":"2017012307250553000_27.1.261.11","doi-asserted-by":"crossref","unstructured":"Bobillo F. Delgado M. G\u00f3mez-Romero J. Reasoning in fuzzy OWL 2 with delorean. In: Bobillo F. da Costa P. C. G. d'Amato C. Fanizzi N. Laskey K. B. Laskey K. J. Lukasiewicz T. Nickles M. Pool M. , editors. Uncertainty Reasoning for the Semantic Web II. Springer; 2013. p. 119-138. vol. 7123 of Lecture Notes in Computer Science .","DOI":"10.1007\/978-3-642-35975-0_7"},{"key":"2017012307250553000_27.1.261.12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2011.10.002"},{"key":"2017012307250553000_27.1.261.13","unstructured":"D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini and R. Rosati. DL-Lite: tractable description logics for ontologies. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, 9\u201313 July 2005, Pittsburgh, Pennsylvania, USA, M. M. Veloso and S. Kambhampati, eds, pp. 602\u2013607. AAAI Press\/The MIT Press, 2005."},{"key":"2017012307250553000_27.1.261.14","unstructured":"D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini and R. Rosati. Data complexity of query answering in description logics. In Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, 2\u20135 June 2006, P. Doherty, J. Mylopoulos and C. A. Welty, eds, pp. 260\u2013270. AAAI Press, 2006."},{"key":"2017012307250553000_27.1.261.15","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"2017012307250553000_27.1.261.16","unstructured":"D. Calvanese, E. Kharlamov, W. Nutt and D. Zheleznyakov. Evolution of DL-Lite knowledge bases. In The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, 7\u201311 November 2010, Revised Selected Papers, Part I, vol. 6496 of Lecture Notes in Computer Science, P. F. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J. Z. Pan, I. Horrocks and B. Glimm, eds, pp. 112\u2013128. Springer, 2010."},{"key":"2017012307250553000_27.1.261.17","unstructured":"O. Couchariere, M.-J. Lesot and B. Bouchon-Meunier. Consistency checking for extended description logics. In Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, 13\u201316 May 2008, vol. 353 of CEUR Workshop Proceedings. F. Baader, C. Lutz and B. Motik, eds, CEUR-WS.org, 2008."},{"key":"2017012307250553000_27.1.261.18","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","article-title":"Possibilistic logic","volume-title":"the Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"3","author":"Dubois","year":"1994"},{"key":"2017012307250553000_27.1.261.19","doi-asserted-by":"crossref","unstructured":"Dubois D. Mengin J. Prade H. Possibilistic uncertainty and fuzzy features in description logic. a preliminary discussion. In: Sanchez E. , editor. Fuzzy Logic and the Semantic Web. Elsevier; 2006. p. 101-113. vol. 1 of Capturing Intelligence .","DOI":"10.1016\/S1574-9576(06)80008-0"},{"key":"2017012307250553000_27.1.261.20","doi-asserted-by":"crossref","unstructured":"Dubois D. Prade H. Possibility theory. New York: Plenum Press; 1988.","DOI":"10.1007\/978-1-4684-5287-7"},{"key":"2017012307250553000_27.1.261.21","unstructured":"Dubois D. Lang J. Prade H. European Conference on Artificial Intelligence (ECAI). 1992. Dealing with multi-source information in possibilistic logic; p. 38-42."},{"key":"2017012307250553000_27.1.261.22","doi-asserted-by":"publisher","DOI":"10.1016\/0888-613X(94)00015-U"},{"key":"2017012307250553000_27.1.261.23","doi-asserted-by":"crossref","unstructured":"Lesot M.-J. Couchariere O. Bouchon-Meunier B. Rogier J.-L. Fuzzy Information Processing Society, 2008. NAFIPS 2008. Annual Meeting of the North American. 2008. Inconsistency degree computation for possibilistic description logic: an extension of the tableau algorithm; p. 1-6. May.","DOI":"10.1109\/NAFIPS.2008.4531240"},{"key":"2017012307250553000_27.1.261.24","unstructured":"T. Lukasiewicz, M. Vanina Martinez, G. Orsi, and G. I. Simari. Heuristic ranking in tightly coupled probabilistic description logics. In Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, 14\u201318 August 2012, N. de Freitas and K. P. Murphy, eds, pp. 554\u2013563. AUAI Press, 2012."},{"key":"2017012307250553000_27.1.261.25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2009.03.004"},{"key":"2017012307250553000_27.1.261.26","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9159-0"},{"key":"2017012307250553000_27.1.261.27","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550070202"},{"key":"2017012307250553000_27.1.261.28","unstructured":"J. Z. Pan, G. B. Stamou, G. Stoilos and E. Thomas. Expressive querying over fuzzy DL-Lite ontologies. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8\u201310 June 2007, vol. 250 of CEUR Workshop Proceedings, D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, eds, CEUR-WS.org, 2007."},{"key":"2017012307250553000_27.1.261.29","doi-asserted-by":"crossref","unstructured":"F. Di Pinto, G. De Giacomo, M. Lenzerini and R. Rosati. Ontology-based data access with dynamic tboxes in DL-Lite. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 22\u201326 July 2012, Toronto, Ontario, Canada, J. Hoffmann and B. Selman, eds, AAAI Press, 2012.","DOI":"10.1609\/aaai.v26i1.8223"},{"key":"2017012307250553000_27.1.261.30","unstructured":"G. Qi, Q. Ji, J. Z. Pan and J. Du. Possdl - A possibilistic DL reasoner for uncertainty reasoning and inconsistency handling. In The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, 30 May \u2013 3 June 2010, Proceedings, Part II, vol. 6089 of Lecture Notes in Computer Science, L. Aroyo, G. Antoniou, E. Hyv\u00f6nen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache, eds, pp. 416\u2013420. Springer, 2010."},{"key":"2017012307250553000_27.1.261.31","doi-asserted-by":"publisher","DOI":"10.1002\/int.20470"},{"key":"2017012307250553000_27.1.261.32","unstructured":"G. Qi and J. Z. Pan. A tableau algorithm for possibilistic description logic. In The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, 8\u201311 December 2008, vol. 5367 of Lecture Notes in Computer Science, J. Domingue and C. Anutariya, eds, pp. 61\u201375. Springer, 2008."},{"key":"2017012307250553000_27.1.261.33","doi-asserted-by":"crossref","unstructured":"G. Qi, J. Z. Pan and Q. Ji. Extending description logics with uncertainty reasoning in possibilistic logic. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, 31 October \u2013 2 November 2007, vol. 4724 of Lecture Notes in Computer Science, K. Mellouli, (ed.), pp. 828\u2013839. Springer, 2007.","DOI":"10.1007\/978-3-540-75256-1_72"},{"key":"2017012307250553000_27.1.261.34","unstructured":"G. Qi, J. Z. Pan and Q. Ji. A possibilistic extension of description logics. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8\u201310 June 2007, vol. 250 of CEUR Workshop Proceedings, D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, S. Tessaris, eds, CEUR-WS.org, 2007."},{"key":"2017012307250553000_27.1.261.35","unstructured":"U. Straccia. Answering vague queries in fuzzy DL-Lite. In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), pp. 2238\u20132245, 2006."},{"key":"2017012307250553000_27.1.261.36","doi-asserted-by":"crossref","unstructured":"U. Straccia. Towards top-k query answering in description logics: the case of DL-Lite. In Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, 13\u201315 September 2006, vol. 4160 of Lecture Notes in Computer Science, M. Fisher, W. van der Hoek, B. Konev and A. Lisitsa, eds, pp. 439\u2013451. Springer, 2006.","DOI":"10.1007\/11853886_36"},{"key":"2017012307250553000_27.1.261.37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.02.026"},{"key":"2017012307250553000_27.1.261.38","unstructured":"Straccia U. Foundations of Fuzzy Logic and Semantic Web Languages. CRC Studies in Informatics Series. Chapman & Hall; 2013."},{"key":"2017012307250553000_27.1.261.39","doi-asserted-by":"crossref","unstructured":"Zhou L. Huang H. Qi G. Ma Y. Huang Z. Qu Y. Web Intelligence. IEEE; 2009. Measuring inconsistency in DL-Lite ontologies; p. 349-356.","DOI":"10.1109\/WI-IAT.2009.61"},{"key":"2017012307250553000_27.1.261.40","doi-asserted-by":"crossref","unstructured":"J. Zhu, G. Qi and B. Suntisrivaraporn. Tableaux algorithms for expressive possibilistic description logics. In 2013 IEEE\/WIC\/ACM International Conferences on Web Intelligence, WI 2013, Atlanta, GA, USA, 17\u201320 November 2013, pp. 227\u2013232. IEEE Computer Society, 2013.","DOI":"10.1109\/WI-IAT.2013.33"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/academic.oup.com\/logcom\/article-pdf\/27\/1\/261\/9688111\/exv014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T10:56:00Z","timestamp":1717844160000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,12]]},"references-count":40,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,23]]},"published-print":{"date-parts":[[2017,2]]}},"alternative-id":["10.1093\/logcom\/exv014"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1093\/logcom\/exv014","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,12]]}}}