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

Lignende værker

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