Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2014)

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

  • 710 Accesses

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

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

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

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

    Chapter  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

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

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

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

Publish with us

Policies and ethics

Search

Navigation