Vol-3514⫷ Vol-3515 ⫸Vol-3516
urn:nbn:de:0074-3515-0


Vol-3515/paper-4⫷Vol-3515/paper-5⫸Vol-3515/paper-6
Roland BernardOliver KutzNicolas Troquard

Making Axiom Weakening Work in SROIQ