]> 2012-05-29T10:05:21-04:00 Guilin Qi Guilin Guilin Qi Qi Measuring Incoherence in Description Logic-Based Ontologies Merging Stratified Knowledge Bases under Constraints A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic Approaches to Inconsistency Handling in Description-Logic Based Ontologies Measuring conflict and agreement between two prioritized belief bases A Kernel Revision Operator for Terminologies - Algorithms and Evaluation A Tableau Algorithm for Possibilistic Description Logic A Kernel Revision Operator for Terminologies A Possibilistic Extension of Description Logics Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments A Segmentation-Based Approach for Approximate Query over Distributed Ontologies Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics A Survey of Revision Approaches in Description Logics A Semantic Approach for Iterated Revision in Possibilistic Logic Prime Implicate-based Belief Revision Operators Incremental Knowledge Base for Uncertain Reasoning Lexicographical Inference over Inconsistent DL-Based Ontologies Autonomous Robot Control Using Evidential Reasoning Combining multiple prioritized knowledge bases by negotiation Improvement of Decision Accuracy Using Discretization of Continuous Attributes Knowledge Base Revision in Description Logics LCS: A Linguistic Combination System for Ontology Matching Quota-Based Merging Operators for Stratified Knowledge Bases A split-combination approach to merging knowledge bases in possibilistic logic A revision-based approach to handling inconsistency in description logics Adaptive Merging of Prioritized Knowledge Bases Multiple Semi-revision in Possibilistic Logic Combining Multiple Knowledge Bases by Negotiation: A Possibilistic Approach A Revision-Based Approach to Resolving Conflicting Information Incidence Calculus on Lukasiewicz's Three-valued Logic Rough operations on Boolean algebras A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases Combining individually inconsistent prioritized knowledge bases Probabilistic Inference on Three-Valued Logic Evaluating Formalisms for Modular Ontologies in Distributed Information Systems Jie Bao Foaf:knows Has author Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person