Xuefeng Fu

Learn More
Model-based approaches provide a semantically well justified way to revise ontologies. However, in general , model-based revision operators are limited due to lack of efficient algorithms and inexpressibility of the revision results. In this paper, we make both theoretical and practical contribution to efficient computation of model-based revisions in(More)
Magnetic resonance imaging (MRI) compatible neural electrodes are important for combining high-resolution electrophysiological measurements with more global MRI mapping of brain activity, which is critical for fundamental neuroscience studies, as well as clinical evaluation and monitoring. Copper is a favorable material to use in MRI because it has magnetic(More)
Resolving incoherent terminologies is an important task in the maintenance of evolving OWL 2 DL ontologies. Existing approaches to this task are either semi-automatic or based on simple deletion of axioms. There is a need of fine-grained approaches to automatize this task. Since a fine-grained approach should consider multiple choices for modifying an axiom(More)
  • 1