Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions [PhD Thesis]
Yu Dingవర్గాలు:
సంవత్సరం:
2008
ప్రచురణకర్త:
Concordia University
భాష:
english
పేజీల సంఖ్య:
172
ఫైల్:
PDF, 1.56 MB
IPFS:
,
english, 2008