A description logic with concept instance ordering and top-k restriction

Abstrakt

We present a new model of description logic where concepts are ordered sets. This is useful for describing concepts where only top-k objects appear.

We solve basic problems

Klíčová slova

• description
• logic
• with
• concept
• instance
• ordering
• top-k
• restriction