Abstract
This paper investigates an extension of lightweight ontologies, encoded here in DL-Lite languages , to the product-based possibility theory framework. We first introduce the language (and its associated semantics) used for representing uncertainty in lightweight ontologies. We show that, contrarily to a min-based possibilistic DL-Lite, query answering in a product-based possibility theory is a hard task. We provide equivalent transformations between the problem of computing an inconsistency degree (the key notion in reasoning from a possibilistic DL-Lite knowledge base) and the weighted maximum 2-Horn SAT problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Artale A, Calvanese DR, Kontchakov Zakharyaschev M (2009) The dl-lite family and relations. J Artif Intell Res 36:1–69
Baader F, McGuinness L, Nardi D, Patel-Schneider P (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press
Benferhat S, Bouraoui Z (2015) Min-based possibilistic dl-lite. J Logic Comput 2015. doi:10.1093/logcom/exv014, first published online April 12
Bobillo F, Delgado M, Gmez-Romero J (2012) Delorean: a reasoner for fuzzy owl 2. Expert Syst Appl 39(1):258–272
Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Rosati R (2007) Tractable reasoning and efficient query answering in description logics: the dl-lite family. J Autom Reason 39(3):385–429
Dubois D, Mengin J, Prade H (2006) Possibilistic uncertainty and fuzzy features in description logic: A preliminary discussion. In: Capturing Intelligence: Fuzzy Logic and the Semantic WEB, Elsevier, pp 101–113
Lukasiewicz T, Straccia U (2009) Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int J Approx Reason 50(6):837–853
Pan J, Stamou G, Stoilos G, Thomas E (2007) Expressive querying over fuzzy dl-lite ontologies. In: Proceedings of the 2007 International Workshop on Description Logics
Qi G, Ji Q, Pan J, Du J (2011) Extending description logics with uncertainty reasoning in possibilistic logic. Int J Intell Syst 26(4):353–381
Straccia U (2013) Foundations of fuzzy logic and semantic web languages. CRC Press
Acknowledgments
This work has been supported from the european project H2020 Marie Sklodowska-Curie Actions (MSCA) research and Innovation Staff Exchange (RISE): AniAge (High Dimensional Heterogeneous Data based Animation Techniques for Southeast Asian Intangible Cultural Heritage. This work has also been supported by the French National Research Agency ASPIQ project ANR-12-BS02-0003.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this paper
Cite this paper
Benferhat, S., Boutouhami, K., Khellaf, F., Nouioua, F. (2017). Representing Lightweight Ontologies in a Product-Based Possibility Theory Framework. In: Ferraro, M., et al. Soft Methods for Data Science. SMPS 2016. Advances in Intelligent Systems and Computing, vol 456. Springer, Cham. https://doi.org/10.1007/978-3-319-42972-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-42972-4_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42971-7
Online ISBN: 978-3-319-42972-4
eBook Packages: EngineeringEngineering (R0)