scientific article; zbMATH DE number 1149436

MaRDI QIDQ4386959zbMATH OpenFDO

Authors A. Borgida, Peter F. Patel-Schneider

Publication date 10 May 1998

Full work available at URL https://arxiv.org/abs/cs/9406101

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Knowledge representation (68T30) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 1405450
• Practical reasoning for very expressive description logics
• An overview of tableau algorithms for description logics

Cited in

(16)

• Speeding up inferences using relevance reasoning: a formalism and algorithms
• The learnability of description logics with equality constraints
• Automated deduction techniques for classification in description logic systems
• EXPtime tableaux for ALC
• ``Reducing classic to practice: Knowledge representation theory meets reality
• Planning from second principles
• scientific article; zbMATH DE number 7234173 (Why is no real title available?)
• Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints
• scientific article; zbMATH DE number 140374 (Why is no real title available?)
• Exact learning of lightweight description logic ontologies
• scientific article; zbMATH DE number 870410 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)
• AI*IA 2003: Advances in Artificial Intelligence
• Unification of concept terms in description logics
• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
• Classic learning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386959)