Reasoning in the Defeasible Description Logic -computing standard inferences under rational and relevant semantics
Keywords: اشتراک; Description logics; Defeasible reasoning; Subsumption; Instance checking;