{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T02:55:13Z","timestamp":1760151313368,"version":"build-2065373602"},"reference-count":23,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T00:00:00Z","timestamp":1646611200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge. Many ontologies exist, expressing various domains of knowledge with different abstraction levels (domain ontologies, top-level ontologies, and task ontologies are the usual categories). The conceptualization of the knowledge contained in an ontology is subject to change, whether because the context of its use changes, because the domain evolves, or because an ontology needs to interoperate with other elements using other ontologies. Change in logical theories is a form of defeasible reasoning, in which some formulas need to be added or removed from a knowledge base. Adaptive Logics (AL) is a logic managing defeasible reasoning that we investigate in this paper for managing change in ontologies expressed with Description Logics (DL). The adaptation of AL for DL will help express the context in which formulas remain valid or can be added to a DL knowledge base, and ease the interoperability between ontologies.<\/jats:p>","DOI":"10.3390\/info13030139","type":"journal-article","created":{"date-parts":[[2022,3,7]],"date-time":"2022-03-07T10:21:16Z","timestamp":1646648476000},"page":"139","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3709-1976","authenticated-orcid":false,"given":"Thierry","family":"Louge","sequence":"first","affiliation":[{"name":"Calcul en Midi-Pyr\u00e9n\u00e9es (UAR CALMIP 3667), Universit\u00e9 de Toulouse, Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique Toulouse (INP), Institut National des Sciences Appliqu\u00e9es (INSA), Institut Sup\u00e9rieur de l\u2019A\u00e9ronautique et de l\u2019Espace (ISAE), Universit\u00e9 Paul Sabatier (UPS), 31400 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9652-5164","authenticated-orcid":false,"given":"Mohamed Hedi","family":"Karray","sequence":"additional","affiliation":[{"name":"Le Laboratoire G\u00e9nie de Production de l\u2019\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tarbes (LGP-INP-ENIT), Universit\u00e9 de Toulouse, CEDEX, 65016 Tarbes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Archim\u00e8de","sequence":"additional","affiliation":[{"name":"Le Laboratoire G\u00e9nie de Production de l\u2019\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tarbes (LGP-INP-ENIT), Universit\u00e9 de Toulouse, CEDEX, 65016 Tarbes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2022,3,7]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","article-title":"The semantic web","volume":"284","author":"Hendler","year":"2001","journal-title":"Sci. Am."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","article-title":"A translation approach to portable ontology specifications","volume":"5","author":"Gruber","year":"1993","journal-title":"Knowl. Acquis."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Hutter, D., and Stephan, W. (2005). Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning: Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of His 60th Birthday, Springer.","DOI":"10.1007\/b106663"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: Partial meet contraction and revision functions","volume":"50","author":"Makinson","year":"1985","journal-title":"J. Symb. Log."},{"key":"ref_5","unstructured":"Qi, G., and Yang, F. (November, January 31). A survey of revision approaches in description logics. Proceedings of the International Conference on Web Reasoning and Rule Systems, Karlsruhe, Germany."},{"key":"ref_6","unstructured":"Jim\u00e9nez-Ruiz, E., Payne, T.R., Solimando, A., and Tamma, V.A. (2022, January 31). Limiting Logical Violations in Ontology Alignnment through Negotiation. Available online: https:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR16\/paper\/download\/12893\/12478."},{"key":"ref_7","unstructured":"Klarman, S., and Guti\u00e9rrez-Basulto, V. (2022, January 31). Two-Dimensional Description Logics of Context. DL2011. CEUR-WP, Available online: https:\/\/orca.cardiff.ac.uk\/111966\/1\/KlaGutDL11.pdf."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Bonatti, P.A., Petrova, I.M., and Sauro, L. (2020). Defeasible reasoning in Description Logics: An overview on DL^ N. arXiv.","DOI":"10.3233\/SSW200043"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s11787-006-0012-5","article-title":"A Universal Logic Approach to Adaptive Logics","volume":"1","author":"Batens","year":"2007","journal-title":"Log. Universalis"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Stra\u00dfer, C. (2014). The Standard Format for Adaptive Logics. Adaptive Logics for Defeasible Reasoning, Springer.","DOI":"10.1007\/978-3-319-00792-2"},{"key":"ref_11","unstructured":"Neuhaus, F. (2022, January 31). On the Definition of \u2019Ontology\u2019. Available online: https:\/\/www.researchgate.net\/profile\/Fabian-Neuhaus-2\/publication\/323684434_On_the_Definition_of_\u2019Ontology\u2019\/links\/5aa3fbb90f7e9badd9a99d1e\/On-the-Definition-of-Ontology.pdf."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/j.artint.2017.12.002","article-title":"Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics","volume":"256","author":"Aiguier","year":"2018","journal-title":"Artif. Intell."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.artint.2015.07.007","article-title":"Revision in networks of ontologies","volume":"228","author":"Euzenat","year":"2015","journal-title":"Artif. Intell."},{"key":"ref_14","unstructured":"Dhelim, S., Ning, H., and Zhu, T. (2016, January 9\u201312). STLF: Spatial-temporal-logical knowledge representation and object mapping framework. Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Budapest, Hungary."},{"key":"ref_15","unstructured":"Chatalic, P., Nguyen, G.H., and Rousset, M.C. (2022, January 31). Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. Available online: https:\/\/hal.inria.fr\/inria-00179862\/file\/chatalic_nguyen_rousset_ecai_06.pdf."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-P\u00e9rez, A., and Euzenat, J. (2005). Consistent Evolution of OWL Ontologies. The Semantic Web: Research and Applications, Springer.","DOI":"10.1007\/b136731"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s10115-010-0351-7","article-title":"Using OWL ontologies for adaptive patient information modelling and preoperative clinical decision support","volume":"29","author":"Bouamrane","year":"2011","journal-title":"Knowl. Inf. Syst."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Bazire, M., and Br\u00e9zillon, P. (2005). Understanding context before using it. International and Interdisciplinary Conference on Modeling and Using Context, Springer.","DOI":"10.1007\/11508373_3"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"920","DOI":"10.1109\/TMC.2013.155","article-title":"Context-aware QoE modelling, measurement, and prediction in mobile computing systems","volume":"14","author":"Mitra","year":"2015","journal-title":"IEEE Trans. Mob. Comput."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Padovitz, A., Loke, S.W., Zaslavsky, A., Burg, B., and Bartolini, C. (2005). An approach to data fusion for context awareness. International and Interdisciplinary Conference on Modeling and Using Context, Springer.","DOI":"10.1007\/11508373_27"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Barkat, O., Khouri, S., Bellatreche, L., and Boustia, N. (2017, January 3\u20137). Bridging context and data warehouses through ontologies. Proceedings of the Symposium on Applied Computing, Marrakech, Morocco.","DOI":"10.1145\/3019612.3019838"},{"key":"ref_22","unstructured":"Zalta, E.N. (2018). Non-monotonic Logic. The Stanford Encyclopedia of Philosophy, Summer 2018 ed., Metaphysics Research Lab., Stanford University."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Stra\u00dfer, C. (2014). Adaptive Logics for Defeasible Reasoning, Springer.","DOI":"10.1007\/978-3-319-00792-2"}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/13\/3\/139\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T22:33:26Z","timestamp":1760135606000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/13\/3\/139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,7]]},"references-count":23,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2022,3]]}},"alternative-id":["info13030139"],"URL":"https:\/\/doi.org\/10.3390\/info13030139","relation":{},"ISSN":["2078-2489"],"issn-type":[{"type":"electronic","value":"2078-2489"}],"subject":[],"published":{"date-parts":[[2022,3,7]]}}}