Integrating the Two Main Inference Modes of NKRL, Transformations and Hypotheses

  • Gian Piero Zarri
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3730)


An application of NKRL (Narrative Knowledge Representation Language) techniques on terrorism documents supplied by the Greek Ministry of Defence (MoD) has been carried out in the context of the IST Parmenides project; this application has required implementing the integration between the two main inferencing modes of NKRL, ‘hypotheses’ and ‘transformations’. ‘Hypothesis rules’ allow retrieving automatically from an NKRL knowledge base the information that can supply a context or a causal explanation for some known event. ‘Transformation rules’ facilitate the recovery of information from the base by ‘adapting’ (transforming) query/queries that failed to the real contents of this base. Integrating the two classes of rules means using the transformations to automatically modify the pre-defined reasoning steps of a hypothesis to build up more flexible and complete ’explanation’ scenarios.


Transformation Rule Search Pattern Condition Schema Armed Group Conceptual Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Popp, R., Armour, T., Senator, T., Numrych, K.: Countering Terrorism Through Information Technology. Communications of the ACM 47(3), 36–43 (2004)CrossRefGoogle Scholar
  2. 2.
    Zarri, G.P.: NKRL, a Knowledge Representation Tool for Encoding the ‘Meaning’ of Complex Narrative Texts. Natural Language Engineering – Special Issue on Knowledge Representation for Natural Language Processing in Implemented System 3, 231–253 (1997)Google Scholar
  3. 3.
    Zarri, G.P.: Representation of Temporal Knowledge in Events: The Formalism, and Its Potential for Legal Narratives. Information & Communications Technology Law – Special Issue on Models of Time, Action, and Situations 7, 213–241 (1998)Google Scholar
  4. 4.
    Zarri, G.P.: A Conceptual Model for Representing Narratives. In: Innovations in Knowledge Engineering, Advanced Knowledge International, Adelaide (2003)Google Scholar
  5. 5.
    Rinaldi, F., Dowdall, J., Hess, M., Ellman, J., Zarri, G.P., Persidis, A., Bernard, L., Karanikas, H.: Multilayer Annotations in PARMENIDES. In: Proceedings of the K-CAP (International Conference on Knowledge Capture) 2003 Workshop on Knowledge Markup and Semantic Annotation (Sanibel Island, Sanibel Island, Florida, USA, October 25-26 (2003)Google Scholar
  6. 6.
    Noy, F.N., Fergerson, R.W., Musen, M.A.: The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 17–32. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A. (eds.): OWL Web Ontology Language Reference – W3C Recommendation 10, W3C (2004) (February 2004),
  8. 8.
    Horridge, M.: A Practical Guide to Building OWL Ontologies with the Protégé-OWL Plugin (Edition 1.0). The University of Manchester, Manchester (2004)Google Scholar
  9. 9.
    Zarri, G.P.: NKRL Manual, Part II – The HClass and HTemp Hierarchies (Parmenides IST Report). University of Paris IV/Sorbonne, Paris (2003)Google Scholar
  10. 10.
    Zarri, G.P., Bernard, L.: NKRL Manual, Part III – The NKRL Software (Parmenides IST Report). University of Paris IV/Sorbonne, Paris (2004)Google Scholar
  11. 11.
    Zarri, G.P.: Automatic Representation of the Semantic Relationships Corresponding to a French Surface Expression. In: Proceedings of the First International Conference on Applied Natural Language Processing, East Stroudsburg (PA). Association for Computational Linguistics, ACL (1983)Google Scholar
  12. 12.
    Zarri, G.P.: Semantic Modeling of the Content of (Normative) Natural Language Documents. In: Actes des douzièmes journées internationales d’Avignon ‘Les systèmes experts et leurs applications’ - Conférence spécialisée sur le traitement du langage naturel. EC2, Nanterre (1992)Google Scholar
  13. 13.
    Black, W.J., Jowett, S., Mavroudakis, T., McNaught, J., Theodoulidis, B., Vasilakopoulos, A., Zarri, G.P., Zervanou, K.: Ontology-Enablement of a System for Semantic Annotation of Digital Documents. In: Proceedings of the 4th International Workshop on Knowledge Markup and Semantic Annotation (SemAnnot 2004) – 3rd International Semantic Web Conference, Hiroshima, Japan, November 8 (2004)Google Scholar
  14. 14.
    Fikes, R., Hayes, P., Horrocks, I.: OWL-QL – A Language for Deductive Query Answering on the Semantic Web. In: Web Semantics: Science, Services and Agents on the World Wide Web, vol. 2, pp. 19–29 (2004)Google Scholar
  15. 15.
    Bertino, E., Ferrari, E., Perego, A., Zarri, G.P.: An Integrated Approach to Rating and Filtering Web Content. In: Ali, M., Esposito, F. (eds.) IEA/AIE 2005. LNCS (LNAI), vol. 3533, pp. 749–751. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  16. 16.
    Clocksin, W.F., Mellish, C.S.: Programming in PROLOG. Springer, Heidelberg (1981)zbMATHGoogle Scholar
  17. 17.
    Zarri, G.P., Bernard, L.: Using NKRL Inference Techniques To Deal With MoD ‘Terrorism’ Information(Parmenides IST Report). University of Paris IV/Sorbonne, Paris (2004)Google Scholar
  18. 18.
    Koster, C.H.A.: Head/Modifier Frames for Information Retrieval. In: Gelbukh, A. (ed.) CICLing 2004. LNCS, vol. 2945, pp. 420–432. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  19. 19.
    Clark, K.L., Tärnlund, S.-A. (eds.): Logic Programming. Academic Press, London (1982)Google Scholar
  20. 20.
    Noy, N., Rector, A. (eds.): Defining N-ary Relations on the Semantic Web–W3C Working Draft 24 May 2005. W3C (2005),
  21. 21.
    Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In: Proceedings of SWWS 2001, The First Semantic Web Working Symposium. Stanford University, Stanford (2001)Google Scholar
  22. 22.
    Sintek, M., Decker, S.: TRIPLE – A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 364. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  23. 23.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: In: SWRL: A Semantic Web Rule Language Combining OWL and RuleML – W3C Member Submission, W3C (May 21, 2004),
  24. 24.
    Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation. In: Web Semantics: Science, Services and Agents on the World Wide Web, vol. 3, pp. 23–40 (2005)Google Scholar
  25. 25.
    Rosati, R.: On the Decidability and Complexity of Integrating Ontologies and Rules. In: Web Semantics: Science, Services and Agents on the World Wide Web, vol. 3, pp. 61–73 (2005)Google Scholar
  26. 26.
    Haarslev, V., Möller, R.: Racer: A Core Inference Engine for the Semantic Web. In: Proceedings of the 2nd International Workshop on Evaluation of Ontology Tools (EON 2003), Sanibel Island, Florida, USA (October 20, 2003)Google Scholar
  27. 27.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. University Press, Cambridge (2003)zbMATHGoogle Scholar
  28. 28.
    McGuinness, D.L., Fikes, R., Hendler, J., Stein, L.A.: DAML+OIL: An Ontology Language for the Semantic Web. IEEE Intelligent Systems 17(5), 72–80 (2002)CrossRefGoogle Scholar
  29. 29.
    Hatala, M., Wakkary, R., Kalantari, L.: Rules and Ontologies in Support of Real-Time Ubiquitous Application. Web Semantics: Science, Services and Agents on the World Wide Web 3, 5–22 (2005)CrossRefGoogle Scholar
  30. 30.
    Lehmann, F. (ed.): Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (1992)Google Scholar
  31. 31.
    Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundation. Brooks Cole Publishing Co., Pacific Grove (1999)Google Scholar
  32. 32.
    Ellis, G.: Compiling Conceptual Graph. IEEE Transactions on Knowledge and Data Engineering 7, 68–81 (1995)CrossRefGoogle Scholar
  33. 33.
    Willems, M.: Projection and Unification for Conceptual Graphs. In: Proceedings of the Third International Conference on Conceptual Structure. Springer, Heidelberg (1995)Google Scholar
  34. 34.
    Corbett, D.: Reasoning and Unification over Conceptual Graphs. In: ICCS 1995. Kluwer Academic/Plenum Publishers, New York (2003)Google Scholar
  35. 35.
    Delugach, H.S.: CharGer: A Graphical Conceptual Graph Editor. In: Proceedings of the ICCS 2001 Workshop for Conceptual Graphs Tools, July 30, 2001. Stanford University, USA (2001), Google Scholar
  36. 36.
    Dobrev, P., Strupchaska, A., Toutanova, K.: CGWorld-2001 – New Features and New Directions. In: Proceedings of the ICCS 2001 Workshop for Conceptual Graphs Tools, Stanford University, USA (July 30, 2001), Google Scholar
  37. 37.
    Uhlir, J., Kremen, P., Kral, L.: DNAT – User’s Manual(Cipher IST Deliverable D26/2). Czech Technical University, Prague (2004)Google Scholar
  38. 38.
    Genest, D., Salvat: A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT. In: Proceedings of the Sixth International Conference on Conceptual Structures, ICCS 1998. Springer, Heidelberg (1998)Google Scholar
  39. 39.
    Southey, F., Linders, J.G.: Notio – A Java API for Conceptual Graphs. In: Proceedings of the Seventh International Conference on Conceptual Structures, ICCS 1999. Springer, Heidelberg (1999)Google Scholar
  40. 40.
    Kabbaj, A., Moulin, B., Gancet, J., Nadeau, D., Rouleau, O.: Uses, Improvements and Extensions of Prolog+CG: Case Studies. In: Alexandrov, V.N., Dongarra, J., Juliano, B.A., Renner, R.S., Tan, C.J.K. (eds.) ICCS-ComputSci 2001. LNCS, vol. 2074. Springer, Heidelberg (2001)Google Scholar
  41. 41.
    Corby, O., Dieng-Kuntz, R., Faron-Zucker, C.: Querying the Semantic Web with the CORESE Search Engine. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004). IOS Press, Amsterdam (2004)Google Scholar
  42. 42.
    Lenat, D.B., Guha, R.V., Pittman, K., Pratt, D., Shepherd, M.: CYC: Toward Programs With Common Sense. Communications of the ACM 33(8), 30–49 (1990)CrossRefGoogle Scholar
  43. 43.
    Bertino, E., Catania, B., Zarri, G.P.: Intelligent Database System. Addison-Wesley and ACM Press, London (2001)Google Scholar
  44. 44.
    Ramachandran, D., Reagan, P., Goolsbey, K.: First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology. In: Papers from the AAAI Workshop on Contexts and Ontologies: Theory, Practice and Application, Pittsburgh, USA (July 2005),

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Gian Piero Zarri
    • 1
  1. 1.LaLICC, Université Paris4-Sorbonne, Maison de la rechercheParisFrance

Personalised recommendations