Login / Signup

The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies.

Yevgeny KazakovMarkus KrötzschFrantisek Simancik
Published in: J. Autom. Reason. (2014)
Keyphrases
  • knowledge base
  • knowledge representation
  • domain ontology
  • reasoning with inconsistent
  • reasoning mechanism
  • semantic web
  • logical reasoning
  • databases
  • data model
  • case based reasoning
  • formal representation