Welcome to Kewen's Homepage

Dr. Kewen Wang                                                                  王克文

Position: Associate Professor                                
Postal address:

School of Information and Communication Technology
Griffith University, Brisbane, QLD 4111 
Australia 
Phone: +61 7 3735 5028 
Fax:     +61 7 3735 5051 
Email: REMOVETHISTEXTREMOVETHISTEXT

Office: N44-Room 2.31 (Nathan Campus) 

Teaching

2508ICT (Principles of Intelligent Systems), Semester 2, 2008

3501ICT (Data Structures and Algorithms), Summer Semester, 2008

3001ICT_Y1, 2008-2009 (Course Convenor)

 

Past Teaching

 

 

Research Interests   

Nonmonotonic Reasoning, Logic Programming, Knowledge Representation, Semantic Web, Applied Logics, Artificial Intelligence

Research Projects                   

 

 

 

     

Professional Activities

 

  • AI Communications: The European Journal on Artificial Intelligence, Editorial board member, Jan 2000- Dec 2004.

 

Systems

LPForget:  Forgetting in Answer Set Programming, 2006.

DLForget: Forgetting in Description Logics, 2008.

Technical Reports:

1.      Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan and Grigoris Antoniou. Concept and role forgetting in ALC-Ontologies. 2009, under review (conference).

2.      Zhe Wang, Kewen Wang, Rodney Topor, Jeff Z Pan.  Revision of DL-Lite knowledge bases. 2009, under review (conference).

3.      Zhe Wang, Kewen Wang, Rodney Topor, Jeff Z Pan.  Forgetting for knowledge bases in DL-Lite. 2009, under review (journal, extended version of the ESWC-08 paper).

4.      Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan and Grigoris Antoniou. Eliminating concepts and roles in ALC knowledge bases. 2009, in preparation (journal).

Publications

  1. Zhe Wang, Kewen Wang and Rodney Topor. Forgetting for Knowledge Bases in DL-Lite_bool. In: Proceedings of the IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), (accepted for publication), 2009
  2. Junhu Wang, Kewen Wang and Jiuyong Li. Finding irredundant contained rewritings of tree pattern queries using views. Proceedings of the 11th Asia-Pacific Web Conference (APWeb), jointly with WAIM-09, pages 113-125, 2009.
  3. Thomas Eiter and Kewen Wang. Semantic forgetting in answer set programming. Artificial Intelligence (AIJ), 172(14): 1644-1672, 2008. PDF at Elsevier, PDF  as technical report (57 pages, 411KB)

 

  1. Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan: Forgetting Concepts in DL-Lite. The Semantic Web: Research and Applications, Proceedings of the 5th European Semantic Web Conference (ESWC-08), pages 245-257, 2008. [PDF]

 

  1. Yuting Zhao, Kewen Wang, Rodney Topor, Jeff Z. Pan and Fausto Giunchiglia. Autonomous Ontology Reasoning. In Proceedings of the International Semantic Web Conference (ISWC-07), pagews 666-679, 2007. [PDF]

 

  1. Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang. LPForget: A system of forgetting in answer set programming. In Proceedings of 19th Australian AI Conference (AI-06), pages 1101-1105, 2006. [PDF]

 

  1. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits and Kewen Wang. Forgetting in managing rules and ontologies. In Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), pages 411-419, 2006. This paper is also presented at the Workshop on Applications of Logic Programming in the Semantic Web and Web Services in conjunction with ICLP-2006 (WALPSWW). [PDF]

 

  1. Thomas Eiter and Kewen Wang. Forgetting and conflict resolving in disjunctive logic programming. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-2006), AAAI Press, Inc., 2006. [PDF]

 

  1. Thomas Eiter and Kewen Wang. Forgetting and conflict resolving in disjunctive logic programming. In Proceedings of the11th NMR-2006, 2006 (an extended version of AAAI-06 paper).  [PDF]

 

  1. Kewen Wang, Grigoris Antoniou, Rodney Topor and Abdul Sattar. Merging and aligning ontologies in dl-programs. In Proceedings of the International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2005), LNCS 3791, pages 160-171, 2005. [PDF]

 

  1. Kewen Wang, Lizhu Zhou. Comparisons and computation of well-founded semantics for disjunctive logic programs. ACM Transactions on Computational Logic, 6(2): 295-327, 2005. [PS] or [PDF at TOCL]

 

  1. Kewen Wang, Abdul Sattar and Kaile Su. A theory of forgetting in logic programming. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005), pages 682-687 (Oral Paper), AAAI Press, Inc., 2005.  [PDF]

 

13.  Kewen Wang and Yan Zhang. Nested epistemic logic programs. In Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-05), LNCS 3662, 2005. [PDF]

 

  1. Yan Zhang, Norman Foo and Kewen Wang, Solving logic program conflicts through strong and weak forgettings. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), pages 627-632, the Professional Book Centre, USA, 2005. [PDF]

 

  1. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori, Xiangyu Luo and Vineet Nair. The Observation-based Model for BDI-Agents. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005), pages 190-195, AAAI Press, Inc., 2005. [PDF]

 

  1. Tim Cleaver, Abdul Sattar and Kewen Wang. Reasoning about success and failure in intentional agents. In Proceedings of the 18th Australian Joint Conference on Artificial Intelligence, LNAI 3809, pages 60-69, 2005.

 

  1. Kewen Wang, David Billington, Jeff Blee and Grigoris Antoniou. Combining description logic and defeasible logic for the semantic web. In: Proc. RuleML’2004, LNCS 3323, pages 170-181, 2004.

 

  1. James Delgrande, Torsten Schaub, Hans Tompits and Kewen Wang. A classification and survey of preference handling approaches in nonmonotonic reasoning.  Computational Intelligence, 20(12): 308-334, 2004. [PS]

 

  1. Torsten Schaub, Kewen Wang. Towards a semantic framework for preference handling in answer set programming. Theory and Practice of Logic Programming, special issue on Answer Set Programming, 3(4-5): 569-607, 2003.  [PS]

 

  1. James Delgrande, Torsten Schaub, Hans Tompits and Kewen Wang. Towards a classification of preference handling approaches in nonmonotonic reasoning. In: U. Junker ed. Proceedings of the Workshop on Preferences in Artificial Intelligence and Constraint Programming: Symbolic Approaches, AAAI Press, 2002. [PS] 

 

  1. Torsten Schaub, Kewen Wang. Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary Report. In: Proceedings of the Workshop on Non-Monotonic Reasoning (NMR'02), 2002. [PS] 

 

  1. Torsten Schaub, Kewen Wang. A comparative study of logic programming with preference. In: Proceedings of 17th International Joint Conference on Artificial Intelligence (IJCAI'01), pages 597-602, Seattle, 2001. [PS] 

 

  1. Kewen Wang.  A top-down procedure for disjunctive well-founded semantics. In: Proceedings of International Joint Conference on Automated Reasoning (IJCAR'01), Lecture Notes in Artificial Intelligence 2083: 305-317, Siene, Italy, 2001. [PS] 

 

  1. Kewen Wang. A comparative study of disjunctive well-founded semantics.  In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), Lecture Notes in Artificial Intelligence 2173: 133-146, Vienna, 2001. [PS] 

 

  1. Kewen Wang, Lizhu Zhou. An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases. Journal of Intelligent Information Systems, 16(3): 229-253, 2001. [PDF] 

 

  1. Kewen Wang. Argumentation-based abduction in disjunctive logic programming. Journal of Logic Programming, 45(1-3): 105-140, 2000. [PS] 

 

  1. Kewen Wang, Lizhu Zhou, Fangzhen Lin. Alternating fixpoint theory for logic programs with priority. In: Proceedings of the First International Conference on Computational Logic (CL'00), Lecture Notes in Computer Science 1861: 164-178, London, 2000. [PS] 

 

  1. Kewen Wang, Lizhu Zhou. Specifying database updates by causal theories. In: Proceedings of the 16th World Computer Congress (WCC2000), Beijing, 2000. [PS] 

 

  1. Fangzhen Lin, Kewen Wang. From causal theories to logic programs. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), LNAI 1730, pages 117-131, 1999. [PS] 
     

Edited Special Issue: 


Kewen Wang, Ruqian Lu. Artificial Intelligence Advances in China, AI Communications: The European Journal on Artificial Intelligence, 16(1), 2003.

Here is a full list of my publications (since 1995)