Aleatoric Description Logic for Probailistic Reasoning (Long Version)

Tim French, Tom Smoker

Description logics are a powerful tool for describing ontological knowledge bases. That is, they give a factual account of the world in terms of individuals, concepts and relations…