Konclude: System description

@article{Steigmiller2014KoncludeSD,
  title={Konclude: System description},
  author={Andreas Steigmiller and Thorsten Liebig and Birte Glimm},
  journal={J. Web Semant.},
  year={2014},
  volume={27-28},
  pages={78-85}
}
  • Andreas Steigmiller, Thorsten Liebig, Birte Glimm
  • Published in J. Web Semant. 2014
  • Computer Science
  • This paper introduces Konclude, a high-performance reasoner for the Description Logic SROIQV. The supported ontology language is a superset of the logic underlying OWL 2 extended by nominal schemas, which allows for expressing arbitrary DL-safe rules. Konclude’s reasoning core is primarily based on the well-known tableau calculus for expressive Description Logics. In addition, Konclude also incorporates adaptations of more specialised procedures, such as consequence-based reasoning, in order to… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 97 CITATIONS

    Relational Constraint Solving in SMT

    VIEW 5 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment

    VIEW 9 EXCERPTS
    CITES RESULTS & BACKGROUND
    HIGHLY INFLUENCED

    From Horn-SRIQ to Datalog : A Data-Independent Transformation that Preserves

    • Assertion Entailment
    • 2018
    VIEW 9 EXCERPTS
    CITES RESULTS & BACKGROUND
    HIGHLY INFLUENCED

    OWL Reasoning: Subsumption Test Hardness and Modularity

    VIEW 9 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Completion Graph Caching for Expressive Description Logics

    VIEW 10 EXCERPTS
    CITES METHODS

    Extending Consequence-Based Reasoning to SHIQ

    VIEW 6 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2014
    2020

    CITATION STATISTICS

    • 18 Highly Influenced Citations

    • Averaged 15 Citations per year from 2017 through 2019

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 22 REFERENCES