Sign in

Scalable highly expressive reasoner (SHER).

Julian DolbyAchille FokoueAditya KalyanpurEdith SchonbergKavitha 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