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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Popp, R., Armour, T., Senator, T., Numrych, K.: Countering Terrorism Through Information Technology. Communications of the ACM 47(3), 36–43 (2004)
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)
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)
Zarri, G.P.: A Conceptual Model for Representing Narratives. In: Innovations in Knowledge Engineering, Advanced Knowledge International, Adelaide (2003)
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)
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)
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/
Horridge, M.: A Practical Guide to Building OWL Ontologies with the Protégé-OWL Plugin (Edition 1.0). The University of Manchester, Manchester (2004)
Zarri, G.P.: NKRL Manual, Part II – The HClass and HTemp Hierarchies (Parmenides IST Report). University of Paris IV/Sorbonne, Paris (2003)
Zarri, G.P., Bernard, L.: NKRL Manual, Part III – The NKRL Software (Parmenides IST Report). University of Paris IV/Sorbonne, Paris (2004)
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)
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)
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)
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)
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)
Clocksin, W.F., Mellish, C.S.: Programming in PROLOG. Springer, Heidelberg (1981)
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)
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)
Clark, K.L., Tärnlund, S.-A. (eds.): Logic Programming. Academic Press, London (1982)
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
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)
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)
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/
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)
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)
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)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. University Press, Cambridge (2003)
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)
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)
Lehmann, F. (ed.): Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (1992)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundation. Brooks Cole Publishing Co., Pacific Grove (1999)
Ellis, G.: Compiling Conceptual Graph. IEEE Transactions on Knowledge and Data Engineering 7, 68–81 (1995)
Willems, M.: Projection and Unification for Conceptual Graphs. In: Proceedings of the Third International Conference on Conceptual Structure. Springer, Heidelberg (1995)
Corbett, D.: Reasoning and Unification over Conceptual Graphs. In: ICCS 1995. Kluwer Academic/Plenum Publishers, New York (2003)
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
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
Uhlir, J., Kremen, P., Kral, L.: DNAT – User’s Manual(Cipher IST Deliverable D26/2). Czech Technical University, Prague (2004)
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)
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)
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)
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)
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)
Bertino, E., Catania, B., Zarri, G.P.: Intelligent Database System. Addison-Wesley and ACM Press, London (2001)
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)