Vol-3262⫷ Vol-3263 ⫸Vol-3264
urn:nbn:de:0074-3263-0


Vol-3263/paper-18⫷Vol-3263/abstract-1⫸Vol-3263/abstract-2
Franz BaaderPatrick KoopmannFriedrich MichelAnni-Yasmin TurhanBenjamin Zarrieß

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)