xxxxxWelcome to Kewen Wang's Homepage

School of Information and Communication Technology
Griffith University, Brisbane, QLD 4111 
Australia 
Phone: +61 7 3735 5028 
Fax:     +61 7 3735 5051 
Email: k.wangREMOVETHISTEXT@REMOVETHISTEXTgriffith.edu.au

Office: N44-Room 2.31 (Nathan Campus) 

Teaching

2013, Semester 1: Theory of Computation (3440ICT)

2012, Semester 2: Principles of Intelligent Systems (2508ICT)

Websites for current courses can be accessed through Learning@Griffith

Past Teaching

Research Interests

Knowledge Representation, Logic Programming, Semantic Web, Ontologies, Computational Logics, Artificial Intelligence

Ø I am looking for strong candidates for a number of PhD scholarships available at Griffith (see Call For Applications)

Recent Research Projects

Ø  ARC Discovery: A framework for scalable ontology enrichment and change, 2013-2015 (Kewen Wang, Yuefeng Li, Rodney Topor, Guilin Qi and Grigoris Antoniou)

Ø   

Ø  ARC Linkage: A new management tool for effective wastewater source control, 2012-2016 (Huijun Zhao, Kewen Wang, Ling Li and Shanqing Zhang)

Ø  ARC Discovery: Efficient multi-context systems for heterogeneous information reasoning and sharing, 2011-2013 (Kewen Wang, Grigoris Antoniou and Torsten Schaub)

Ø  ARC Discovery: Rule-Based Reasoning Systems for Complex and Dynamic Ontologies, 2010.1-2012 (Kewen Wang, John Thornton, Junhu Wang, Thomas Eiter, Grigoris Antoniou, Hans Tompits)

Ø  ARC Discovery: Towards automated and intelligent processing of web-based information (Declarative Reasoning Systems for the Semantic Web), 2006.1- 2008.12 (Kewen Wang, Rodney Topor, and Grigoris Antoniou).

Ø  ARC Discovery: Foundations of Nonmonotonic Logic  Programming  for Complex Knowledge Systems, 2006.1- 2008.12 (Yan Zhang, Abhaya Nayak, Kewen Wang and Fangzhen Lin).

Professional Activities

Ø  Program Committee Member (2005-present): 27^th AAAI-2013 (Senior Member), 26^th DL-2013, 12^th LPNMR-2013, 12^th ISWC-2013, 13^th KR-2012, 8^th ESWC-2012, 22^nd IJCAI-2011 (Senior Member), 25^th AAAI, 26^th ICLP-2011, 11^th LPNMR, 5^th RuleML-2011 (Track Chair), 10^th ISWC-2011 (Demo), 7^th ESWC-2011 (PhD Consortium), 12^th KR-2010 (also, Doctoral Consortium PC member and Mentor), 19^th ECAI-2010, 25^th ICLP-2010, 6^th ESWC-2010, 11^th PRICAI-2010 (Vice PC Chair), RuleML-2010 (also, Challenge session member), 21^st DEXA, 21^st IJCAI-2009, 10^th LPNMR-2009, RuleML 2009, 22^nd AI-2009, 20^th DEXA-2009, 12^th NMR-2008 (Co-Chair for Preferences), 18^th ECAI-2008, RuleML-2008, 19^th ICTAI-2007, 2^nd KSEM-2007, RuleML-2007, 17^th ECAI-2006, 11^th NMR-2006, RuleML-2006, KSEM-2006, OnToContent-2006, AMT-2006, RuleML-2005, 18^th AI-2005

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

Students

Mahsa Chitsaz (PhD student, 2011-, with M. Blumenstein)

Akshay Maan (PhD student, 2011-, with R. Topor)

Sebastian Binnewies (PhD student, 2011-, with B. Stantic)

Marco Sotomayor (PhD srudent, 2012-, with M. Lawley and J. Thornton)

Muhamamd Kashif (PhD student, 2012-, with L. Wen and B. Stantic)

Melissa Winnel (PhD student, 2012-, with H. Zhao)

Yifan Jin (PhD student, 2013-, with J. Wang)

Sheng Li (PhD student, 2011-, with J. Wang)

Zhe Wang (PhD student, Feb 2007- Jan 2011, Postdoc at Oxford University)

Xiaowang Zhang (visiting PhD student, 2009, Postdoc at Universiteit Hasselt)

Chaoming Li (visiting PhD student, 2008)

Jeff Blee (Honours student, 2004)

Cheng Fu(Honours student, 2006)

Nathan Robinson (Honours student, 2006)

Jurgen Bock (Honours student, 2006)

Nathan Cobby (Honours student, 2010)

Systems

Ø  LPForget: Forgetting in Answer Set Programming, 2006.

Ø  DLForget: Forgetting in Description Logics, 2008.

Ø  OntoRevision: A Protege plug-in for revising OWL ontologies, 2010.

Ø  OntoMerge: A system for merging ontologies, 2012.

Technical Reports:

1.         Lian Wen, Kewen Wang, Yi-Dong Shen, and Fangzhen Lin. Phase transitions in random negative two-literal logic programs, 2013. PDF

2.         Kewen Wang and Lian Wen. A linear model for random negative two-literal logic programs, 2013. PDF

3.         Yi-Dong Shen, Kewen Wang, Jun Deng, Christoph Redl, Thomas Krennwallner, Thomas Eiter, Michael Fink. FLP answer set semantics without circular justifications for general logic programs, 2013 (journal submission).

4.         Zhe Wang, Kewen Wang and Rodney Topor. Revising general ontologies in DL-Lite. Artificial Intelligence (subject to revision), 2013.

5.         Zhe Wang, Kewen Wang, Guilin Qi, and Rodney Topor. A semantic approach to ontology merging in DL-Lite, 2012. PDF

Selected Publications (A full list of publications is here)

1. Yisong Wang, Kewen Wang. Forgetting for answer set programming revisited. In: Proceedings of 23^rd International Joint Conference on Artificial Intelligence (IJCAI-13), 2013 (accepted for publication).

2.         Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan, Grigoris Antoniou. Eliminating concepts and roles from ontologies in expressive description logics. Computational Intelligence, 2012 (in press).

3.         Yi-Dong Shen, Kewen Wang. Enhancing the FLP semantics with a level mapping formalism to resolve circular justifications. In: Proceedings of 26^th AAAI, 2012. [PDF]

4.         Guilin Qi, Kewen Wang. Conflict-based belief revision operators in possibilistic logic. In: Proceedings of 26^th AAAI, 2012. [PDF]

5.         Grigoris Antoniou, Thomas Eiter, Kewen Wang. Forgetting for defeasible logic. In: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-12), LNAI 7180, pages 77-91, 2012. [PDF]

6.         Jia-Huai You, Yi-Dong Shen, Kewen Wang. Well-supported semantics for logic programs with generalized rules. In: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS 7265, pp.576-591, 2012. [PDF]

7.         Yi-Dong Shen, Kewen Wang. Extending logic programs with description logic expressions for the semantic web. In: Proceedings of 10^th International Semantic Web Conference (ISWC-2011), pages 633-648, 2011. [PDF]

8.         Nathan Cobby, Kewen Wang and Zhe Wang, Marco Sotomayor. OntoRevision: A plug-in system for revision in Protege. In: Proceedings of the Joint International Semantic Technology Conference (JIST-11), LNCS 7185, pages 417-424, 2011. [PDF]

9.         Zhe Wang, Kewen Wang, Xiaowang Zhang and Rodney Topor. Tableau-based Forgetting in ALC Ontologies. In: Proceedings of 19^th European Conference on Artificial Intelligence (ECAI-10), pages 47-52, 2010. [PDF]

10.     Zhe Wang, Kewen Wang, Rodney Topor, Jeff Z Pan. Forgetting for knowledge bases in DL-Lite. Annals of Mathematics and Artificial Intelligence, 58(1-2): 117-151, 2010. [PDF]

11.     Zhe Wang, Kewen Wang and Rodney Topor. A new approach to DL-Lite knowledge base revision. In: Proceedings of 24^th AAAI Conference on Artificial Intelligence (AAAI-10), pages 369-374, 2010. [PDF]

12.     Zhe Wang, Kewen Wang and Rodney Topor. Revising general knowledge bases in description logics. In: Proceedings of 12^th International Conference on Knowledge Representation (KR-10), 2010 (short paper).

13.     Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan and Grigoris Antoniou. Concept and role forgetting in ALC-Ontologies. In: Proceedings of the 8th International Semantic Web Conference (ISWC-09), pages 666-681, 2009. [PDF]

14.     Zhe Wang, Kewen Wang, Rodney Topor, Jeff Z Pan. Revision of DL-Lite knowledge bases. In: Proceedings of 22^nd DL, 2009. [PDF]

15.     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)

16.     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]

17.     Yuting Zhao, Kewen Wang, Rodney Topor, Jeff Z. Pan and Fausto Giunchiglia. Autonomous ontology reasoning. In Proceedings of the 6th International Semantic Web Conference (ISWC-07), pages 666-679, 2007. [PDF]

18.     Fu Cheng, Thomas. Eiter, Nathan Robinson, Abdul Sattar, K. Wang. LPForget: A system of forgetting in answer set programming. In Proceedings of Australian Conference on Artificial Intelligence, pages 1101-1105 [PDF]

19.     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]

20.     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), pages 238-243, AAAI Press, Inc., 2006. [PDF]

21.     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]

22.     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.  [PDF]

23.     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]

24.     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]

25.     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]

26.     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]

27.     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]

28.     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]

29.     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.

30.     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]

31.     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] 

32.     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]

33.     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] 

34.     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] 

35.     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] 

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

37.     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] 

38.     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.