The following pages link to DLog (Q21818):
Displaying 8 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- From Relational Specifications to Logic Programs (Q2883087) (← links)
- (Q3074460) (← links)
- Efficient description logic reasoning in Prolog: The DLog system (Q3393230) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Prolog Based Description Logic Reasoning (Q5504674) (← links)
