杂志文章 | 会议文章 | 技术报告 | 项目报告 | 博士论文

杂志文章

  • Ren, S., Qi. G. and Lin, Z. Iterated Revision in Default Logic, accepted by International Journal of Innovative Computing, Information and Control, 2009. (PDF)
  • Qi, G.; Liu, W. and Bell, D.A. Combining multiple knowledge bases in possibilistic logic, Fuzzy Sets and Systems 158(23): 2535-2551, 2007.(PDF)
  • Qi, G., Liu, W., Bell, D. A revision-based approach to handling inconsistency in description logics, Journal of Artificial Intelligence Review, 26(1-2): 115-128, 2006. (PDF)
  • Qi, G., Liu, W., Glass, D.H., and Bell, D.A. Split-Combination approaches to merging possibilistic knowledge bases. Ann. Math. Artif. Intell. 48(1-2): 45-84, 2006. (PDF)
  • Liu, W., Qi, G. and Bell, D.A. Adaptive merging of prioritized knowledge bases. Fundamenta Informaticae 73(3), pp. 389-407, 2006. (PDF)
  • Qi, G., Liu, W. Rough operators on Boolean Algebras. International Journal of Information Science, 173 (1-3), pp. 49-63, 2005.(PDF)
  • Qi, G., Milligan, P., Sage, P. Incidence calculus on Lukasiewicz's three-valued logic. International Journal of Fundamenta Informaticae, 68(4): 357-378, 2005.(PDF)

会议文章 [ top ]

2009

  • Qi, G. and Du, J. Model-based Revision Operators for Terminologies in Description Logics, accepted by Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) , 891-897, 2009. (PDF)
  • Qi, G., Haase, P. and Ji, Q. A Conflict-based Operator for Mapping Revision--Theory and and Implementation, accepted by the 8th International Semantic Web Conference (ISWC'09), to appear, 2009.(PDF)
  • Du, J., Qi, G. and Ji, Q. Goal-Directed Module Extraction for Explaining OWL DL Entailments, accepted by the 8th International Semantic Web Conference (ISWC'09), to appear, 2009.(PDF)
  • Du, J., Qi, G. and Pan, J. A Decomposition-based Approach to Optimizing Conjunctive Query Answering in OWL DL, accepted by the 8th International Semantic Web Conference (ISWC'09), to appear, 2009.(PDF)
  • Zhou, L., Huang, H., Qi, G., Ma, Y., Huang, Z. and Qu, Y. Measuring Inconsistency Degrees of DL-Lite Ontologies, Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence (WI'09), to appear, 2009.(PDF)
  • Zhang, X., Qi, G., Ma, Y and Lin, Z. Quasi-Classical Semantics for Expressive Description Logics, Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, United Kindgom, July 27-30, 2009. CEUR Workshop Proceedings. Vol. 477.(PDF)
  • Ji, Q., Haase, P., Qi, G. Hitzler, P. and Stadtmüller, S. RaDON --- Repair and Diagnosis in Ontology Networks, in The 6th Annual European Semantic Web Conference (ESWC'09) (Demo), 863-867, Heraklion, Greece, 2009. (PDF)

2008

  • Qi, G. Haase, P., Huang, Z, Ji, Q., Pan, J.,Voelker, J. A Kernel Revision Operator for Terminologies, in the 7th International Semantic Web Conference (ISWC'08), 419-434, Karlsruhe, Germany, 2008. (PDF)
  • Qi, G. A Model-based Approach for Iterated Revision in Possibilistic Logic, in the 23th National Conference on Artificial Intelligence (AAAI'08), 523-528, 2008. (PDF)
  • Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P. A Modularization-based Approach to Finding All Justifications for OWL DL Entailments, in the 3rd Asian Semantic Web Conference (ASWC'08), 1-15, Springer Verlag, 2008. (Best paper running-up award). (PDF)
  • Qi, G. and Pan, J. Tableau Algorithm for Possibilistic Description Logic ALC, in the 3rd Asian Semantic Web Conference (ASWC'08), 61-75, Springer Verlag, 2008. (PDF)
  • Wang, Y. Haase, P. and Qi, G. A Segmentation-based Approach for Approximate Query over Distributed Ontologies, in the 3rd Asian Semantic Web Conference (ASWC'08), 464-478, Springer Verlag, 2008. (PDF)
  • Du, J., Qi, G., Shen, Y. Optimized Computation of Lexicographical Inference in Description Logics, in the Second International Conference on Web Reasoning and Rule Systems (RR'08), 58-73, Springer Verlag, Karlsruhe, 2008. (PDF)
  • Qi, G. and Pan, J. Tableau Algorithm for Possibilistic Description Logic ALC: First Results, in the Second International Conference on Web Reasoning and Rule Systems (RR'08), 238-239, poster, Springer Verlag, Karlsruhe, 2008. (PDF)
  • Qi, G. Yang, F. A Survey of Revision Approaches in Description Logics, in the Second International Conference on Web Reasoning and Rule Systems (RR'08), 74-88, Springer Verlag, Karlsruhe, 2008. (PDF)
  • Ji, Q., Haase, P., Qi, G. Combination of Similarity Measures in Ontology Matching by OWA Operator, in 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'08), 2008. (PDF)
  • Bienvenu, M, Herzig, A. and Qi, G. Prime Implicate-based Belief Revision Operators, in the 18th European Conference on Artificial Intelligence (ECAI'08), 741-742, poster, 2008. (PDF)
  • Ji, Q., Haase, P., Qi, G.: RaDON - Repair and Diagnosis in Ontology Networks, A demo system at the 18th European Conference on Artificial Intelligence (ECAI'08). (PDF)
  • Wu, Q., Huang, X., Bell, D., Qi, G., Luo, Z.: Incremental Knowledge Base for Uncertain Reasoning. In Proceedings of Fifth International Conference on Fuzzy Systems and Knowledge Discovery, IEEE Computer Society,187-192, 2008. (PDF)
  • Qi, G., Wang, Y., Haase, P. And Hitzler, P. A Forgetting-based Approach for Reasoning with Distributed Ontologies, in International Workshop on Ontologies: Reasoning and Modularity (WORM'08), collocated with ESWC'08. (PDF)

2007

  • Qi, G. and Hunter A. Measuring Incoherence in Description Logic-based Ontologies, Proceedings of 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference (ISWC/ASWC'07), 381-394, LNCS 4825, Springer, 2007. (PDF)
  • Bell, D., Qi, G., Liu, W. Approaches to inconsistency handling in description-logic based ontologies, Proceedings of 3rd International IFIP Workshop On Semantic Web & Web Semantics (SWWS'07), 1303-1311, LNCS 4806, Springer, 2007. (PDF)
  • Qi, G. A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic. In Proceedings of Twenty-Second Conference on Artificial Intelligence (AAAI'07), 471-476, AAAI Press, 2007. (PDF)
  • Qi, G., Pan, J. Z., Ji, Q. Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic. Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07), 828-839, LNCS 4724, Springer, 2007. (PDF)
  • Ma, Y.; Qi, G.; Hitzler, P. and Lin, Z. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07), 30-41, LNCS 4724, Springer, 2007. (PDF)
  • Ma, Y.; Qi, G.; Hitzler, P. and Lin, Z. An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07), 91-102, LNCS 4724, Springer, 2007. (PDF)
  • Wu, Q.X., Bell, D.A, Huang, X., Khokhar, R.H., Qi, G., and Luo, Z.H. Autonomous Robot Control using Evidential Reasoning.In Proceedings of The 3rd International Conference on Natural Computation (ICNC'07), IEEE Press, 2007. (PDF)
  • Ma, Y.; Qi, G.; Hitzler, P. and Lin, Z. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In Proceedings of 20th International Workshop on Description Logics (DL'07), Italy, June 2007. (PDF)
  • Qi, G.; Pan, Z.J. and Ji, Q. A Possibilistic Extension of Description Logics. In Proceedings of 20th International Workshop on Description Logics (DL'07), Italy, June 2007. (PDF)
  • Hasse, P. and Qi, G. An analysis of approaches to resolving inconsistencies in DL-based ontologies, In Proceedings of International Workshop on Ontology Dynamics (IWOD'07). June 2007. (PDF)
  • Qi, G. and Pan, Z. J. A Stratification-based Approach for Inconsistency Handling in Description Logics. In Proceedings of International Workshop on Ontology Dynamics (IWOD'07). June 2007.. (PDF)
  • Wang, Y.; Bao, J.; Haase, P. and Qi, G. Evaluating Formalisms for Modular Ontologies in Distributed Information Systems. In Massimo Marchiori and Jeff Z. Pan, Proceedings of The First International Conference on Web Reasoning and Rule Systems (RR'07), pp. 178-193. Springer, Innsbruck, Austria, June 2007. (PDF)

2006

  • Qi, G.; Liu, W. and Bell, D.A. Merging stratified knowledge bases under constraints. In Proceedings of 21th National Conference on Artificial Intelligence (AAAI'06), AAAI Press, 2006. (PDF)
  • Qi, G.; Liu, W. and Bell, D.A. Knowledge base revision in Description Logics, In Proceedings of 10th European Conference on Logics in Artificial Intelligence (JELIA'06), Springer Verlag, 2006. (PDF)
  • Qi, G.; Liu, W. and Bell, D.A. A revision-based approach to handling inconsistency in description logics. In Proceedings of 11th International workshop on Non-Monotonic Reasoning (NMR'06), 2006. (PDF)
  • Ji, Q.; Liu, W.; Qi, G. and Bell, D.A. LCS: A linguistic combination system for ontology mathing. KSEM'06, Springer Verlag, 2006. (PDF)
  • Wu, Q.; Bell, D.A.; Qi, G. and Cai, J. Knowledge Representation and Learning Mechanism Based on Networks of Spiking Neurons. In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, pp. 2796-2801. IEEE Press, October 2006. (PDF)
  • Wu, Q.; Bell, D.A.; McGinnity, T.M.; Prasad, G.; Qi, G. and Huang, X. Improvement of Decision Accuracy Using Discretization of Continuous Attributes. In Proceedings of 3rd International Conference on Fuzzy Systems and Knowledge Discovery (FSKD'06), pp. 674-683. Xi'an, China, September 24-28, 2006. (PDF)

2005

  • Qi, G., Liu, W. and Bell, D.A. Measuring conflict and agreement between prioritized knowledge bases. In Proceedings of International Joint Conference on Artificial Intelligence ( IJCAI'05), Morgan Kaufmann, 552-558, 2005. (PDF)
  • Qi, G., Liu, W. and Bell, D.A. A revision-baed approach to resolving conflicting information. In Proceedings of International Conference on Uncertainty in Artificial Intelligence (UAI'05), UAI Press, 477-484, 2005. (PDF)
  • Qi, G., Liu, W. and Bell, D.A. Combining multiple knowledge bases by negotiation: A possibilistic approach. In Proceedings of eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05), pp. 501-513. Springer Verlag, 2005. (PDF)
  • Qi, G., Liu, W. and Bell, D.A. Multiple Semi-revision in Possibilistic Logic. In Proceedings of eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05), pp. 465-476. Springer Verlag, 2005. (PDF)

2004

  • Qi, G.,Liu, W.and Glass, D. A split-combination method for merging inconsistent knowledge bases in the framework of possibilistic logic. In Proceedings of 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04). AAAI Press, Canada, 348-356, 2004. (PDF)
  • Qi, G.,Liu, W.and Glass, D. Combining individually inconsistent prioritized knowledge bases. In James P. Delgrande, Torsten Schaub, Proceedings of 10th International workshop on Non-Monotonic Reasoning (NMR'04), pp. 342-350. Whistler, Canada, 2004. (PDF)

2003

  • Qi, G. Probabilistic inference on three- valued logic. In Proc. of 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrc'03), LNCS 2639, 690-693, 2003.(PDF)

技术报告 [ top ]

  • Qi, G., Liu, W., Bell, D. A lexicographic-based approach to merging stratified knowledge bases, Institute AIFB, University of Karlsruhe, 2007 (PDF)
  • Qi, G., Hasse, P., Huang, Z. and Pan, J.. Resolving Inconsistency and Incoherence in Ontology Evolution, Institute AIFB, University of Karlsruhe, 2007. (PDF)
  • Haase, P., Pinto, S., and Qi, G. Exploiting Argumentation Structures as Context in Diagnosis and Repair, Institute AIFB, University of Karlsruhe, 2007 (14 pages) (PDF)

项目报告 [ top ]

  • Qi, G., Haase, P., and Ji, Q. D1.2.1 Consistency Models for Networked Ontologies. Technical Report, University of Karlsruhe. March 2007. (PDF)
  • Qi, G. and Haase, P. Context Representation Formalism. Technical Report, University of Karlsruhe. March 2007. (PDF)
  • Haase, P, Hitzler, P., Ji, Q., Qi, G. and Studer, R. Scalable Expressive Reasoning with KAON2. Technical Report , AIFB, University of Karlsruhe. KOReA Deliverable, February 2007. (PDF)
  • Haase, P, Hitzler, P., Ji, Q., Qi, G. and Studer, R. Scalable Reasoning for Information Access,Technical Report , AIFB, University of Karlsruhe. KOReA Deliverable, November 2006. (PDF)
  • Haase, P., Hitzler, P., Rudolph, S., Qi, G., Grobelnik, M., Mozetic, I, Bojadziev, D. Euzenat, J., d'Aquin, M., Gangemi, A., and Catenacci C. D3.1.1 Context Languages - State of the Art, Technical Report , University of Karlsruhe. August 2006. (PDF)

博士论文[ top ]

  • Qi, G. Fusion of Inconsistent and Uncertain Beliefs in Possibilistic Logic , Queen's University, Belfast, UK, December , 2006 (PDF)