Automated benchmarking of description logic reasoners

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

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

    Original languageEnglish
    Title of host publicationCEUR Workshop Proceedings|CEUR Workshop Proc.
    PublisherRWTH Aachen University
    Pages167-174
    Number of pages7
    Volume189
    Publication statusPublished - 2006
    Event2006 International Workshop on Description Logics, DL 2006 - Windermere, Lake District
    Duration: 1 Jul 2006 → …

    Conference

    Conference2006 International Workshop on Description Logics, DL 2006
    CityWindermere, Lake District
    Period1/07/06 → …

    Cite this