Test:DL

From OWL

This page represents the OWL species OWL 2 DL of test cases, and thus it corresponds to the element test:DL (Test case ontology). Together with Test:FULL it is one of the possible values of the property test case species.

Test cases

The following test cases for species OWL DL (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.

	author	description	QL	EL	RL	I	C	P	N
TestCase:WebOnt-description-logic-501	Jeremy Carroll	This is the classic 3 SAT problem.	0-	0-	0-	0	1X	0	0