OWL Combination Invalid DL Formula
From RIF
| Test Type | ImportRejectionTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | Stella Mitchell | ||||||
| Status | Proposed | ||||||
| Record | |||||||
| Dialect | Core | ||||||
| Purpose | Test that a RIF document with an invalid import is rejected | ||||||
| Description | If a RIF document R imports only documents with DL profiles and R is not a DL-document formula, then R must be rejected. The frame formula in the RIF document is not a DL-Frame formula because it has a variable in the property position, and so the document is not a DL-document formula. | ||||||
| SeeAlso | |||||||
| SpecRef | SWC#Interpretation_of_Profiles SWC#Syntax_of_RIF-OWL_Combinations | ||||||
| ImportedDocument |
| ||||||
| Input |
|
