PROCEEDINGS IPMU '08
On Qualified Cardinality Restrictions in Fuzzy Description Logics under Lukasiewicz semantics
Fernando Bobillo, Umberto Straccia.
Fuzzy Description Logics have been
proposed as a family of languages
to describe vague or imprecise structured
knowledge. This work deals
with one of the less studied constructors,
qualified cardinality restrictions,
showing some counter-intuitive
behaviours under Lukasiewicz semantics,
and proposing a new semantics and
the corresponding reasoning algorithm.
 | PDF full paper |