Design of the Tableau Reasoner TGC2 for Description Logics
Nguyen, Linh AnhVolume:
26
Language:
english
Journal:
International Journal of Software Engineering and Knowledge Engineering
DOI:
10.1142/S0218194016500467
Date:
October, 2016
File:
PDF, 320 KB
english, 2016