Аннотация
A framework for reasoning with inconsistent OWL ontologies is presented with the aim to support the design of Software design patterns. The priority information between axioms are given explicitly, allowing for the use of pieces of information having various levels of confidence, a preferential semantics is then defined for reasoning with prioritized ontology, the property of the method is studied, and the reasoning algorithms is given.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)