Warning:
This wiki has been archived and is now read-only.
OWL Combination Invalid DL Import
From RIF
| Test Type | ImportRejectionTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | JosDeBruijn | ||||||
| Status | Approved | ||||||
| Record | May 4, 2010 telecon | ||||||
| Dialect | Core | ||||||
| Purpose | Test that an invalid combination is rejected | ||||||
| Description | If a RIF document R imports OWL ontologies using the OWL-Direct profile that are not OWL 2 DL ontologies, then R must be rejected. The imported ontology is not an OWL 2 DL ontology (because it is the empty graph), and so R must be rejected. | ||||||
| SeeAlso | OWL_Combination_Invalid_DL_Formula | ||||||
| SpecRef | SWC#Interpretation_of_Profiles SWC#Syntax_of_RIF-OWL_Combinations | ||||||
| ImportedDocument |
| ||||||
| Input |
|