Peter Patel-Schneider, and Sergio Tes- saris. A proposal for a description logic interface, Proc. Description logics workshop, Linkoping (SE), number CEUR-WS-22, 1999. ,
Extensible knowledge representation: the case of description reasoners, Journal of artificial intelligence research, vol.10, pp.399-434, 1999. ,
Extensible Markup Language (XML) 1.0. Recommendation, W3C, 1998. ,
Deduction in Concept Languages: from Subsumption to Instance Checking, Journal of Logic and Computation, vol.4, issue.4, pp.423-452, 1994. ,
DOI : 10.1093/logcom/4.4.423
OIL in a Nutshell, 12th International Conference on Knowledge Engineering and Knowledge Management EKAW 2000, 2000. ,
DOI : 10.1007/3-540-39967-4_1
Efficient representation and validation of proofs, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), pp.93-104, 1998. ,
DOI : 10.1109/LICS.1998.705646
XML Schema part 1: structures. Recommendation, W3C, 2001. ,