Open AccessPushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs: Extended Version
Author(s) -
Franz Baader,
Francesco Kriegel
Publication year - 2022
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.131
Subject(s) - description logic , computer science , axiom , terminology , ontology , set (abstract data type) , theoretical computer science , web ontology language , french horn , path (computing) , horn clause , information retrieval , semantic web , programming language , mathematics , logic programming , psychology , pedagogy , linguistics , philosophy , geometry , epistemology