A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms.

Milenko Mosurovic Henson Graves Nenad Krdzavac

Published in: Description Logics (2012)

Keyphrases

first order logic
neural network
real world
databases
data mining
knowledge base
higher level
complex environments