Skip to main content

A \(\textit{Datalog}{\pm }\) Domain-Specific Durum Wheat Knowledge Base

  • Conference paper
  • First Online:
Book cover Metadata and Semantics Research (MTSR 2016)

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

Included in the following conference series:

  • 828 Accesses

Abstract

We consider the application setting where a domain-specific knowledge base about Durum Wheat has been constructed by knowledge engineers who are not experts in the domain. This knowledge base is prone to inconsistencies and incompleteness. The goal of this work is to show how the state of the art knowledge representation formalism called \(\textit{Datalog}{\pm }\) can be used to cope with such problems by (1) providing inconsistency-tolerant techniques to cope with inconsistency, and (2) providing an expressive logical language that allows representing incomplete knowledge.

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

Access this chapter

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

Notes

  1. 1.

    http://www.agence-nationale-recherche.fr/?Projet=ANR-13-ALID-0002.

  2. 2.

    http://www.agropedia.net.

  3. 3.

    http://www.lirmm.fr/cogui/.

  4. 4.

    Kiabora 0.1 website: http://www.lirmm.fr/~mugnier/graphik/kiabora/, see [8] for a detailed explanation.

References

  1. Arvalis. Les fiches arvalis: Varits produits accidents en grandes cultures. Online materials published by ARVALIS Plant Institue (2015). http://www.fiches.arvalis-infos.fr/. Accessed 19 Mar 2015

  2. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of IJCAI 2005 (2005)

    Google Scholar 

  3. Baget, J.-F., Leclère, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: Graal: a toolkit for query answering with existential rules. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 328–344. Springer, Heidelberg (2015). doi:10.1007/978-3-319-21542-6_21

    Chapter  Google Scholar 

  4. Baget, J.-F., Mugnier, M.-L., Rudolph, S., Thomazo, M.: Walking the complexity lines for generalized guarded existential rules. In: Proceedings of IJCAI 2011, pp. 712–717 (2011)

    Google Scholar 

  5. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. J. Web Sem. 14, 57–83 (2012)

    Article  Google Scholar 

  6. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. Chein, M., Mugnier, M.: Graph-Based Knowledge Representation - Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing. Springer, London (2009)

    MATH  Google Scholar 

  8. Leclère, M., Mugnier, M.-L., Rocher, S.: Kiabora: an analyzer of existential rule bases. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 241–246. Springer, Heidelberg (2013). doi:10.1007/978-3-642-39666-3_22

    Chapter  Google Scholar 

  9. Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 103–117. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15918-3_9

    Chapter  Google Scholar 

  10. Mugnier, M.-L., Thomazo, M.: An introduction to ontology-based query answering with existential rules. In: Koubarakis, M., Stamou, G., Stoilos, G., Horrocks, I., Kolaitis, P., Lausen, G., Weikum, G. (eds.) Reasoning Web 2014. LNCS, vol. 8714, pp. 245–278. Springer, Heidelberg (2014). doi:10.1007/978-3-319-10587-1_6

    Google Scholar 

  11. Sebillotte, M.: Itineraires techniques et evolution de la pensee agronomique. Comptes Rendus des Séances de l’Académie d’Agriculture de France (1978)

    Google Scholar 

  12. Sini, M., Yadav, V.: Building knowledge models for Agropedia Indica v 1.0 requirements, guidelines, suggestions (2009). http://agropedia.iitk.ac.in/km_guidlines.pdf. Accessed 19 Mar 2015

  13. Sowa, J.F.: Conceptual graphs for a data base interface. IBM J. Res. Dev. 20(4), 336–357 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  14. Sowa, J.F.: Conceptual structures: information processing in mind and machine (1983)

    Google Scholar 

  15. Thunkijjanukij, A., Kawtrakul, A., Panichsakpatana, S., Veesommai, U.: Lesson learned for ontology construction with Thai rice case study. In: World Conference on Agricultural Information and IT, IAALD AFITA WCCA 2008, pp. 495–502 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Abdallah Arioua .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Arioua, A., Buche, P., Croitoru, M. (2016). A \(\textit{Datalog}{\pm }\) Domain-Specific Durum Wheat Knowledge Base. In: Garoufallou, E., Subirats Coll, I., Stellato, A., Greenberg, J. (eds) Metadata and Semantics Research. MTSR 2016. Communications in Computer and Information Science, vol 672. Springer, Cham. https://doi.org/10.1007/978-3-319-49157-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-49157-8_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-49156-1

  • Online ISBN: 978-3-319-49157-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics