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)

• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
• 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
• 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
• Extended Caching, Backjumping and Merging for Expressive Description Logics
• OWL reasoning: subsumption test hardness and modularity
• The OWL reasoner evaluation (ORE) 2015 competition report
• Enhancing probabilistic model checking with ontologies
• Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures

This page was built for software: Konclude