A Peirce Style Calculus for ALC.

Frithjof Dau Peter W. Eklund

Published in: VLL (2007)

Keyphrases

description logics
upper bound
fuzzy description logics
learning algorithm
social networks
decision trees
multiscale
computer algebra
relational databases
semantic web
inference rules
formal language
automated deduction
algebraic structure