swMATH9839MaRDI QIDQ21818FDOQ21818
Author name not available (Why is that?)
Official website: http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=5900236&fileId=S1471068409003792
Cited In (14)
- Tractable approximate deduction for OWL
- Prolog Based Description Logic Reasoning
- Tableau reasoning for description logics and its extension to probabilities
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- KAON2
- leanTAP
- TrOWL
- PR-OWL
- KL-ONE
- OntoDLV
- From relational specifications to logic programs
- Efficient description logic reasoning in Prolog: The DLog system
- A resolution based description logic calculus
- Prolog Technology Reinforcement Learning Prover
This page was built for software: DLog
