Ontologies -- On Improving the Scalability of Checking Satisfiability in Probabilistic