참고문헌
- Grigoris, A., Frank van Harmelen, A Semantic Web Primer, The MIT Press, 2004
- Baader F., et al, The Description Logic Handbook, Cambridge, 2003
- Ian Horrocks, Peter F. Patel-Schneider, Harold Boloy, Said Tabet, Benjamin Grosof, Mike Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," W3C, 2004. http://www.w3.org/Submission/SWRL/
- Ian Horrocks, Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997
- KAON2, http://kaon2.semanticweb.org/
- Genesereth, M., and Nilsson, N. Logical Foundations of Artificial Intelligence, Morgan Kaufman Publishers, 1987
- Protege Homepage, http://protege.stanford.edu/
- RacerPro Homepage, http://www.racer-systems.com/
- http://dig.sourceforge.net/
- Steffen Staab and Rudi Studer (Eds.): Handbook on Ontologies: International Handbooks on Information Systems, Springer, 2004
- http://www.w3.org/TR/daml+oil-axioms
- Jing Mei, Elena Paslaru Bontas, Zuoquan Lin, "OWL2Jess: A Transformational Implementation of the OWL Semantics. Proc. of ISPA 2005, LNCS 3759: 599-608, 2005
- E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. "Pellet: a practical OWL-DL reasoner." Submitted for publication to Journal of Web Semantics, 2006
- V. Haarslev and R. Moller. "Description of the RACER system and its applications," In DL2001 Workshop on Description Logics, Stanford, CA, 2001
- K. Wilkinson, C. Sayers, H. Kuno, D. Reynolds, "Efficient RDF Storage and Retrieval in Jena2," Proceedings of SWDB'03
- RDQL - A Query Language for RDF, http:// www.w3.org/Submission/2004/SUBM-RD QL-20040109/
- Minsu Jang, Joo-chan Sohn, "Bossam: an extended rule engine for the web," Proceedings of RuleML 2004 (LNCS Vol. 3323), 2004
- Fikes, Richard, Jessica Jenkins, and Gleb Frank. "JTP: A System Architecture and Component Library for Hybrid Reasoning." Proceedings of the Seventh World Multiconference on Systemics, Cybernetics, and Informatics. 2003
- OWLJessKB: A Semantic Web Reasoning Tool, http://edge.cs.drexel.edu/assemblies/ software/owljesskb/