Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Research Trends in Ontology Reasoning

온톨로지 추론 기술 동향

  • Published : 2006.12.26
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. Grigoris, A., Frank van Harmelen, A Semantic Web Primer, The MIT Press, 2004
  2. Baader F., et al, The Description Logic Handbook, Cambridge, 2003
  3. 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/
  4. Ian Horrocks, Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997
  5. KAON2, http://kaon2.semanticweb.org/
  6. Genesereth, M., and Nilsson, N. Logical Foundations of Artificial Intelligence, Morgan Kaufman Publishers, 1987
  7. Protege Homepage, http://protege.stanford.edu/
  8. RacerPro Homepage, http://www.racer-systems.com/
  9. http://dig.sourceforge.net/
  10. Steffen Staab and Rudi Studer (Eds.): Handbook on Ontologies: International Handbooks on Information Systems, Springer, 2004
  11. http://www.w3.org/TR/daml+oil-axioms
  12. Jing Mei, Elena Paslaru Bontas, Zuoquan Lin, "OWL2Jess: A Transformational Implementation of the OWL Semantics. Proc. of ISPA 2005, LNCS 3759: 599-608, 2005
  13. 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
  14. V. Haarslev and R. Moller. "Description of the RACER system and its applications," In DL2001 Workshop on Description Logics, Stanford, CA, 2001
  15. K. Wilkinson, C. Sayers, H. Kuno, D. Reynolds, "Efficient RDF Storage and Retrieval in Jena2," Proceedings of SWDB'03
  16. RDQL - A Query Language for RDF, http:// www.w3.org/Submission/2004/SUBM-RD QL-20040109/
  17. Minsu Jang, Joo-chan Sohn, "Bossam: an extended rule engine for the web," Proceedings of RuleML 2004 (LNCS Vol. 3323), 2004
  18. 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
  19. OWLJessKB: A Semantic Web Reasoning Tool, http://edge.cs.drexel.edu/assemblies/ software/owljesskb/