Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals

IJCAI, pp. 1970-1976, 2018.

Cited by: 9|Bibtex|Views18|DOI:https://doi.org/10.24963/ijcai.2018/272
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|arxiv.org

Abstract:

We present a consequence-based calculus for concept subsumption and classification in the description logic ALCHOIQ, which extends ALC with role hierarchies, inverse roles, number restrictions, and nominals. By using standard transformations, our calculus extends to SROIQ, which covers all of OWL 2 DL except for datatypes. A key feature o...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments