Văn bản này: Probabilistic Logic Programming under Inheritance with Overriding