Applications and Extensions of PTIME Description Logics with Functional Constraints

Open in new window