{"title":"使用弱化和补全修复 $mathcal{EL_\\perp}$ 本体网络 -- 扩展版","authors":"Ying Li, Patrick Lambrix","doi":"arxiv-2407.18848","DOIUrl":null,"url":null,"abstract":"The quality of ontologies and their alignments is crucial for developing\nhigh-quality semantics-based applications. Traditional debugging techniques\nrepair ontology networks by removing unwanted axioms and mappings, but may\nthereby remove consequences that are correct in the domain of the ontology\nnetwork. In this paper we propose a framework for repairing ontology networks\nthat deals with this issue. It defines basic operations such as debugging,\nweakening and completing. Further, it defines combination operators that\nreflect choices in how and when to use the basic operators, as well as choices\nregarding the autonomy level of the ontologies and alignments in the ontology\nnetwork. We show the influence of the combination operators on the quality of\nthe repaired network and present an implemented tool. By using our framework\ntogether with existing algorithms for debugging, weakening and completing, we\nessentially provide a blueprint for extending previous work and systems.","PeriodicalId":501208,"journal":{"name":"arXiv - CS - Logic in Computer Science","volume":"202 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Repairing Networks of $\\\\mathcal{EL_\\\\perp}$ Ontologies using Weakening and Completing -- Extended version\",\"authors\":\"Ying Li, Patrick Lambrix\",\"doi\":\"arxiv-2407.18848\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The quality of ontologies and their alignments is crucial for developing\\nhigh-quality semantics-based applications. Traditional debugging techniques\\nrepair ontology networks by removing unwanted axioms and mappings, but may\\nthereby remove consequences that are correct in the domain of the ontology\\nnetwork. In this paper we propose a framework for repairing ontology networks\\nthat deals with this issue. It defines basic operations such as debugging,\\nweakening and completing. Further, it defines combination operators that\\nreflect choices in how and when to use the basic operators, as well as choices\\nregarding the autonomy level of the ontologies and alignments in the ontology\\nnetwork. We show the influence of the combination operators on the quality of\\nthe repaired network and present an implemented tool. By using our framework\\ntogether with existing algorithms for debugging, weakening and completing, we\\nessentially provide a blueprint for extending previous work and systems.\",\"PeriodicalId\":501208,\"journal\":{\"name\":\"arXiv - CS - Logic in Computer Science\",\"volume\":\"202 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Logic in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.18848\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.18848","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
The quality of ontologies and their alignments is crucial for developing
high-quality semantics-based applications. Traditional debugging techniques
repair ontology networks by removing unwanted axioms and mappings, but may
thereby remove consequences that are correct in the domain of the ontology
network. In this paper we propose a framework for repairing ontology networks
that deals with this issue. It defines basic operations such as debugging,
weakening and completing. Further, it defines combination operators that
reflect choices in how and when to use the basic operators, as well as choices
regarding the autonomy level of the ontologies and alignments in the ontology
network. We show the influence of the combination operators on the quality of
the repaired network and present an implemented tool. By using our framework
together with existing algorithms for debugging, weakening and completing, we
essentially provide a blueprint for extending previous work and systems.