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

Dmitry Tsarkov, Ian Horrocks

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationProc. of the 2003 Description Logic Workshop (DL 2003)
    PublisherRWTH Aachen University
    Pages152-159
    Number of pages8
    Volume81
    Publication statusPublished - 2003

    Cite this