human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Measuring Inconsistencies in Ontologies"):
  Abstract: In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure can be used to identify which axioms in an input ontology or which parts of these axioms need to be removed or modified in order to make the input consistent. We also propose optimization techniques to improve the efficiency of computing Shapley values. The proposed approach is independent of a particular ontology language or a particular reasoning system used. Application of this approach can improve the quality of ontology diagnosis and repair in general.

Includes members:
  Member "Computing shapley values, manipulating value division schemes, and checking core membership in multi-issue domains":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "A linear approximation method for the Shapley value")
  Member "Measuring Inconsistency in DL-Lite Ontologies":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers")

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science