Consequence-Based Procedure for Description Logics with Self-Restriction


We present a consequence based classification procedure for the description logics with self restriction constructor. Due to the difficulty of constructing a concept inclusion model for self restriction, we use a different proof by showing that all the completion rules can simulate all the corresponding ordered resolution inferences.

DOI: 10.1007/978-1-4614-6880-6_15

Extracted Key Phrases

5 Figures and Tables

Cite this paper

@inproceedings{Wang2012ConsequenceBasedPF, title={Consequence-Based Procedure for Description Logics with Self-Restriction}, author={Cong Wang and Pascal Hitzler}, booktitle={CSWS}, year={2012} }