Abstract: A new logic, called a sequential description logic is obtained
from the description logic by adding a sequence
modal operator which represents a sequence of symbols. By the sequence modal
operator of we can
appropriately express “sequential information”. A theorem for embedding into is proved, and the
concept satisfiability problem for is shown to be decidable.
Keywords and phrases: description logic, sequential information, decidability.
