Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

Схожие документы

• Pellet: A Practical OWL DL Reasoner
  по: Sirin, E, и др.
  Опубликовано: (2007)
• Modularizing OWL Ontologies
  по: Grau, B, и др.
  Опубликовано: (2005)
• Modularizing OWL Ontologies
  по: Grau, B, и др.
  Опубликовано: (2005)
• Repairing Unsatisfiable Concepts in OWL Ontologies.
  по: Kalyanpur, A, и др.
  Опубликовано: (2006)
• Automatic Partitioning of OWL Ontologies Using E−connections
  по: Grau, B, и др.
  Опубликовано: (2005)