Telecharger Cours

Is Tractable Reasoning in Extensions of the Description Logic SC ...

Unfortunately, as soon as terminologies (also called TBoxes or DL ontologies) were taken into consideration, tractability turned out to be unattainable in FL0:.



Download