A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Kazakov, Y, Motik, B
Formáid: Journal article
Teanga:English
Foilsithe / Cruthaithe: 2008