Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬

DOI10.3233/AIC-2010-0456zbMath1205.68404OpenAlexW1923876550MaRDI QIDQ3568231

Volker Haarslev, Nasim Farsiniamarj

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

integer linear programmingdescription logicsqualified number restrictions

Mathematics Subject Classification ID

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

Related Items (2)

Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) ⋮ Automated Reasoning in $\mathcal{ALCQ}$ via SMT

Uses Software

• Pellet

This page was built for publication: Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬