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

From MaRDI portal

(Redirected from Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Consequence-Based_Reasoning_for_Description_Logics_with_Disjunctions_and_Number_Restrictions&oldid=90031931"