owl:cardinality

From OWL Test Cases

Jump to:navigation, search

The syntactic element owl:cardinality 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 25 approved test cases that currently use this feature:

author description
TestCase:WebOnt-I5.21-002 Ian Horrocks The construct used here shows how to express mutual disjointness between classes with O(N) triples.
TestCase:WebOnt-cardinality-001 Jeremy J. Carroll An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
TestCase:WebOnt-cardinality-002 Jeremy J. Carroll An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
TestCase:WebOnt-cardinality-003 Jeremy J. Carroll An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
TestCase:WebOnt-cardinality-004 Jeremy J. Carroll An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
… further results


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

author description
TestCase:WebOnt-I5.1-010 Jeremy J. Carroll There are 128 different bytes that are also unsigned integers; and hence also 127.
TestCase:WebOnt-cardinality-006 Jeremy J. Carroll An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.
TestCase:WebOnt-extra-credit-002 Jeremy J. Carroll This test shows a relationship between integer multiplication and OWL Full.
TestCase:WebOnt-extra-credit-003 Jeremy J. Carroll Prime factorization can be expressed in OWL Full.
TestCase:WebOnt-extra-credit-004 Jeremy J. Carroll A more difficult prime factorization example.


No newly submitted test cases currently use this feature.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox