Login / Signup

Locality and Applications to Subsumption Testing in EL and Some of its Extensions.

Viorica Sofronie-Stokkermans
Published in: Sci. Ann. Comput. Sci. (2013)
Keyphrases
  • description logics
  • np complete
  • knowledge base
  • software testing
  • spatial locality
  • knowledge representation
  • snomed ct
  • real world
  • feature selection
  • similarity measure
  • multi agent systems
  • test cases