Performance of DLP on Random Modal Formulae

Has publishing details , 1999

Has title Performance of DLP on Random Modal Formulae

Has url http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog1999.html#HorrocksP99

Has where published Description Logics

Has year 1999

Has author Ian Horrocks +, Peter F. Patel-Schneider +

Has identifier Performance of DLP on Random Modal Formulae +

Categories Proceeding Paper +