Skip to main content
Book cover

International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management

IC3K 2014: Knowledge Discovery, Knowledge Engineering and Knowledge Management pp 364–387Cite as

Improving General Knowledge Sharing via an Ontology of Knowledge Representation Language Ontologies

Part of the Communications in Computer and Information Science book series (CCIS,volume 553)

Abstract

Via a comparison of the currently used language-based components for knowledge sharing, this article first highlights the difficulties caused by the inexistence – and hence absence of exploitation – of a shared core ontology of knowledge representation languages (KRLs), i.e., (i) an ontology of KRL abstract models which represents, aligns and extends standards, and (ii) an ontology of KRL notations. For programmers, these are the difficulties of importing, exporting or translating between KRLs; for end-users, the difficulties of adapting, extending or mixing notations. This article then shows how we have built this shared core ontology plus a tool for exploiting it. We use them for specifying, parsing and translating KRLs, thus allowing their use without additional programming. This ontology can be represented in any KRL that has at least OWL-2 expressiveness. Thus, the results can easily be replicated. A Web address for the tool and the full specifications is given.

Keywords

  • Language ontology
  • Meta-modelling
  • Syntactic translation
  • Knowledge representation languages
  • General knowledge sharing

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-25840-9_23
  • Chapter length: 24 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-25840-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   54.99
Price excludes VAT (USA)
Learn about institutional subscriptions

References

  1. Golin, E., Reiss, S.: The specification of visual language syntax. J. Vis. Lang. Comput. 1(2), 141–157 (1990)

    CrossRef  Google Scholar 

  2. Borras, P., Clément, D., Despeyrouz, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: CENTAUR: the system. In: SIGSOFT 1988, 3rd Annual Symposium on Software Development Environments (SDE3), Boston, USA, pp. 14–24 (1988)

    Google Scholar 

  3. Attali, I., Parigot, D.: Integrating Natural Semantics and Attribute Grammars: the Minotaur System. INRIA Research Report no. 2339 (1994)

    Google Scholar 

  4. Corby, O., Dieng, R.: Cokace: a centaur-based environment for CommonKADS conceptual modeling language. In: ECAI 1996, Budapest, Hungary, pp. 418–422 (1996)

    Google Scholar 

  5. Sandberg, D.: Lithe: a language combining a flexible syntax and classes. In: ACM Sigplan-Sigact Symposium on Principles of Programming Languages, POPL 1982, pp. 142–145 (1982)

    Google Scholar 

  6. Botting, R.: How Far Can EBNF Stretch? http://cse.csusb.edu/dick/papers/rjb99g.xbnf.html

  7. Lapets, A., Kfoury, A.: A user-friendly interface for a lightweight verification system. Electron. Notes Theoret. Comput. Sci. 285, 29–41 (2012)

    CrossRef  MATH  Google Scholar 

  8. ODM: Ontology Definition Metamodel, Version 1.1. OMG document formal/2014-09-02 (2014). http://www.omg.org/spec/ODM/1.1/PDF/

  9. Feja, S., Witt, S, Speck, A.: BAM: a requirements validation and verification framework for business process models. In: 11th Quality Software International Conference, QSIC 2011, pp. 186–191 (2011)

    Google Scholar 

  10. Quan, D.: Xenon: an RDF stylesheet ontology. In: 14th World Wide Web Conference, WWW 2005, Japan (2005)

    Google Scholar 

  11. Pietriga, E., Bizer, C., Karger, D.R., Lee, R.: Fresnel: a browser-independent presentation vocabulary for RDF. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 158–171. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  12. Brophy, M., Heflin, J.: OWL-PL: A Presentation Language for Displaying Semantic Data on the Web. Technical report, Department of Computer Science and Engineering, Lehigh University (2009)

    Google Scholar 

  13. Corby, O., Faron-Zucker, C, Gandon, F.: SPARQL template: a transformation language for RDF. In: 25th Journées francophones d’Ingénierie des Connaissances, IC 2014, Clermont-Ferrand, France (2014)

    Google Scholar 

  14. RIF-FLD: RIF framework for logic dialects, 2nd edn. In: Boley, H., Kifer, M. (eds.) W3C Recommendation (2013). http://www.w3.org/TR/2013/REC-rif-fld-20130205/

  15. Genesereth, M., Fikes, R.: Knowledge Interchange Format, Version 3.0, Reference Manual, Technical Report, Logic-92-1, Stanford University (1992). http://www.cs.umbc.edu/kse/

  16. Farquhar, A., Fikes, R., Rice, J.: The ontolingua server: a tool for collaborative ontology construction. Int. J. Hum. Comput. Stud. 46(6), 707–727 (1997). Academic Press, Inc., MN, USA

    CrossRef  Google Scholar 

  17. Martin, P.: Collaborative knowledge sharing and editing. Int. J. Comput. Sci. Inf. Syst. 6(1), 14–29 (2011)

    Google Scholar 

  18. Common Logic: Information technology – Common Logic (CL): a framework for a family of logic-based languages. ISO/IEC 24707:2007(E), JTC1/SC32 (2007)

    Google Scholar 

  19. SBVR: Semantics of Business Vocabulary and Business Rules (SBVR), Version 1.0, OMG document formal/08-01-02 (2008). http://www.omg.org/spec/SBVR/1.0/

  20. Martin, P.: Towards a collaboratively-built knowledge base of&for scalable knowledge sharing and retrieval. HDR thesis (240 pages; “Habilitation to Direct Research”), University of La Réunion, France (2009)

    Google Scholar 

  21. Martin, P.: Knowledge representation in CGLF, CGIF, KIF, Frame-CG and formalized-English. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 77–91. Springer, Heidelberg (2002)

    CrossRef  Google Scholar 

  22. RIF-FLD-OWL: RIF, RDF and OWL Compatibility, 2nd edn. W3C Recommendation, 5 February 2013. http://www.w3.org/TR/2013/REC-rif-rdf-owl-20130205/

  23. Šváb-Zamazal, O., Dudáš, M., Svátek, V.: User-friendly pattern-based transformation of OWL ontologies. In: ten Teije, A., Völker, J., Handschuh, S., Stuckenschmidt, H., d’Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 426–429. Springer, Heidelberg (2012)

    CrossRef  Google Scholar 

  24. Horrocks I.: Optimising Tableaux Decision Procedures for Description Logics. Ph.D. thesis, University of Manchester (1997)

    Google Scholar 

  25. Martin, P., Eklund, P.: Embedding knowledge in web documents. Comput. Netw. Int. J. Comput. Telecommun. Netw. 31(11–16), 1403–1419 (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GTH, Logicells, 3 rue Désiré Barquisseau, 97410, Saint-Pierre, France

    Jéremy Bénard

  2. EA2525 LIM, ESIROI I.T., University of La Réunion, 97490, Sainte Clotilde, France

    Philippe Martin

  3. School of ICT, Griffith University, Queensland, Australia

    Philippe Martin

Authors
  1. Jéremy Bénard
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippe Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Philippe Martin .

Editor information

Editors and Affiliations

  1. Instituto de Telecomunicações, Lisboa, Portugal

    Ana Fred

  2. Delft University of Technology, Delft, Zuid-Holland, The Netherlands

    Jan L. G. Dietz

  3. University of Madeira, Funchal, Portugal

    David Aveiro

  4. Henley Business School, University of Reading, Reading, United Kingdom

    Kecheng Liu

  5. INSTICC, Setubal, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Bénard, J., Martin, P. (2015). Improving General Knowledge Sharing via an Ontology of Knowledge Representation Language Ontologies. In: Fred, A., Dietz, J., Aveiro, D., Liu, K., Filipe, J. (eds) Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K 2014. Communications in Computer and Information Science, vol 553. Springer, Cham. https://doi.org/10.1007/978-3-319-25840-9_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25840-9_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25839-3

  • Online ISBN: 978-3-319-25840-9

  • eBook Packages: Computer ScienceComputer Science (R0)