FO(ID) as an extension of DL with rules.

Joost Vennekens Marc Denecker Maurice Bruynooghe

Published in: Ann. Math. Artif. Intell. (2010)

Keyphrases

description logics
rule sets
production rules
description logic programs
association rule mining
first order logic
classification rules
rule engine
database
data mining
decision rules
business rules
horn clauses