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) - computer science , description logic , axiom , ontology , set (abstract data type) , terminology , theoretical computer science , web ontology language , french horn , path (computing) , horn clause , artificial intelligence , semantic web , programming language , mathematics , logic programming , psychology , pedagogy , philosophy , linguistics , geometry , epistemology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom