Skip to main content

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

  • Conference paper
Journal on Data Semantics IV

Part of the book series: Lecture Notes in Computer Science ((JODS,volume 3730))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Popp, R., Armour, T., Senator, T., Numrych, K.: Countering Terrorism Through Information Technology. Communications of the ACM 47(3), 36–43 (2004)

    Article  Google Scholar 

  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. 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. Zarri, G.P.: A Conceptual Model for Representing Narratives. In: Innovations in Knowledge Engineering, Advanced Knowledge International, Adelaide (2003)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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), http://www.w3.org/TR/owl-ref/

  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. 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. 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. 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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  16. Clocksin, W.F., Mellish, C.S.: Programming in PROLOG. Springer, Heidelberg (1981)

    MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  19. Clark, K.L., Tärnlund, S.-A. (eds.): Logic Programming. Academic Press, London (1982)

    Google Scholar 

  20. Noy, N., Rector, A. (eds.): Defining N-ary Relations on the Semantic Web–W3C Working Draft 24 May 2005. W3C (2005), http://smi-web.stanford.edu/people/noy/nAryRelations/n-aryRelations-2nd-WD.html

  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. 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)

    Chapter  Google Scholar 

  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), http://www.w3.org/Submission/SWRL/

  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. 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. 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. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. University Press, Cambridge (2003)

    MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  30. Lehmann, F. (ed.): Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (1992)

    Google Scholar 

  31. Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundation. Brooks Cole Publishing Co., Pacific Grove (1999)

    Google Scholar 

  32. Ellis, G.: Compiling Conceptual Graph. IEEE Transactions on Knowledge and Data Engineering 7, 68–81 (1995)

    Article  Google Scholar 

  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. Corbett, D.: Reasoning and Unification over Conceptual Graphs. In: ICCS 1995. Kluwer Academic/Plenum Publishers, New York (2003)

    Google Scholar 

  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), http://www.cs.nmsu.edu/~hdp/CGTools/proceedings/papers/CharGer.pdf

    Google Scholar 

  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), http://www.cs.nmsu.edu/~hdp/CGTools/proceedings/papers/CGWorld.pdf

    Google Scholar 

  37. Uhlir, J., Kremen, P., Kral, L.: DNAT – User’s Manual(Cipher IST Deliverable D26/2). Czech Technical University, Prague (2004)

    Google Scholar 

  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. 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. 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. 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. 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)

    Article  Google Scholar 

  43. Bertino, E., Catania, B., Zarri, G.P.: Intelligent Database System. Addison-Wesley and ACM Press, London (2001)

    Google Scholar 

  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), http://www.cyc.com/doc/white_papers/folification.pdf

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zarri, G.P. (2005). Integrating the Two Main Inference Modes of NKRL, Transformations and Hypotheses. In: Spaccapietra, S. (eds) Journal on Data Semantics IV. Lecture Notes in Computer Science, vol 3730. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11603412_10

Download citation

  • DOI: https://doi.org/10.1007/11603412_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31001-3

  • Online ISBN: 978-3-540-31447-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics