Tableaux with DL-safe Rules: First Results.

Vladimir Kolovski Bijan Parsia Evren Sirin

Published in: Description Logics (2006)

Keyphrases

description logics
expressive power
rule engine
association rules
background knowledge
rule sets
association rule mining
decision rules
databases
case based reasoning
data sets
learning algorithm
neural network
modal logic
rule extraction
owl ontologies
computational properties