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


Kewen Wang, Professor

kewen2.png

 

王克文

Higher Degree Research (PhD) 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: Six regular papers and one short paper by our research group members and collaborators have been accepted at AAAI-2015! Five of them are selected for oral presentations.
  • 14 Dec 2014: Selected to the Editorial Board, the Journal of Web Semantics (a major forum in ontologies and the semantic web).

 


 


Teaching

2015 Semester 2, Principles of Intelligent Systems (2508ICT Nathan)

2015, Semester 1, Research Methods in IT (6112ICT/7113ICT Nathan)

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

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

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

 

Websites for current courses can be accessed through Learning@Griffith

 

Past Teaching

 


Research Interests

Kewen Wang has been working in knowledge representation and its applications in the past twenty years. His research interests include answer set programming, nonmonotonic reasoning, description logics, ontologies and the semantic web. Since 2006, he has significantly extended his research interest to query answering and non-standard reasoning services for ontologies (forgetting, revision, contraction, abduction and induction). He has been leading on some research topics of ontology reasoning such as ontology forgetting, revision, contraction and abductive reasoning (query explanation). He is among the first researchers who proposed the theory of forgetting for nonmonotonic reasoning and description logic ontologies, which has been a quite active research topic. The theory of forgetting provides a novel way for many ontology applications such as ontology reuse. With his collaborators, he has developed various new techniques and algorithms for ontology/DL/LP changes.


Memberships:


PhD Students

  • Sebastian Binnewies (PhD student, 2011-, with B. Stantic and Z. Zhuang)
  • Yifan Jin (PhD student, 2013-, with J. Wang)
  • Pouya Ghiasnezhadomran (PhD student, 2015-, with Z. Wang)
  • Melissa Winnel (PhD student, 2012-, with H. Zhao, on leave)
  • Hao Lin (PhD student, 2015-)

Former Postdocs and HDR students:

  • Dr Zhiqiang Zhuang (Postdoc, Feb 2013- Feb 2015; he is still working at Griffith)
  • Mahsa Chitsaz (PhD student, completed, 2011-2015, with M. Blumenstein and Z. Wang)
  • Sheng Li (PhD student, 2011-, with J. Wang)
  • Zhe Wang (PhD student, Feb 2007- Jan 2011, Postdoc at Oxford University and Griffith)
  • Raghav Ramanchandran (Postdoc, Sep 2011-Feb 2012)
  • Xiaowang Zhang (visiting PhD student, 2009, Postdoc at Universiteit Hasselt 2010-2014, Associate Professor at Tianjin University 2014-)
  • Chaoming Li (visiting PhD student, 2008)
  • Jeff Blee (Honours student, 2004)
  • Yuting Zhao (Postdoc, Feb 2006-Feb 2007; Research fellow at the University of Aberdeen)
  • 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.
  • ABEL: A sysem for ABox abduction in EL, 2014.

 

 

 

 

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

  1. Zhe Wang, Mahsa Chitsaz, Kewen Wang and Jianfeng Du. Towards scalable and complete query explanation with OWL2 EL ontologies. In: Proceedings of CIKM, 2015 (accepted for publication).
  2. Zhe Wang, Kewen Wang, and Rodney Topor. An alternative semantic characterisation for DL-Lite and its application in ontology revision. ACM Transactions on Computational Logic (TOCL), May 2015 (accepted for publication).
  3. Zhiqiang Zhuang, Zhe Wang, Kewen Wang and James Delgrande. Extending AGM contraction to arbitrary logics. In: Proceedings of IJCAI, 2015 (accepted for publication).
  4. James Delgrande and Kewen Wang. A syntax-independent approach to forgetting in disjunctive logic programs. In: Proceedings of AAAI, 2015. [PDF]
  5. Jianfeng Du, Kewen Wang and Yi-Dong Shen. Towards tractable and practical ABox abduction over inconsistent description logic ontologies. In: Proceedings of AAAI, 2015. [PDF]
  6. 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. [PDF]
  7. Sebastian Binnewies, Zhiqiang Zhuang and Kewen Wang. Partial meet revision and contraction in logic programs. In: Proceedings of AAAI, 2015.   [PDF]
  8. Zhe Wang, Kewen Wang, Zhiqiang Zhuang and Guilin Qi. Instance-driven ontology evolution in DL-Lite. In: Proceedings of AAAI, 2015. [PDF]
  9. Yisong Wang, Kewen Wang, Zhe Wang and Zhiqiang Zhuang. Knowledge forgetting in circumscription: A preliminary report. In: Proceedings of AAAI. [PDF]
  10. Mahsa Chitsaz, Zhe Wang and Kewen Wang. Query abduction for ELH ontologies. In: Proceedings of AAAI, 2015 (student short paper). [PDF]
  11. Kewen Wang, Lian Wen and Kedian Mu. Random logic programs: Linear model. Theory and Practice of Logic Programming, 2014 (accepted for publication). [PDF]
  12. 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]
  13. 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]
  14. Kedian Mu, Kewen Wang, and Lian Wen. Approaches to measuring inconsistency for stratified knowledge bases. International Journal of Approximate Reasoning, 55: 529-556, 2014.
  15. 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]
  16. 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]
  17. James Delgrande and Kewen Wang. An approach to forgetting in disjunctive logic programs that preserves strong equivalence. In: Proceedings of NMR, 2014. [PDF]
  18. Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li. Instance-driven TBox revision in DL-Lite. In: Proceedings of DL, 2014.
  19. Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou. Rational elimination of DL-Lite TBox axioms. In: Proceedings of DL, 2014.
  20. 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).
  21. 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.
  22. Yisong Wang, Kewen Wang. Forgetting for answer set programming revisited. In: Proceedings of IJCAI, pages 1162-1168, 2013. [PDF]
  23. Yisong Wang, Zhiqiang Zhang, Kewen Wang. Belief change in nonmonotonic multi-context systems. In: Proceedings of LPNMR, pages 543-555, 2013. [PDF]
  24. Jose Alferes, Matthias Knorr, Kewen Wang. Forgetting under the Well-Founded Semantics. In: Proceedings of LPNMR, pages 36-41, 2013. [PDF]
  25. Yi-Dong Shen, Kewen Wang. Enhancing the FLP semantics with a level mapping formalism to resolve circular justifications. In: Proceedings of AAAI, 2012. [PDF]
  26. Guilin Qi, Kewen Wang. Conflict-based belief revision operators in possibilistic logic. In: Proceedings of AAAI, 2012. [PDF]

27.  Grigoris Antoniou, Thomas Eiter, Kewen Wang. Forgetting for defeasible 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