Document Type
Conference Proceeding
Publication Date
2013
Abstract
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.
Repository Citation
Wang, C.,
& Hitzler, P.
(2013). Consequence Based Procedure for Description Logics with Self Restriction. Semantic Web and Web Science, 169-180.
https://corescholar.libraries.wright.edu/cse/180
Comments
Attached is the unpublished, peer-reviewed version of the proceeding. The final publication is available at Springer via http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-1-4614-6879-0.
Presented at the Sixth Chinese Semantic Web Symposium and the First Chinese Web of Science Conference, Shenzhen, China, November 2012.