%0 Report %1 BaKr-LTCS-22-02 %A Baader, Franz %A Kriegel, Francesco %C Dresden, Germany %D 2022 %K area_methods topic_lifescience %N 22-02 %R https://doi.org/10.25368/2022.131 %T Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version)

@techreport{BaKr-LTCS-22-02, added-at = {2024-11-19T13:48:14.000+0100}, address = {Dresden, Germany}, author = {{Baader}, Franz and {Kriegel}, Francesco}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/232141fcb4bf3c4ea8474d1a6cd582848/scadsfct}, doi = {https://doi.org/10.25368/2022.131}, institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden}, interhash = {180d06ff183c3b3a8b22038ed7522a23}, intrahash = {32141fcb4bf3c4ea8474d1a6cd582848}, keywords = {area_methods topic_lifescience}, number = {22-02}, timestamp = {2024-11-19T14:33:03.000+0100}, title = {Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version)}, type = {LTCS-Report}, year = 2022 }