probabilistic-description-logics

There are 1 repositories under probabilistic-description-logics topic.

  • rzese/trill

    TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

    Language:Prolog13435