Semantic aware processing of user defined inference rules to manage home networks.

Annie Ibrahim Rana Brendan Jennings

Published in: J. Netw. Comput. Appl. (2017)

Keyphrases

user defined
inference rules
first order logic
modal logic
theorem prover
logical framework
query language
data types
functional dependencies
set of inference rules
truth values
query processor
conditional probabilities
probabilistic knowledge
bayesian networks
expert systems
data structure