The Retrieval Problem in a Concept Language with Number Restrictions.

Aida Vitória Margarida Mamede Luís Monteiro

Published in: EPIA (1995)

Keyphrases

number restrictions
description logics
modal operators
natural language
model theoretic
knowledge base
knowledge representation
dl lite
programming language
situation calculus