Efficient description logic reasoning in Prolog: The DLog system
From MaRDI portal
Recommendations
Cites work
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- A structure-preserving clause form translation
- Compile-time derivation of variable dependency using abstract interpretation
- Linear resolution with selection function
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Theorem proving with ordering and equality constrained clauses
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs
- Well-founded and stationary models of logic programs
Cited in
(13)- On the scalability of description logic instance retrieval
- Tableau reasoning for description logics and its extension to probabilities
- Efficient model construction for Horn logic with VLog (system description)
- The Fusemate logic programming system
- Reasoning in description logics by a reduction to disjunctive datalog
- Tractable approximate deduction for OWL
- Two phase description logic reasoning for efficient information retrieval
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Prolog Technology Reinforcement Learning Prover
- The DLV system for knowledge representation and reasoning
- Description Logic Reasoning in Prolog
- Prolog Based Description Logic Reasoning
This page was built for publication: Efficient description logic reasoning in Prolog: The DLog system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3393230)
