Vol-431⫷ Vol-432 ⫸Vol-433
urn:nbn:de:0074-432-0


Vol-432/paper-10⫷Vol-432/paper-11⫸Vol-432/paper-12

HermiT: A Highly-Efficient OWL Reasoner