Natural language directed inference from ontologies

Artificial Intelligence

Volumn 172, Issue 10, 2008, Pages 1285-1315

  Mellish, Chris ^a   Pan, Jeff Z ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Content determination; Natural language generation; Non standard reasoning; Ontologies

Indexed keywords

FORMAL LOGIC; ONTOLOGY; OPTIMIZATION; PROBLEM SOLVING;

CONTENT DETERMINATION; NATURAL LANGUAGE DIRECTED INFERENCE (NLDI); NON-STANDARD REASONING;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 42649099277     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2008.01.003     Document Type: Article

References (48)

1. Allen J. Natural Language Understanding (1995), Benjamin Cummings
2. Baader F., Küsters R., Borgida A., and McGuinness D. Matching in description logics. Journal of Logic and Computation 9 3 (1999) 411-447
3. F. Baader, R. Küsters, R. Molitor, Rewriting concepts using terminologies-revisited, Tech. Rep. 00-04, Aachen University of Technology, Research Group for Theoretical Computer Science, Aachen, 2000
4. Baader F., Sertkaya B., and Turhan A.-Y. Computing the least common subsumer w.r.t. a background terminology. Journal of Applied Logic (2007)
5. Blackburn P., Bos J., Kohlhase M., and de Nivelle H. Inference and computational semantics. In: Bunt, Muskens, and Thijsse (Eds). Computing Meaning, vol. 2 (2001), Kluwer 11-28
6. S. Brandt, R. Küsters, A. Turhan, Approximation and difference in description logics, in: Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'2002), 2002, pp. 203-214
7. Bruner J., Goodnow J., and Austin G. A Study of Thinking (1956), John Wiley
8. Bundy A., and Welham B. Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation. Artificial Intelligence 16 2 (1981) 111-224
9. T. Catarci, P. Dongilli, T.D. Mascio, E. Franconi, G. Santucci, S. Tessaris, An ontology based visual tool for query formulation support, in: Proc. of the 16th European Conference on Artificial Intelligence, ECAI 2004, Valencia, Spain, 2004
10. Dale R., and Reiter E. Computational interpretations of the Gricean maxims in the generation of referring expressions. Cognitive Science 18 (1995) 233-263
11. Davies J., Duke A., Mladenic̀ D., Bontcheva K., Grčar M., Benjamins R., Contreras J., Civico M.B., and Glover T. Next generation knowledge access. Journal of Knowledge Management 9 5 (2005) 64-84
12. Džeroski S., and Lavrač N. Refinement graphs for FOIL and LINUS. In: Muggleton S. (Ed). Inductive Logic Programming (1992), Academic Press
13. Gaasterland T., Godfrey P., and Minker J. An overview of cooperative answering. Intelligent Information Systems 1 2 (1992) 123-157
14. C. Gardent, E. Jacquey, Lexicalisation as a description logic inference task, in: Proc. of ICOS'03 (Inference in Computational Semantics), Nancy, France, 2003
15. T. Gardiner, I. Horrocks, D. Tsarkov, Automatic benchmarking of description logic reasoners, in: Proceedings of the 2006 International Workshop on Description Logics (DL06), Windermere, UK, 2006
16. Gazdar G. Pragmatics: Implicature, Presupposition, and Logical Form (1979), Academic Press
17. Grice H.P. Logic and conversation. In: Cole P., and Morgan J. (Eds). Syntax and Semantics: vol. 3, Speech Acts (1975), Academic Press
18. Gruber T.R. Towards principles for the design of ontologies used for knowledge sharing. In: Guarino N., and Poli R. (Eds). Formal Ontology in Conceptual Analysis and Knowledge Representation (1993), Kluwer Academic Publishers, Deventer, The Netherlands
19. Haarslev V., and Möller R. RACER system description. In: Goré R., Leitsch A., and Nipkow T. (Eds). Proc. of the International Joint Conference on Automated Reasoning (IJCAR'2001) (2001), Springer Verlag
20. L. Horn, On the semantic properties of logical operators in English, Ph.D. thesis, University of California, LA, 1972
21. I. Horrocks, Using an expressive description logic: Fact or fiction? in: Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998, pp. 636-647
22. Hovy E. Pragmatics and natural language generation. Artificial Intelligence 43 (1990) 153-197
23. Z. Huang, C. Visser, An extended DIG description logic interface for prolog, Tech. rep. SEKT/2004/D3.4.1.2/v1.0, Department of Artificial Intelligence, Vrije Universiteit Amsterdam, 2004
24. A. Kalyanpur, C. Halaschek-Wiener, V. Kolovski, J. Hendler, Effective NL paraphrasing of ontologies on the semantic web, Tech. rep., Department of Computer Science, University of Maryland, 2005
25. H. Knublauch, R.W. Fergerson, N.F. Noy, M.A. Musen, The Protégé OWL plugin: An open development environment for semantic web applications, in: Proc. of the Third International Semantic Web Conference, Hiroshima, Japan, 2004
26. D. McGuinness, A. Borgida, Explaining subsumption in description logics, in: Proc. of the 14th International Joint Conference on Artificial Intelligence. Montreal, 1995, pp. 816-821
27. McGuinness D.L., and van Harmelen F. Owl web ontology language overview (2004). http://www.w3.org/TR/owl-features/
28. McKeown K.R. Text Generation: Using Discourse Strategies and Focus Constraints to Generate Natural Language Text (1985), Cambridge University Press, Cambridge
29. Mellish C., O'Donnell M., Oberlander J., and Knott A. An architecture for opportunistic text generation. Proc. of the Ninth International Workshop on Natural Language Generation (1998), Association for Computational Linguistics 28-37
30. Mellish C., Scott D., Cahill L., Paiva D., Evans R., and Reape M. A reference architecture for generation systems. Natural Language Engineering 12 1 (2006) 1-34
31. C. Mellish, X. Sun, Natural language directed inference in the presentation of ontologies, in: Proc. of the 10th European Workshop on Natural Language Generation, Aberdeen, 2005, pp. 118-124
32. Meteer M. Expressibility and the Problem of Efficient Text Planning (1992), Pinter publishers, London
33. Miller G., and Isard S.D. Free recall of self-embedded English sentences. Information and Control 7 (1964) 292-303
34. Moore J. Participating in Explanatory Dialogues (1994), MIT Press
35. O'Donnell M., Knott A., Mellish C., and Oberlander J. ILEX: The architecture of a dynamic hypertext generation system. Natural Language Engineering 7 (2001) 225-250
36. J.Z. Pan, C. Mellish, Supporting semi-automatic semantic annotation of multimedia resources, in: Proc. of the 3rd IFIP Conference on Artificial Intelligence Applications and Innovations, Athens, 2006, pp. 609-617
37. Pulman S.G. Grammars, parsers and memory limitations. Language and Cognitive Processes 1 3 (1986) 197-225
38. Reiter E. A new model of lexical choice for nouns. Computational Intelligence 7 (1990) 240-251
39. Reiter E., and Dale R. Building Natural Language Generation Systems (2000), Cambridge University Press, Cambridge
40. Shadbolt N., Hall W., and Berners-Lee T. The semantic web revisited. IEEE Intelligent Systems 21 3 (2006) 96-101
41. Shaw J. Conciseness through aggregation in text generation. Proc. of the 33rd Annual Meeting of the Association for Computational Linguistics (1995), MIT
42. Shieber S. The problem of logical-form equivalence. Computational Linguistics 19 1 (1993) 179-190
43. S. Sripada, E. Reiter, J. Hunter, J. Yu, Generating English summaries of time series data using the Gricean maxims, in: Proc. of the Ninth ACM SIGMOD International Conference on Knowledge Discovery and Data Mining (KDD-2003), 2003, pp. 187-196
44. Tsarkov D., Riazanov A., Bechhofer S., and Horrocks I. Using Vampire to reason with OWL. In: McIlraith S.A., Plexousakis D., and van Harmelen F. (Eds). Proc. of the 2004 International Semantic Web Conference (ISWC 2004). LNCS vol. 3298 (2004), Springer 471-485
45. M. Uschold, M. Gruninger, Ontologies: Principles, Methods and Applications, The Knowledge Engineering Review, 1996
46. Wason P. The contexts of plausible denial. Journal of Verbal Learning and Verbal Behaviour 4 (1965) 7-11
47. G. Wilcock, Talking owls: Towards an ontology verbalizer, in: Human Language Technology for the Semantic Web and Web Services, ISWC-2003, Sanibel Island, Florida, 2003, pp. 109-112
48. Young R.M. Using Grice's maxim of quantity to select the content of plan descriptions. Artificial Intelligence 115 (1999) 215-256