Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.

Robert D. C. Shearer Boris Motik Ian Horrocks

Published in: Description Logics (2008)

Keyphrases

description logics
automated theorem proving
rule sets
active databases
data sets
neural network
search engine
data structure
rule induction
rule learning
rule generation