On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.评价结果

评估详情