A Framework for Reasoning About Uncertainty in Ontologies

This article introduces a logic-based argumentation framework for reasoning under uncertainty of description logic-based ontologies. We found our framework on four new argumentation-based semantics: the classical semantics, the IAR semantics family, the cardinality based family, and the agent preference-based semantics, where the last one allows the framework to be applied to multiagent systems. Within this framework, multiple new inference relations can be distinguished to draw meaningful answers to queries even from imperfect ontologies. We also investigate logical properties and the productivity of these new entailment mechanisms and their relationships with other well-known existing logical entailments.