Uncertain lightweight ontologies in a product-based possibility theory framework

DOI10.1016/j.ijar.2017.05.012zbMath1418.68197MaRDI QIDQ2411268

Faiza Khellaf, Khaoula Boutouhami, Salem Benferhat, Farid Nouioua

Publication date: 20 October 2017

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2017.05.012

zbMATH Keywords

possibility theory; approximate algorithms; lightweight ontologies; instance checking; product-based possibility theory

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T37: Reasoning under uncertainty in the context of artificial intelligence

Uses Software

• DeLorean

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Possibilistic logic: a retrospective and prospective view
• Fuzzy description logics under Gödel semantics
• Description logic programs under probabilistic uncertainty and fuzzy vagueness
• The logic of conditionals. An application of probability to deductive logic
• An alternative proof method for possibilistic logic and its application to terminological logics
• Probabilistic default reasoning with conditional constraints
• Expressive probabilistic description logics
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Min-based possibilisticDL-Lite
• Extending description logics with uncertainty reasoning in possibilistic logic
• CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
• Ontologies and Databases: The DL-Lite Approach
• The DL-Lite Family and Relations
• Reducibility among Combinatorial Problems
• DL-Lite Ontology Revision Based on An Alternative Semantic Characterization
• Logics in Artificial Intelligence
• Fuzzy sets