owl:imports

From OWL Test Cases

Jump to:navigation, search

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.


There are 5 proposed test cases that currently use this feature:

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.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox