OntoDLV

MaRDI QIDQ42129swMATHFDO

Official website https://ieeexplore.ieee.org/document/8133436

Described by source

• OntoDLV: An ASP-based System for Enterprise Ontologies

Cited in

(24)

• HiLog
• DAML+OIL
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• Tableau reasoning for description logics and its extension to probabilities
• DLV-Complex
• DLV-EX
• ASPIDE
• NoMoRe
• Pruning external minimality checking for answer set programs using semantic dependencies
• DLog
• Pengines
• The intelligent grounder of DLV
• aspcud
• PR-OWL
• Towards a Type Discipline for Answer Set Programming
• Answer Set Programming: A Primer
• KL-ONE
• iGROM
• SeaLion
• APE
• IDPDraw
• spock
• Hexlite
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach

This page was built for software: OntoDLV