Pages that link to "Item:Q2389666"
From MaRDI portal
The following pages link to Combining answer set programming with description logics for the semantic web (Q2389666):
Displayed 18 items.
- Loop-separable programs and their first-order definability (Q543631) (← links)
- FO(ID) as an extension of DL with rules (Q604911) (← links)
- Conceptual logic programs (Q854977) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Description logic programs under probabilistic uncertainty and fuzzy vagueness (Q962902) (← links)
- Probabilistic description logic programs (Q997050) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness (Q3524929) (← links)
- The role of semantics in mining frequent patterns from knowledge bases in description logics with rules (Q3577710) (← links)
- Loop formulas for description logic programs (Q3585166) (← links)
- Realizing Default Logic over Description Logic Knowledge Bases (Q3638182) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs (Q3638391) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings (Q5445301) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)