DMCA

Hypertableau Reasoning for Description Logics (2007)

by Boris Motik , Rob Shearer , Ian Horrocks
Venue:JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Citations:128 - 24 self