On the undecidability of logics with converse, nominals, recursion and counting.

Piero A. Bonatti Adriano Peron

Published in: Artif. Intell. (2004)

Keyphrases

number restrictions
description logics
inverse roles
knowledge base
deductive databases
computational properties
modal operators
expressive description logics
knowledge representation
semantic web
complex objects
dl lite
reasoning problems
expressive power
owl dl
propositional calculus