Pages that link to "Item:Q3393230"
From MaRDI portal
The following pages link to Efficient description logic reasoning in Prolog: The DLog system (Q3393230):
Displaying 7 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- The Fusemate logic programming system (Q2055893) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- The DLV system for knowledge representation and reasoning (Q5277755) (← links)
- Prolog Based Description Logic Reasoning (Q5504674) (← links)