DLog
From MaRDI portal
Software:21818
swMATH9839MaRDI QIDQ21818FDOQ21818
Author name not available (Why is that?)
Cited In (8)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
- Tractable approximate deduction for OWL
- Prolog Based Description Logic Reasoning
- Tableau reasoning for description logics and its extension to probabilities
- Title not available (Why is that?)
- From relational specifications to logic programs
- Efficient description logic reasoning in Prolog: The DLog system
- Prolog Technology Reinforcement Learning Prover
This page was built for software: DLog
