Konclude

swMATH12474MaRDI QIDQ24402FDOQ24402

Author name not available (Why is that?)

Described by source

• Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures

Cited In (11)

• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Extended caching, backjumping and merging for expressive description logics
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• Reasoning with nominal schemas through absorption
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
• OWL reasoning: subsumption test hardness and modularity
• The OWL reasoner evaluation (ORE) 2015 competition report
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• Coupling tableau algorithms for expressive description logics with completion-based saturation procedures
• Enhancing probabilistic model checking with ontologies

This page was built for software: Konclude