Explanations in Knowledge Systems: Design for Explainable Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
Reconstruction Proofs at the Assertion Level
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
WWW '03 Proceedings of the 12th international conference on World Wide Web
From description logic provers to knowledge representation systems
The description logic handbook
Explaining reasoning in description logics
Explaining reasoning in description logics
Natural Language Engineering
Explaining subsumption in description logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
WhyNot: debugging failed queries in large knowledge bases
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Authoring Templates with Tracker
IEEE Intelligent Systems
A proof markup language for semantic web services
Information Systems - Special issue: The semantic web and web services
Bringing Semantics to Web Services with OWL-S
World Wide Web
What Makes You Think That? The Semantic Web's Proof Layer
IEEE Intelligent Systems
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
Semantic search technology for information retrieval on the web
International Journal of Agent-Oriented Software Engineering
Towards the generation of explanations for semantic web services in OWL-S
Proceedings of the 2008 ACM symposium on Applied computing
Proceedings of the 17th international conference on World Wide Web
An initial investigation on evaluating semantic web instance data
Proceedings of the 17th international conference on World Wide Web
Towards a service requirements modelling ontology based on agent knowledge and intentions
International Journal of Agent-Oriented Software Engineering
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
The effects of transparency on trust in and acceptance of a content-based art recommender
User Modeling and User-Adapted Interaction
Designs for explaining intelligent agents
International Journal of Human-Computer Studies
Inference Web in Action: Lightweight Use of the Proof Markup Language
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Explanation in the DL-Lite Family of Description Logics
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Visualizing Proof Search for Theorem Prover Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Advanced Policy Explanations on the Web
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Semantics preserving SPARQL-to-SQL translation
Data & Knowledge Engineering
IAAI'07 Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2
Querying for provenance, trust, uncertainty and other meta knowledge in RDF
Web Semantics: Science, Services and Agents on the World Wide Web
A proof markup language for Semantic Web services
Information Systems
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation for the semantic web using defeasible logic
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Semantic annotation of maps through knowledge provenance
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
RDFProv: A relational RDF store for querying and managing scientific workflow provenance
Data & Knowledge Engineering
Usability of a visual language for DL concept descriptions
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
The Foundations for Provenance on the Web
Foundations and Trends in Web Science
When owl: sameAs isn't the same: an analysis of identity in linked data
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
Linked provenance data: A semantic Web-based approach to interoperable workflow traces
Future Generation Computer Systems
A dynamic security framework for ambient intelligent systems: a smart-home based eHealth application
Transactions on computational science X
Semantic web policies – a discussion of requirements and research issues
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Explaining conclusions from diverse knowledge sources
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
IWTrust: improving user trust in answers from the web
iTrust'05 Proceedings of the Third international conference on Trust Management
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Linking justifications in the collaborative semantic web applications
Proceedings of the 21st international conference companion on World Wide Web
Review: From science to e-Science to Semantic e-Science: A Heliophysics case study
Computers & Geosciences
Rule-based policy representation and reasoning for the semantic web
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Towards explanation of scientific and technological emergence
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
A provenance-based approach to evaluate data quality in eScience
International Journal of Metadata, Semantics and Ontologies
Hi-index | 0.00 |
The Semantic Web lacks support for explaining answers from web applications. When applications return answers, many users do not know what information sources were used, when they were updated, how reliable the source was, or what information was looked up versus derived. Many users also do not know how implicit answers were derived. The Inference Web (IW) aims to take opaque query answers and make the answers more transparent by providing infrastructure for presenting and managing explanations. The explanations include information concerning where answers came from (knowledge provenance) and how they were derived (or retrieved). In this article we describe an infrastructure for IW explanations. The infrastructure includes: IWBase - an extensible web-based registry containing details about information sources, reasoners, languages, and rewrite rules; PML - the Proof Markup Language specification and API used for encoding portable proofs; IW browser - a tool supporting navigation and presentations of proofs and their explanations; and a new explanation dialogue component. Source information in the IWBase is used to convey knowledge provenance. Representation and reasoning language axioms and rewrite rules in the IWBase are used to support proofs, proof combination, and Semantic Web agent interoperability. The Inference Web is in use by four Semantic Web agents, three of them using embedded reasoning engines fully registered in the IW. Inference Web also provides explanation infrastructure for a number of DARPA and ARDA projects.