ttp://www.cit.gu.edu.au/~s2107085/tn_logo_1.jpgxxxxxWelcome to Kewen Wang's Homepage


Kewen Wang, Professor

kewen2.png

 

王克文

Higher Degree Research Convenor

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) 

 

 

 

 

 

 


 

News:

 

         9 Nov 2014: 6 regular papers and one short paper by our research group members and collaborators have been accepted at AAAI-2015!

         10 Dec 2014: 5 of our AAAI-2015 papers are selected for oral presentations.

 


 

         Current PhD/RHD students: If you have any questions, you can email me or hdr-gsc@griffith.edu.au. If you need to lodge a leave application, you can download the form at http://www.griffith.edu.au/higher-degrees-research/current-research-students/forms-for-hdr-students (just complete the pdf form and save it).

         Future PhD/RHD students: If you are interested in pursuing a PhD at Griffith University, you are encouraged to contact me or a Griffith researcher in your field (ref. http://research-hub.griffith.edu.au/).

         PhD scholarships: A number of PhD scholarships are available at Griffith every year. Application information including due dates can be found at http://www.griffith.edu.au/higher-degrees-research/how-to-apply


Teaching

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

2014, Semester 2: Research Methods in IT (6112ICT/7112ICT)

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

 

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


Recent Research Projects (funded by the Australian Research Council)

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

Program Committee Member:

 

 


Postdoctoral Researchers:

         Dr Zhe Wang

         Dr Zhiqiang Zhuang.

Students

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

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

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

Former Postdocs and PhD students:

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

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

         Raghav Ramanchandran (Postdoc, Sep 2011-Feb 2012)

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

         Chaoming Li (visiting PhD student, 2008)

         Jeff Blee (Honours student, 2004)

         Yuting Zhao (Postdoc, Feb 2006-Feb 2007)

         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.

 

 

Selected Publications (A list of my publications can be found at DBLP)

  1. James Delgrande and Kewen Wang. A syntax-independent approach to forgetting in disjunctive logic programs. In: Proceedings of AAAI, 2015 (accepted for publication).
  2. Jianfeng Du, Kewen Wang and Yi-Dong Shen. Towards tractable and practical ABox abduction over inconsistent description logic ontologies. In: Proceedings of AAAI, 2015 (accepted for publication).
  3. Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu and Zhiqiang Zhuang. Approximating model-based ABox revision in DL-Lite: Theory and practice. In: Proceedings of AAAI, 2015 (accepted for publication).
  4. Sebastian Binnewies, Zhiqiang Zhuang and Kewen Wang. Partial meet revision and contraction in logic programs. In: Proceedings of AAAI, 2015 (accepted for publication)
  5. Zhe Wang, Kewen Wang, Zhiqiang Zhuang and Guilin Qi. Instance-driven ontology evolution in DL-Lite. In: Proceedings of AAAI, 2015 (accepted for publication).
  6. Yisong Wang, Kewen Wang, Zhe Wang and Zhiqiang Zhuang. Knowledge forgetting in circumscription: A preliminary report. In: Proceedings of AAAI, 2015 (accepted for publication).
  7. Mahsa Chitsaz, Zhe Wang and Kewen Wang. Query abduction for ELH ontologies. In: Proceedings of AAAI, 2015 (student short paper) (accepted for publication).
  8. Kewen Wang, Lian Wen and Kedian Mu. Random logic programs: Linear model. Theory and Practice of Logic Programming, 2014 (accepted for publication).
  9. Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng. FLP answer set semantics without circular justifications for general logic programs, Artificial Intelligence, 213:1-41, 2014. [PDF]
  10. Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan, Grigoris Antoniou. Eliminating concepts and roles from ontologies in expressive description logics. Computational Intelligence, 30(2): 205-232, 2014. [PDF]
  11. Kedian Mu, Kewen Wang, and Lian Wen. Approaches to measuring inconsistency for stratified knowledge bases. International Journal of Approximate Reasoning, 55: 529-556, 2014.
  12. Jianfeng Du, Kewen Wang and Yi-Dong Shen.  Tractable approach to ABox abduction over description logic ontologies. In: Proceedings of AAAI, pages 1034-1040, 2014 (accepted). [PDF]
  13. Zhiqiang Zhuang, Zhe Wang, Kewen Wang and Guilin Qi. Contraction and revision over DL-Lite TBoxes. In: Proceedings of AAAI, pages 1149-1156, 2014. [PDF]
  14. James Delgrande and Kewen Wang. An approach to forgetting in disjunctive logic programs that preserves strong equivalence. In: Proceedings of NMR, 2014. [PDF]
  15. Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li. Instance-driven TBox revision in DL-Lite. In: Proceedings of DL, 2014.
  16. Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou. Rational elimination of DL-Lite TBox axioms. In: Proceedings of DL, 2014 (accepted).
  17. Zhe Wang, Yifan Jin, Kewen Wang and Guilin Qi, OntoMerge: A system for merging DL-Lite ontologies. In: Ontologies: Theory and Applications inInformation Systems and the Semantic Web, LNAI ???, 2014 (in press).
  18. Xin Wang, Jun Ling, Junhu Wang, Kewen Wang, Zhiyong Feng. Answering provenance-aware regular path queries on RDF graphs using an automata-based algorithm. In: Proceedings of WWW (companion volume), pages 395-396, 2014.
  19. Yisong Wang, Kewen Wang. Forgetting for answer set programming revisited. In: Proceedings of IJCAI, pages 1162-1168, 2013. [PDF]
  20. Yisong Wang, Zhiqiang Zhang, Kewen Wang. Belief change in nonmonotonic multi-context systems. In: Proceedings of LPNMR, pages 543-555, 2013. [PDF]
  21. Jose Alferes, Matthias Knorr, Kewen Wang. Forgetting under the Well-Founded Semantics. In: Proceedings of LPNMR, pages 36-41, 2013. [PDF]
  22. Yi-Dong Shen, Kewen Wang. Enhancing the FLP semantics with a level mapping formalism to resolve circular justifications. In: Proceedings of AAAI, 2012. [PDF]

23.  Guilin Qi, Kewen Wang. Conflict-based belief revision operators in possibilistic logic. In: Proceedings of LPAR, LNAI 7180, pages 77-91, 2012. [PDF]

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

25.   Yi-Dong Shen, Kewen Wang. Extending logic programs with description logic expressions for the semantic web. In: Proceedings of ISWC, pages 633-648, 2011. [PDF]

26.   Nathan Cobby, Kewen Wang and Zhe Wang, Marco Sotomayor. OntoRevision: A plug-in system for revision in Protege. In: Proceedings of JIST, pages 417-424, 2011.

27.   Zhe Wang, Kewen Wang, Xiaowang Zhang and Rodney Topor. Tableau-based Forgetting in ALC Ontologies. In: Proceedings of ECAI, pages 47-52, 2010. [PDF]

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

29.   Zhe Wang, Kewen Wang and Rodney Topor. A new approach to DL-Lite knowledge base revision. In: Proceedings of AAAI, pages 369-374, 2010. [PDF]

30.   Zhe Wang, Kewen Wang and Rodney Topor. Revising general knowledge bases in description logics. In: Proceedings of KR-10, 2010 (short paper).

31.   Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan and Grigoris Antoniou. Concept and role forgetting in ALC-Ontologies. In: Proceedings of ISWC, pages 666-681, 2009. [PDF]

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

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

34.   Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan: Forgetting concepts in DL-Lite. In: Proceedings of ESWC, pages 245-257, 2008. [PDF]

35.   Yuting Zhao, Kewen Wang, Rodney Topor, Jeff Z. Pan and Fausto Giunchiglia. Autonomous ontology reasoning. In Proceedings of ISWC, pages 666-679, 2007. [PDF]

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

37.   Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits and Kewen Wang. Forgetting in managing rules and ontologies. In Proceedings of WI, 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]

38.   Thomas Eiter and Kewen Wang. Forgetting and conflict resolving in disjunctive logic programming. In Proceedings of AAAI, pages 238-243, 2006. [PDF]

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

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

41.   Kewen Wang, Grigoris Antoniou, Rodney Topor and Abdul Sattar. Merging and aligning ontologies in dl-programs. In Proceedings of RuleML, LNCS 3791, pages 160-171, 2005. [PDF]

42.   Kewen Wang, Abdul Sattar and Kaile Su. A theory of forgetting in logic programming. In Proceedings of AAAI, pages 682-687 (Oral Paper), 2005. [PDF]

43.   Kewen Wang and Yan Zhang. Nested epistemic logic programs. In Proceedings of LPNMR, LNCS 3662, 2005. [PDF]

44.   Yan Zhang, Norman Foo and Kewen Wang, Solving logic program conflicts through strong and weak forgettings. In Proceedings of IJCAI, pages 627-632, 2005. [PDF]

45.   Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori, Xiangyu Luo and Vineet Nair. The Observation-based Model for BDI-Agents. In Proceedings of AAAI, pages 190-195, 2005. [PDF]

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

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

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

49.   Torsten Schaub, Kewen Wang. Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary Report. In: Proceedings of NMR, 2002. [PS

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

51.   Torsten Schaub, Kewen Wang. A comparative study of logic programming with preference. In: Proceedings of IJCAI, pages 597-602, Seattle, 2001. [PS

52.   Kewen Wang.  A top-down procedure for disjunctive well-founded semantics. In: Proceedings of IJCAR, LNAI 2083: 305-317, Siene, Italy, 2001. [PS

53.   Kewen Wang. A comparative study of disjunctive well-founded semantics.  In: Proceedings of LPNMR, LNAI 2173: 133-146, 2001. [PS

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

55.   Kewen Wang, Lizhu Zhou, Fangzhen Lin. Alternating fixpoint theory for logic programs with priority. In: Proceedings of CL, LNCS 1861: 164-178, 2000. [PS

56.   Fangzhen Lin, Kewen Wang. From causal theories to logic programs. In: Proceedings of LPNMR, LNAI 1730, pages 117-131, 1999. [PS

Technical Reports:

 

1.            Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang. Rule revision in normal DL logic programs. Extended version of RR-2013 paper: PDF