Scalable highly expressive reasoner (SHER).

Julian Dolby Achille Fokoue Aditya Kalyanpur Edith Schonberg Kavitha Srinivas

Published in: J. Web Semant. (2009)

Keyphrases

highly expressive
description logics
knowledge base
predicate logic
first order logic
knowledge representation
query answering
expert systems
action theories
natural language
computer science
fine grained