Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments
Hoofdauteurs: | Kalyanpur, A, Parsia, B, Sirin, E, Grau, B |
---|---|
Formaat: | Conference item |
Gepubliceerd in: |
2006
|
Gelijkaardige items
-
Pellet: A Practical OWL DL Reasoner
door: Sirin, E, et al.
Gepubliceerd in: (2007) -
Modularizing OWL Ontologies
door: Grau, B, et al.
Gepubliceerd in: (2005) -
Modularizing OWL Ontologies
door: Grau, B, et al.
Gepubliceerd in: (2005) -
Repairing Unsatisfiable Concepts in OWL Ontologies.
door: Kalyanpur, A, et al.
Gepubliceerd in: (2006) -
Automatic Partitioning of OWL Ontologies Using E−connections
door: Grau, B, et al.
Gepubliceerd in: (2005)