References
- Genesereth, M., Nilsson, N. Logical Foundations of Artificial Intelligence, Morgan-Kaufman, 1987
- Grigoris, A., Frank van Harmelen, A Semantic Web Primer, The MIT Press, 2004
- Baader F., et al, The Description Logic Handbook, Cambridge, 2003
- Benjamin Grosof, Ian Horrocks, Raphael Volz, Stefan Decker, "Description Logic Programs: Combining Logic Programs with Description Logic," In Prof. of WWW2003, Budapest, Hungary, May, 2003, pp.48-57
- Michael K. Smith, Chris Welty, Deborah L. McGuinness, "OWL Web Ontology Guide," http://www.w3.org/TR/owl-guide/
- Ian Horrocks, Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997
- Steffen Staab, Rudi Studer (Eds.): Handbook on Ontologies: International Handbooks on Information Systems, Springer 2004
- Protege Homepage, http://protege.stanford.edu/
- RacerPro Homepage, http://www.racer-systems.com/
- RuleML Homepage, http://www.ruleml.org/
- Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, Mike Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," http://www.w3.org/Submission/SWRL/