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)