Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals.

Everardo Bárcenas Jesús Lavalle

Published in: MICAI (1) (2013)

Keyphrases

tree structures
expressive description logics
tree structure
regular path queries
description logics
knowledge base
rooted trees
index structure
databases
data mining
data structure
xml documents
feature set
structural information
relational data
number restrictions