View of Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Return to Article Details Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Download Download PDF