Extending Carin to the Description Logics of the \mathcal{SH} Family

DOI10.1007/978-3-540-87803-2_27MaRDI QIDQ3532476zbMATH OpenOpenAlexFDO

Authors Magdalena Ortiz

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_27

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Combining Horn rules and description logics in CARIN
• Data complexity of query answering in expressive description logics via tableaux
• Reasoning in description logics by a reduction to disjunctive datalog
• An overview of tableau algorithms for description logics
• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)

Cited in

(2)

• Combining Horn rules and description logics in CARIN
• Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆

This page was built for publication: Extending Carin to the Description Logics of the $\mathcal{SH}$ Family

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