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

Abstract

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

Keywords

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