Academia.eduAcademia.edu

Outline

Title
Abstract
Use Case: Online Shop and E-Commerce
Use Case: University Graduate
Agent Use Cases
Conclusions and Future Work
References
All Topics
Computer Science
Artificial Intelligence

Proof Explanation for the Semantic Web Using Defeasible Logic

Profile image of Manolis KritsotakisManolis KritsotakisProfile image of Antonis PapadogiannakisAntonis PapadogiannakisProfile image of Guido GovernatoriGuido Governatori
https://doi.org/10.1007/978-3-540-76719-0_21
visibility

…

description

53 pages

link

1 file

Abstract

In this work we present the desing and implementation of a new system for proof explanation in the Semantic Web, using defeasible logic. Trust is a vital feature for Semantic Web. If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof's trace and convert it to a meaningfull representation. It presents the explanation of an answer for a user's query back to him using a graphical interface, and also it can use an XML representation for agent communication, that is a common scenario in the Semantic Web. One of the main benefits of our system is that it supports explanations in defeasible logic for both positive and negative answers in user queries. In the remaining of this report we present the design and implementation of the system, a novel XML language for the represantation of a proof explanation, and we give a variety of examples and use cases of our system. 1

Related papers

Reasoning and Proofing Services for Semantic Web Agents
Nick Bassiliades

… Joint Conference on …, 2011

The Semantic Web aims to offer an interoperable environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; especially in the areas of ontology-based metadata and rule-based reasoning. Nevertheless, the SW proof layer has been neglected so far, although it is vital for agents and humans to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multi-agent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.

View PDFchevron_right
A Proof Markup Language for Semantic Web Services. 2006
Paulo Pinheiro da Silva

Information Systems

View PDFchevron_right
Extending a multi-agent reasoning interoperability framework with services for the semantic web logic and proof layers
Nick Bassiliades

Rule-Based Reasoning …, 2011

The ultimate vision of the Semantic Web (SW) is to offer an interoperable and information-rich web environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents' interoperability; a plethora of proposals and standards for ontologybased metadata and rule-based reasoning are already widely used. Nevertheless, the SW proof layer has been neglected so far, although it is vital for SW agents and human users to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multiagent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results.

View PDFchevron_right
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Reasoning and Proofing Services for Semantic Web Agents
Kalliopi Kravari

2012

The Semantic Web aims to offer an interoperable environment that will allow users to safely delegate complex actions to intelligent agents. Much work has been done for agents ' interoperability; especially in the areas of ontology-based metadata and rule-based reasoning. Nevertheless, the SW proof layer has been neglected so far, although it is vital for agents and humans to understand how a result came about, in order to increase the trust in the interchanged information. This paper focuses on the implementation of third party SW reasoning and proofing services wrapped as agents in a multi-agent framework. This way, agents can exchange and justify their arguments without the need to conform to a common rule paradigm. Via external reasoning and proofing services, the receiving agent can grasp the semantics of the received rule set and check the validity of the inferred results. 1

View PDFchevron_right
A Proof Markup Language for Semantic Web Services
Paulo Pinheiro da Silva

Information Systems, 2006

View PDFchevron_right
Semantically-enhanced authoring of defeasible logic rule bases in the semantic web
Nick Bassiliades

2012

Abstract The Semantic Web represents an initiative to improve the current Web, by augmenting content with semantics and encouraging cooperation among human and software agents. The development of the logic and proof layers of the Semantic Web is currently concentrating the related research effort and is vital, since these layers allow systems to infer new knowledge from existing information, assisting them in explaining their actions and, ultimately, increasing user trust towards the Semantic Web.

View PDFchevron_right
A web service reasoner for the semantic web
Nick Bassiliades

Proceedings of the …, 2007

Web Services offer a standard interface for describing the available services on the Web. Common applications of Web Services are B2B communications and ecommerce, mainly because they are platform and network-independent, easily deployable and offer great reusability. Moreover, the Semantic Web initiative proposes technologies and languages for annotating information on the Web, so that it can be understood, interpreted and exploited by software agents. For the realization of such architecture, agents should be able to reason over the annotated information, in order to make decisions and to successfully cooperate with each other. To this end, logic and rules play an important role, enabling the description of assertions that can be used to derive new knowledge and the implementation of agent behaviour. In this paper we describe the Web Service implementation of a rule-based RDF reasoner, called DR-DEVICE. The deployment of the reasoner as a Web Service enables other applications to use the system over the Internet, by exploiting the well-defined interface that Web Service technology offers. Agents can use the service by interchanging messages, based on standards (SOAP) and already existing Internet protocols (HTTP), in order to enrich their functionality with reasoning capabilities. Furthermore, the system can serve as a software component of a more complex and distributed framework that would compose a variety of Web Services in order to achieve a new functionality. DR-DEVICE supports both deductive and defeasible rules and can be extended to the proof layer of the Semantic Web architecture, for validating the derivations stemming from the inferential logic activity. The service is available to end users through a Web interface.

View PDFchevron_right
Trusted Reasoning Services for Semantic Web Agents
Nick Bassiliades

Informatica: An International …, 2010

The Semantic Web aims at enriching information with well-defined semantics, making it possible both for people and machines to understand Web content. Intelligent agents are the most prominent approach towards realizing this vision. Nevertheless, agents do not necessarily share a common rule or logic formalism, neither would it be realistic to attempt imposing specific logic formalisms in a rapidly changing world like the Web. Thus, based on the plethora of proposals and standards for logic-and rule-based reasoning for the Semantic Web, a key factor for the success of Semantic Web agents lies in the interoperability of reasoning tasks. This paper reports on the implementation of trusted, third party reasoning services wrapped as agents in a multi-agent system framework. This way, agents can exchange their arguments, without the need to conform to a common rule or logic paradigm -via an external reasoning service, the receiving agent can grasp the semantics of the received rule set. Finally, a use case scenario is presented that illustrates the viability of the proposed approach.

View PDFchevron_right

References (19)

  1. T. Berners-Lee (1999). Weaving the Web. Harper 1999.
  2. T. Bray, J. Paoli, C.M. Sperberg-McQueen, E. Maler (2000). Extensible Markup Language (XML) 1.0 (Second Edition) W3C Recommendation, Oc- tober 2000. Available at: http://www.w3.org/TR/2000/RECxml-20001006. G. Antoniou and F. van
  3. G. Antoniou and F. van Harmelen (2004). A Semantic Web Primer. MIT Press 2004.
  4. D.L. McGuinness , F. van Harmelen (2004). OWL Web Ontology Lan- guage Overview W3C Recommendation, February 2004. Available at: http://www.w3.org/TR/owl-features/.
  5. G. Antoniou, D. Billington, G. Governatori and M.J. Maher (2001). Repre- sentation results for defeasible logic. ACM Transactions on Computational Logic 2, 2 (2001): 255 287.
  6. B. N. Grosof (1997). Prioritized conflict handing for logic programs. In Proc. of the 1997 International Symposium on Logic Programming, 197-211.
  7. G. Antoniou, M. J. Maher and D. Billington (2000). Defeasible Logic versus Logic Programming without Negation as Failure. Journal of Logic Program- ming 41,1 (2000): 45 57. M.J. Maher (2002).
  8. A Model-Theoretic Semantics for Defeasible Logic, Proc. Workshop on Para- consistent Computational Logic, 67 -80, 2002.
  9. D. Beckett (2004). RDF/XML Syntax Specification, W3C Recommendation, February 2004. Available at: http://www.w3.org/TR/2004/REC-rdf-syntax- grammar-20040210/.
  10. D. Brickley, R.V. Guha (2004). RDF Vocabulary Description Language 1.0: RDF Schema W3C Recommendation, February 2004. Available at: http://www.w3.org/TR/2004/REC-rdf-schema-20040210/.
  11. Antonis Bikakis, Grigoris Antoniou: DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. AAAI 2005: 1594-1595
  12. Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas: DR-DEVICE: A Defeasible Logic System for the Semantic Web. PPSWR 2004: 134-148
  13. RuleML. The Rule Markup Language Initiative. www.ruleml.org
  14. E. Shortliffe. Computer-based Medical Consultations: MYCIN. Elsevier, 1976.
  15. W. Swartout, C. Paris, and J. Moore. Design for explainable expert systems. IEEE Expert, 6(3):58-647, 1991.
  16. Deborah L. McGuinness and Alex Borgida. Explaining Subsumption in De- scription Logics, in Proceedings of the 1995 International Joint Conference on Artificial Intelligence , August 1995.
  17. Deborah L. McGuinness. Explaining Reasoning in Description Logics, Rut- gers University Thesis, New Brunswick, 1996.
  18. Inference Web. Semantic Web Infrastructure for provenance and justification. http://iw.stanford.edu/2.0/
  19. Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems. Volume 31, Issues 4-5, June-July 2006, Pages 381-395. Previous version, technical report, Knowledge Systems Laboratory, Stanford University. <xsd:element ref="Defeasibly_provable" minOccurs="0" maxOccurs="unbounded"/> <xsd:element ref= "Blocked" minOccurs="0" maxOccurs="unbounded"/> </xsd:sequence> </xsd:complexType> </xsd:element> </xsd:schema>

Related papers

Proof Explanation for the Semantic Web Using Defeasible Logic Project Report in CS 566
Manolis Kritsotakis

2000

1 Abstract In this work we present the desing and implementation of a new system for proof explanation in the Semantic Web, using defeasible logic. Trust is a vital feature for Semantic Web. If users (humans and agents) are to use and integrate system an- swers, they must trust them. Thus, systems should be able to explain their actions, sources,

View PDFchevron_right
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation In the Semantic Web
Antonis Bikakis

Artificial Intelligence: Theories, …, 2008

In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DR-Prolog Web application; and (c) the DR-Prolog desktop application. DR-Prolog supports reasoning with Defeasible Logic theories and ontological knowledge in RDF(S) and OWL, is compatible with RuleML, and enables extracting meaningful proof explanations for the answers it computes.

View PDFchevron_right
Proof Explanation for a Nonmonotonic Semantic Web Rules Language
Antonis Bikakis

Data & Knowledge …, 2008

In this work, we present the design and implementation of a ystem for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic Web. If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs. Our system produces utomatically proof explanations using a popular logic rogramming system (XSB), by interpreting the output from the proof’s trace and converting it into a meaningful representation. It also supports an XML representation for agent communication, which is a common scenario in the Semantic Web. In this paper, e present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.

View PDFchevron_right
A defeasible logic reasoner for the semantic web
Ioannis Vlahavas, Nick Bassiliades

International Journal on …, 2006

Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used. This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web. The system is called DR-DEVICE and is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. The system is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic web broker example for apartment renting.

View PDFchevron_right
Explaining Answers From the Semantic Web: The Inference Web Approach
Paulo Pinheiro da Silva

… , Services and Agents on the World …, 2004

View PDFchevron_right

Related topics

  • Logic Programming
  • Knowledge Science
  • Defeasible Logic
  • Language Extension
  • Agent Communication

    • Cited by

    Visualization of Proofs in Defeasible Logic
    Stratos Kontopoulos

    2008

    The development of the Semantic Web proceeds in steps, building each layer on top of the other. Currently, the focus of research efforts is concentrated on logic and proofs, both of which are essential, since they will allow systems to infer new knowledge by applying principles on the existing data and explain their actions. Research is shifting towards the study of non-monotonic systems that are capable of handling conflicts among rules and reasoning with partial information. As for the proof layer of the Semantic Web, it can play a vital role in increasing the reliability of Semantic Web systems, since it will be possible to provide explanations and/or justifications of the derived answers. This paper reports on the implementation of a system for visualizing proof explanations on the Semantic Web. The proposed system applies defeasible logic, a member of the non-monotonic logics family, as the underlying inference system. The proof representation schema is based on a graph-based methodology for visualizing defeasible logic rule bases.

    View PDFchevron_right
    580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved