owl:imports
From OWL Test Cases
The syntactic element owl:imports belongs to the RDF/XML serialization of OWL 2.
Tests using this feature
This section lists test that are using this feature (refresh view)info.pngQuery results are cached with wiki pages for some time, even if the data changes. This link purges a page's cache to get the most recent results.
There are 3 approved test cases that currently use this feature:author | description | |
---|---|---|
TestCase:WebOnt-imports-011 | Jeff Heflin | A Lite version of test <a xmlns="http://www.w3.org/1999/xhtml" href="#imports-001">imports-001</a>. |
TestCase:WebOnt-miscellaneous-001 | Michael K. Smith Chris Welty Deborah L. McGuinness |
Wine example taken from the guide. Note that this is the same as the ontology http://www.w3.org/2002/03owlt/miscellaneous/consistent002 imported in other tests. |
TestCase:WebOnt-miscellaneous-002 | Michael K. Smith Chris Welty Deborah L. McGuinness |
Food example taken from the guide. Note that this is the same as the ontology http://www.w3.org/2002/03owlt/miscellaneous/consistent002 imported in other tests. |
author | description | |
---|---|---|
TestCase:WebOnt-imports-001 | Jeff Heflin | If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. |
TestCase:WebOnt-imports-002 | Jeff Heflin | If a premise document uses a namespace but does not import the document corresponding to
the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. |
TestCase:WebOnt-imports-003 | Jeff Heflin | If a document imports a document which in turn imports a third document, then it entails
anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. |
TestCase:WebOnt-imports-010 | Jeremy J. Carroll | This test specifies the domain and range for owl:imports. |
TestCase:WebOnt-imports-012 | Jeremy J. Carroll | A simple test for infinite loops in imports processing code. |
No newly submitted test cases currently use this feature.