DLog

MaRDI QIDQ21818swMATHFDO

Official website http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=5900236&fileId=S1471068409003792

Cited in

(14)

• Tractable approximate deduction for OWL
• Efficient description logic reasoning in Prolog: The DLog system
• Prolog Based Description Logic Reasoning
• Tableau reasoning for description logics and its extension to probabilities
• A resolution based description logic calculus
• KAON2
• leanTAP
• TrOWL
• PR-OWL
• KL-ONE
• OntoDLV
• From relational specifications to logic programs
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• Prolog Technology Reinforcement Learning Prover

This page was built for software: DLog