{"type":"ScholarlyArticle","title":"Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies","authors":[{"name":"Boris Konev","slug":"boris-konev","given":"Boris","family":"Konev","affiliation":"Department of Computer Science University of Liverpool , UK"},{"name":"Dirk Walther","slug":"dirk-walther","given":"Dirk","family":"Walther","affiliation":"Department of Computer Science University of Liverpool , UK"},{"name":"Frank Wolter","slug":"frank-wolter","given":"Frank","family":"Wolter","affiliation":"Department of Computer Science University of Liverpool , UK"}],"abstract":"We develop a framework for forgetting concepts and roles (aka uniform interpolation) in terminologies in the lightweight description logic EL extended with role inclusions and domain and range restrictions. Three different notions of forgetting, preserving, respectively, concept inclusions, concept instances, and answers to conjunctive queries, with corresponding languages for uniform interpolants are investigated. Experiments based on SNOMED CT (Systematised Nomenclature of Medicine Clinical Terms) and NCI (National Cancer Institute Ontology) demonstrate that forgetting is often feasible in practice for large-scale terminologies.Boris Konev, Dirk Walther, Frank Wolter","doi":null,"url":"https://ijcai.org/proceedings/2009/142","pdf":"https://ijcai.org/proceedings/2009/0142.pdf","markdown":"https://ijcai.org/proceedings/2009/142.md","bibtex":"https://ijcai.org/proceedings/2009/bibtex/142","volume":{"slug":"2009","title":"Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2009","url":"https://ijcai.org/proceedings/2009/","year":2009,"location":"Pasadena, California, USA","dates":"","editors":"Hiroaki Kitano","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":142,"pages":{"first":830,"last":834},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Baader et al., 2008] F. Baader, S. Brandt, and C. Lutz. Pushing the EL-envelope further. In Proc. of OWLED DC, 2008.","title":"Pushing the EL-envelope further","authors":"F Baader, S Brandt, C Lutz","year":"2008","venue":"Proc. of OWLED DC","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Cuenca Grau et al., 2007] B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Just the right amount: Extract- ing modules from ontologies. In Proc. of WWW'07, 2007.","title":"Just the right amount: Extracting modules from ontologies","authors":"B Cuenca Grau, I Horrocks, Y Kazakov, U Sattler","year":"2007","venue":"Proc. of WWW'07","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Eiter and Wang, 2008] T. Eiter and K. Wang. Semantic for- getting in answer set programming. Artificial Intelligence, 172(14):1644-1672, 2008.","title":"Semantic forgetting in answer set programming","authors":"T Eiter, K Wang","year":"2008","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Eiter et al., 2006] T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, and K. Wang. Forgetting in managing rules and ontologies. In Proc. of Web Intelligence, 2006.","title":"Forgetting in managing rules and ontologies","authors":"T Eiter, G Ianni, R Schindlauer, H Tompits, K Wang","year":"2006","venue":"Proc. of Web Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Konev et al., 2008a] B. Konev, C. Lutz, D. Walther, and F. Wolter. Semantic modularity and module extraction in description logic. In Proc. of ECAI'08, 2008.","title":"Semantic modularity and module extraction in description logic","authors":"Konev","year":"2008","venue":"Proc. of ECAI'08","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Konev et al., 2008b] B. Konev, D. Walther, and F. Wolter. The logical difference problem for description logic ter- minologies. In Proc. of IJCAR'08, 2008.","title":"The logical difference problem for description logic terminologies","authors":"Konev","year":"2008","venue":"Proc. of IJCAR'08","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Konev et al., 2009] B. Konev, D. Walther, and F. Wolter. Forgetting and uniform interpolation in large-scale de- scription logic terminologies. Technical Report ULCS-09- 006, University of Liverpool, 2009.","title":"Forgetting and uniform interpolation in large-scale description logic terminologies","authors":"B Konev, D Walther, F Wolter","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Kontchakov et al., 2008] R. Kontchakov, F. Wolter, and M. Zakharyaschev. Can you tell the difference between DL-lite ontologies. In Proc. of KR'08, 2008.","title":"Can you tell the difference between DL-lite ontologies","authors":"R Kontchakov, F Wolter, M Zakharyaschev","year":"2008","venue":"Proc. of KR'08","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Lang et al., 2003] J. Lang, P. Liberatore, and P. Marquis. Propositional independence: formula-variable indepen- dence and forgetting. Journal of Artificial Intelligence Re- search, 18:391-443, 2003.","title":"Propositional independence: formula-variable independence and forgetting","authors":"J Lang, P Liberatore, P Marquis","year":"2003","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Lutz and Wolter, 2009] C. Lutz and F. Wolter. Deciding in- separability and conservative extensions in the description logic EL. To appear in J. of Symbolic Computation, 2009.","title":"Deciding inseparability and conservative extensions in the description logic EL","authors":"C Lutz, F Wolter","year":"2009","venue":"J. of Symbolic Computation","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Lutz et al., 2007] C. Lutz, D. Walther, and F. Wolter. Con- servative extensions in expressive description logics. In Proc. of IJCAI'07, 2007.","title":"Conservative extensions in expressive description logics","authors":"C Lutz, D Walther, F Wolter","year":"2007","venue":"Proc. of IJCAI'07","doi":null,"url":null,"internal_url":"/proceedings/2007/71"},{"position":12,"raw":"[Reiter and Lin, 1994] R. Reiter and F. Lin. Forget it! In Proc. of AAAI Fall Symposium on Relevance, 1994.","title":"Forget it!","authors":"R Reiter, F Lin","year":"1994","venue":"Proc. of AAAI Fall Symposium on Relevance","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Rosati, 2007] R. Rosati. On conjunctive query answering in EL. In Proc. of DL'07, 2007.","title":"On conjunctive query answering in EL","authors":"R Rosati","year":"2007","venue":"Proc. of DL'07","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Sioutos et al., 2006] N. Sioutos, S. de Coronado, M.W. Haber, F.W. Hartel, W.L. Shaiu, and L.W. Wright. NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information. Journal of Biomedi- cal Informatics, 40(1):30-43, 2006.","title":"NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information","authors":"N Sioutos, S Coronado, M W Haber, F W Hartel, W L Shaiu, L W Wright","year":"2006","venue":"Journal of Biomedical Informatics","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Spackman, 2000] K.A. Spackman. Managing clinical ter- minology hierarchies using algorithmic calculation of sub- sumption: Experience with SNOMED-RT. 2000.","title":"Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT","authors":"K A Spackman","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Visser, 1996] A. Visser. Uniform interpolation and layered bisimulation. In Gödel '96 (Brno, 1996), volume 6 of Lec- ture Notes Logic. Springer Verlag, 1996.","title":"Uniform interpolation and layered bisimulation","authors":"A Visser","year":"1996","venue":"Gödel '96","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Wang et al., 2008] Z. Wang, K. Wang, R. Topor, and J.Z. Pan. Forgetting in DL-Lite. In Proc. of ESWC'08, 2008.","title":"Forgetting in DL-Lite","authors":"Z Wang, K Wang, R Topor, J Z Pan","year":"2008","venue":"Proc. of ESWC'08","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}