DLog
From MaRDI portal
Software:21818
No author found.
Related Items (8)
Tractable approximate deduction for OWL ⋮ Prolog Technology Reinforcement Learning Prover ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Unnamed Item ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Efficient description logic reasoning in Prolog: The DLog system ⋮ From Relational Specifications to Logic Programs ⋮ Prolog Based Description Logic Reasoning
This page was built for software: DLog
