DEBII Candidacy Presentation by Mr. Naeem Khalid Janjua
Digital Ecosystem and Business intelligence (DEBII)Institute
A framework for defeasible argumentative reasoning in semantic web applications
Mr. Naeem Khalid Janjua
Supervisor: Dr. Farookh K. Hussain
Co-supervisor: Dr. Pornpit Wongthongtham
Chairperson: Dr. Maja Hadzic
Venue and Time
Time: 9:00 AM-10:00 AM (GMT+08:00) Perth.
Location: DEBII Board Room Enterprise Unit 4, De Laeter Way, Techpark
The aim of this research is to propose and validate a framework for carrying out defeasible argumentative reasoning in semantic web applications. Web is a source of huge amount of data and semantic web efforts are targeted towards making web data contents machines understandable. This will have significant impact on the way information is exchanged and businesses are conducted. As ontology layer of semantic web has got enough maturity (i.e. standards like RDF, RDFs, OWL, OWL 2) the next step is to work on logic layer for development of advance reasoning capabilities for knowledge extraction and efficient decision making. Adding logic to web means use of rules to make inferences. Rules are a way to express business processes, policies, contracts etc but most of the studies have focused on use of monotonic logics in layered development of semantic web which provides no mechanism for representing mechanism for representing incomplete information and handling of contradictory information. These limitations are inherited in Description Logics being subset of predicate logic. Defeasible logic programming is based on nonmonotonic logic and has been used in software agents for carrying out goal driven defeasible reasoning. Defeasible reasoning is a rule based approach to perform reasoning on incomplete, inconsistent and uncertain information and priorities are used to resolve conflicts among rules. Semantic web is source of defeasible knowledge as its open by nature and subject to inconsistencies deriving from multiple sources; therefore, it is not possible to define priorities in advance among conflicting rules. Additionally, quantitative approaches for reasoning on semantic web are also criticized for their in ability to generate easy to understand and logically clear result. The best metaphor for carrying out reasoning in such environment is Human being’s commonsense reasoning called as argumentation which take in to consideration rules/arguments and counter rules/arguments against a claim to reach certain conclusion. Argumentation has a pivotal role for identifying and organizing what can be justifiably concluded and to present it systematically to human users or to merge it with the justified conclusions of other machines in absence of complete or accurate information. We are interested in to exploiting the power of defeasible logic and argumentation for data driven reasoning on semantic web by identifying the issues involved in mapping of RDF/OWL ontologies to defeasible logic programming, how to carry out argumentative reasoning on semantic web, how DeLP rules can be shared on web and how tractable, customizable results can be represented to user.