A Multi-reasoner, Justification-Based Approach to Reasoner Correctness

Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler

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

    Original languageEnglish
    Title of host publicationThe Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II
    Pages393-408
    Number of pages16
    Volume9367
    DOIs
    Publication statusPublished - 2015
    EventISWC 2015: The 14th International Semantic Web Conference - Bethlehem, Pennsylvania
    Duration: 11 Oct 201515 Oct 2015

    Conference

    ConferenceISWC 2015: The 14th International Semantic Web Conference
    CityBethlehem, Pennsylvania
    Period11/10/1515/10/15

    Keywords

    • OWL
    • reasoning
    • debugging
    • justifications

    Cite this