An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ

Golińska-Pilarek, Joanna; Nguyen, Linh Anh Nguye

doi:10.3233/FI-2014-1133

Wystąp o dostęp do wybranego pliku

Wpisz następujące informacje, aby wystąpić o dostęp do tej pozycji: An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ

Wystąpienie o dostęp do następujących plików: Golińska_Pilarek_An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ.pdf

Powrót