Tim French

Aleatoric Description Logic for Probailistic Reasoning (Long Version)

2021 · arXiv (Cornell University)

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. In the presence of uncertainty, such factual …