Verifying Reasoner Correctness - A Justication Based Method

Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia

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

    Original languageEnglish
    Title of host publicationInformal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015.
    Number of pages7
    Publication statusPublished - 2015

    Cite this