{DL} {R}easoner vs. {F}irst-{O}rder {P}rover

Dmitry Tsarkov, Ian Horrocks

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proc. of the 2003 Description Logic Workshop (DL 2003)
Publisher	RWTH Aachen University
Pages	152-159
Number of pages	8
Volume	81
Publication status	Published - 2003

Cite this

@inproceedings{a11484961f81482a8ffd8e1391f41c30,

title = "{DL} {R}easoner vs. {F}irst-{O}rder {P}rover",

author = "Dmitry Tsarkov and Ian Horrocks",

year = "2003",

language = "English",

volume = "81",

pages = "152--159",

booktitle = "Proc. of the 2003 Description Logic Workshop (DL 2003)",

publisher = "RWTH Aachen University",

address = "Germany",

}