Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Ranking semantic information for e-government: complaints management
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
Answer set programming for stream reasoning
Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in artificial intelligence
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
| Hi-index | 0.00 |
We present the system dlvhex, a solver for HEX-programs, which are nonmonotonic logic programs admitting both higher-order atoms as well as external atoms. Higher-order features are widely acknowledged as being useful for various tasks, including meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative paradigm such as answer-set programming (ASP) becomes increasingly important, in particular in view of applications in the Semantic-Web area. Through external atoms, HEX-programs can deal with external knowledge and reasoners of various nature, such as RDF datasets or description-logics knowledge bases.