Vol-2662⫷ Vol-2663 ⫸Vol-2664
urn:nbn:de:0074-2663-0


Vol-2663/paper-4⫷Vol-2663/paper-5⫸Vol-2663/paper-6

First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions