Login / Signup

Extracting a justification for OWL ontologies by critical axioms.

Yuxin YeXianji CuiDantong Ouyang
Published in: Frontiers Comput. Sci. (2020)
Keyphrases
  • owl ontologies
  • knowledge base
  • description logics
  • production rules
  • first order logic
  • semantic annotation
  • data sets
  • knowledge representation