Controlled natural language as interface language to the semantic web

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, IICAI 2005

Volumn , Issue , 2005, Pages 1699-1718

  Schwitter, Rolf ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AS INTERFACES; CONTROLLED NATURAL LANGUAGE; INTERFACE LANGUAGES; RULE SET; WRITING TOOLS;

FORMAL LANGUAGES; TERMINOLOGY;

ARTIFICIAL INTELLIGENCE;

EID: 38349020074     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. S. Abdennadher, F. Brv, N. Eisinger, T. Geisler. 1995. The Theorem Prover Satchmo: Strategies, Heuristics, and Applications (System Description). Research Report PMS-FB-1995-3, May, Institut for Informatics, Ludwig Maximilians Univer-sity, Munich, Germany.
2. T. Berners-Lee, J. Hendler, Ora Lassila. 2001. The Semantic Web. In: Scientific American. May 17.
3. D. Brickley, R. V. Guha. 2004. RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation, 10 February 2004.
4. F. Brv and A. Yahya. 2000. Minimal Model Generation with Positive Unit Hyper- Resolution tableaux. Journal of Automated Reasoning, Vol. 25, Issue 1, July, 35-82.
5. J. de Bruijn, A. Polleres, D. Fensel. 2004. WSML Deliverable, D20 vO.l, OWL Lite". WSML Working Draft, July 18.
6. H. Garcia-Molina, J. D. Ullman, J. D. Widom. 2002. Database Systems: The Complete Book. Prentice Hall.
7. B. N. Grosof, I. Horrocks, R. Volz, S. Decker. 2003. Description logic programs: Combining logic programs with description logic. In: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), pp. 48-57.
8. A. Harth, S. Decker. 2004. D20v02.2 OWL Lite" Reasoning with Rules. WSML Working Draft, November 23.
9. I. Horrocks, P. F. Patel-Schneider. 2003. Three theses of representation in the semantic web. In: Proceedings of the Twelfth International World Wide Web Con-ference (WWW 2003), pp. 39-47.
10. W. O. Huijsen. 1998. Controlled Language - An Introduction. In: Proceedings of CLAW 1998. Pittsburgh, pp. 1-15.
11. F. Manola, E. Miller. 2004. RDF Primer. W3C Recommendation, 10 February 2004.
12. R. Manthev and F. Bry. 1988. Satchmo: a theorem prover implemented in prolog. In E, Lusk and R. Overbeek, (eds.), Proceedings of CADE-88, Vol. 310 of LNCS, Springer-Verlag, 415-434.
13. F. C. N. Pereira, S. M. Shieber 1987. Prolog and Natural-Language Analysis. CSLI Lecture Notes, Number 10, Chicago University Press, Stanford.
14. M. K. Smith, C. Welty, D. L. Mc Guinness. 2004. OWL Web Ontology Language. Guide. W3C Recommendation, 10 February 2004.
15. R. Schwitter, M. Tilbrook. 2004. Controlled Natural Language meets the Semantic Web. In: A. Asudeh, C. Paris, S. Wan (eds.). Proceedings of the Australasian Language Technology Workshop 2004, Macquarie University, 8th December 2004, pp. 55-62.
16. R. Volz. 2004. Web Ontology Reasoning with Logic Databases. PhD thesis, AIFB, Karlsruhe.