Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic SHQ.

DOI10.3233/AIC-2010-0456MaRDI QIDQ3568231zbMATH OpenOpenAlexFDO

Authors Nasim Farsiniamarj, Volker Haarslev

Publication date 17 June 2010

Published in AI Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/aic-2010-0456

zbMATH Keywords

description logicsinteger linear programmingqualified number restrictions

Mathematics Subject Classification ID

Knowledge representation (68T30) Linear programming (90C05) Integer programming (90C10)

Recommendations

• Pushing the boundaries of reasoning about qualified cardinality restrictions
• Automated reasoning in \(\mathcal{ALCQ}\) via SMT
• An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ
• Cardinality Restrictions Within Description Logic Connection Calculi
• Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Cited in

(4)

• Pushing the boundaries of reasoning about qualified cardinality restrictions
• Automated reasoning in \(\mathcal{ALCQ}\) via SMT
• Cardinality Restrictions Within Description Logic Connection Calculi
• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)

Describes a project that uses

Uses Software

• Pellet

This page was built for publication: Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\).

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