1. Patel-Schneider Peter, F., Ian, H.: OWL Web Ontology Language Semantics and Abstract Syntax. In: W3C Recommendation, February 10 (2004)
2. Franz, B., Ian, H., Sattler, U.: Description logic as ontology languages for the semantic web. In: Proceedings of the Workshop on Methods for Modalities 2001 (2001)
3. Ian, H., Patel-Schneider Peter, F.: Reducing owl entailment to description logic satisfiability. J. Web Sem. 1(4), 345–357 (2004)
4. Benferhat, S., El Baida, R., Cuppens, F.: A stratification-based approach for handling conflicts in access control. In: Symposium on Access Control Models and Technologies (SACMAT 2003), June 2-3 (2003)
5. Zuoquan, L., Wei, L.: Para-consistent logic(I)— the study of traditional para-consistent logic. Computer Science 21(5) (1994)