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

Slični predmeti

• Pellet: A Practical OWL DL Reasoner
  od: Sirin, E, i dr.
  Izdano: (2007)
• Modularizing OWL Ontologies
  od: Grau, B, i dr.
  Izdano: (2005)
• Modularizing OWL Ontologies
  od: Grau, B, i dr.
  Izdano: (2005)
• Repairing Unsatisfiable Concepts in OWL Ontologies.
  od: Kalyanpur, A, i dr.
  Izdano: (2006)
• Automatic Partitioning of OWL Ontologies Using E−connections
  od: Grau, B, i dr.
  Izdano: (2005)