Consequence-Based Procedure for Description Logics with Self-Restriction

TitleConsequence-Based Procedure for Description Logics with Self-Restriction
Publication TypeConference Papers
Year of Publication2012
AuthorsWang, C, Hitzler, P
Conference NameSemantic Web and Web Science - 6th Chinese Semantic Web Symposium and 1st Chinese Web Science Conference, CSWS 2012, Shenzhen, China, November 28-30, 2012.
Pagination169–180
URLhttp://dx.doi.org/10.1007/978-1-4614-6880-6_15
DOI10.1007/978-1-4614-6880-6_15

Projects: 

TROn - Tractable Reasoning with Ontologies