Seol mar théacs é seo: Probabilistic Logic Programming under Inheritance with Overriding