| Autor: |
Antoniou, Grigoris, Bikakis, Antonis, Damianakis, Polyvios, Foukarakis, Mixalhs, Iacovidis, Giorgos, Karmazi, Marianna, Kondylakis, Haridimos, Makridakis, Antreas, Nikiforos, Giorgos, Papadourakis, Grigoris, Papoutsakis, Manolis, Psyharaki, Aggeliki, Stratakis, Giorgos, Tourlakis, Panagiotis, Tsialiamanis, Petros, Vasileiadis, Giorgos, Wagner, Gerd, Velegrakis, Dimitris |
| Zdroj: |
Artificial Intelligence: Theories, Models & Applications; 2008, p26-37, 12p |
| Abstrakt: |
In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof΄s trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
