Reasoning on the semantic web

Semantic Web Services: Theory, Tools and Applications

Volumn , Issue , 2007, Pages 110-133

  Brussee, Rogier ^a   Pokraev, Stanislav ^a  

^a TELEMATICA INSTITUUT   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 71049186857     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-59904-045-5.ch006     Document Type: Chapter

References (17)

1. Baader, F., & Sattler, U. (2001). An overview of tableau algorithms. Studia Logica, 69(1). Springer. Retrieved October 18, 2001, from http://www.cs.man.ac.uk/~franconi/dl/course/articles/baader-tableaux.ps.gz
2. Bechhofer, S. (2003). The DIG Description Logic Interface: DIG/1.1. In Proceedings of DL2003 Workshop, Rome, Italy. Retrieved October 18, 2006, from http://dl-Web.man.ac.uk/dig/2003/02/interface.pdf
3. Beckett, D. (2004). Turtle - Terse RDF triple language. Retrieved October 18, 2006, from http://www.dajobe.org/2004/01/turtle/
4. Berners Lee, T. (2000) Primer: Getting into RDF & Semantic Web using N3. Retrieved October 18, 2006, from http://www.w3.org/2000/10/swap/Primer
5. Calvanese, D., McGuinness, D., Nardi, D., & PatelSchneider, P. (2003). The description logic handbook: Theory, implementation and applications. Cambridge University Press. Retrieved October 18, 2006, from http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521781760
6. Dean, M., Schreiber, G., Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., & Stein, L.A. (2004). OWL Web Ontology Language Reference, W3C Recommendation 10 February 2004. Retrieved October 18, 2006, from http://www.w3.org/TR/owl-ref/
7. Franconi, E. (2002). Description logics tutorial course description. Retrieved October 18, 2006, from http://www.inf.unibz.it/~franconi/dl/course/
8. Haarslev, V. & Möller, R. (2004, June 2-4). Optimization techniques for retrieving resources described in OWL/RDF documents: First results. In Proceedings of the Ninth International Conference on Knowledge Representation and Reasoning, Whistler, Canada. Retrieved October 18, 2006, from http://www.cs.concordia.ca/~haarslev/publications/KR2004.pdf
9. Haarslev, V., Möller, R., & Wessel, M. (2005). On the scalability of description logic instance retrieval. Retrieved October 18, 2006, from http://www.sts.tu-harburg.de/~r.f.moeller/racer/HaMW05.pdf
10. Harmelen, F. (2002, March-April). The complexity of the Web ontology language. IEEE Intelligent Systems, 17. Retrieved October 18, 2006, from http://www.cs.vu.nl/~frankh/postscript/IEEE-IS02.pdf
11. Horridge, M., Knublauch, H., Rector, A., Stevens, R., & Wroe, C. (2004, August 27). A practical guide to building OWL ontologies using the Protégé-OWL Plugin and CO-ODE Tools Edition 1.0, Manchester University. Retrieved October 18, 2006, from http://www.co-ode.org/resources/tutorials/ProtegeOWLTutorial.pdf
12. Horrocks, I. (2003). Description Logic reasoning. Tutorial given in Innsbruck. Retrieved October 18, 2006, from http://www.cs.man.ac.uk/~horrocks/Slides/Innsbruck-tutorial/pt3-dlreasoning.pdf
13. Horrocks, I., & Patel-Schneider, P.F. (1999). Optimising Description Logic Subsumption. Journal of Logic and Computation, 9(3), 267-293. Retrieved October 18, 2006, from http://www.cs.man.ac.uk/~horrocks/Publications/download/1999/090267.pdf
14. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S. Grosof, B., & Dean, M. (2004). SWRL: A semantic Web Rule Language Combining OWL and RuleML. Submission to W3C. Retrieved October 18, 2006, from http://www.w3.org/Submission/SWRL/
15. Horrocks, I., Patel-Schneider, P.F., & Harmelen, F. (2003). From SHIQ and RDF to OWL: The making of a Web ontology language. Journal of Websemantics. Retrieved October 18, 2006, from http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/HoPH03a.pdf
16. Kiryakov, A., Ognyanov, D., & Manov, D. (2005, November). OWLIM-a Pragmatic Semantic Repository for OWL. Paper presented at the International Workshop on Scalable Semantic Web Knowledge Base Systems, New York. Retrieved October 18, 2006, from http://dip.semanticWeb.org/documents/Kiryakov-OWLIM-a-PragmaticSemantic-Repository-for-OWL.pdf
17. Mindswap. (2003). Pellet demo. Retrieved October 18, 2006, from http://www.mindswap.org/2003/pellet/demo.shtml