Automated Deduction Techniques for Classification in Description Logic Systems

Authors
M.Paramasivam,D.A.Plaisted
Citation
M.paramasivam,d.a.plaisted, Automated Deduction Techniques for Classification in Description Logic Systems, Journal of automated reasoning , 20(3), 1998, pp. 337-364
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
3
Year of publication
1998
Pages
337 - 364
Database
ACNP
SICI code